20102018
If you made any changes in Pure these will be visible here soon.

Research Output 2010 2018

Filter
Chapter
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.). IntechOpen, p. 155-178 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Computational Modeling
Computer Simulation
Molecular interactions
Proteins
Protein

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R. 27 Sep 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Dynamical systems
Differential equations
Model checking