EPTCS 67 - CompMod 2011
Ion Petre, Erik P. de Vink (Eds.): Proceedings Third International Workshop on Computational Models for Cell Processes. 2011 EPTCS 67 [ contents ]- 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. ... 3-18
- Luca Bortolussi, Alberto Policriti: Programmable models of growth and mutation of cancer-cell populations. ... 19-33
- Vashti Galpin, Jane Hillston, Federica Ciocchetta: A semi-quantitative equivalence for abstracting from fast reactions. ... 34-49
- Livio Bioglio: A Minimal OO Calculus for Modelling Biological Systems. ... 50-64
- Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter: A Study of the PDGF Signaling Pathway with PRISM. ... 65-81
- Pietro Liò, Emanuela Merelli, Nicola Paoletti: Multiple verification in computational modeling of bone pathologies. ... 82-96
- Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract). ... 97-112
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team