Filter
Chapter

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 proceedingChapterAcademicpeer-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 proceedingChapterAcademicpeer-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 proceedingChapterAcademicpeer-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 proceedingChapterAcademicpeer-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 proceedingChapterAcademicpeer-review

    Open Access