Research output per year
Research output per year
Research output
Search results
-
2020
Quantitative Molecular Models for Biological Processes: Modeling of Signal Transduction Networks with ANIMO
Khurana, S., Huisman, J., Schivo, S. & Post, J. N., 27 Sept 2020, Osteoporosis and Osteoarthritis. van Wijnen, A. J. & Ganshina, M. S. (eds.). 2 ed. New York, NY: Humana Press, p. 141-161 21 p. (Methods in molecular biology, Vol. 2221).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
2017
Computational Modeling of Complex Protein Activity Networks
Schivo, S., Leijten, J., Karperien, M. & Post, J. N., 29 Nov 2017, Protein Phosphorylation. Prignet, C. (ed.). United Kingdom: IntechOpen, p. 155-178 24 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open Access -
Discretization of Continuous Dynamical Systems Using UPPAAL
Schivo, S. & Langerak, R., 27 Sept 2017, ModelEd, TestEd, TrustEd. Katoen, J.-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
Improving the Timed Automata Approach to Biological Pathway Dynamics
Langerak, R., van de Pol, J., Post, J. N. & Schivo, S., 25 Jul 2017, Models, Algorithms, Logics and Tools. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Cham: Springer, p. 96-111 16 p. (Lecture Notes in Computer Science, Vol. 10460). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10460).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
2011
Quantitative Analysis of Services.
Cappello, I., Clark, A., Gilmore, S., Latella, D., Loreti, M., Quaglia, P. & Schivo, S., 2011, Results of the SENSORIA Project. Springer-Verlag Berlin Heidelberg, p. 522-540 19 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open Access