CompMod

Keyphrases

Publications

2013

Nicolas Oury, Michael Pedersen, Rasmus L. Petersen
Canonical Labelling of Site Graphs. CompMod (2013)

volume 116, 2013

Proceedings Fourth International Workshop on Computational Models for Cell Processes, CompMod 2013, Turku, Finland, 11th June 2013. CompMod 116 (2013)

2011

Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract) CompMod (2011)
Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter
A Study of the PDGF Signaling Pathway with PRISM CompMod (2011)
Pietro Liò, Emanuela Merelli, Nicola Paoletti
Multiple verification in computational modeling of bone pathologies CompMod (2011)
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments CompMod (2011)
Luca Bortolussi, Alberto Policriti
Programmable models of growth and mutation of cancer-cell populations CompMod (2011)
Livio Bioglio
A Minimal OO Calculus for Modelling Biological Systems CompMod (2011)
Vashti Galpin, Jane Hillston, Federica Ciocchetta
A semi-quantitative equivalence for abstracting from fast reactions CompMod (2011)

volume 67, 2011

Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. CompMod 67 (2011)