EPTCS 67 - CompMod 2011
Ion Petre, Erik P. de Vink (Eds.):
Proceedings Third International Workshop on Computational Models for Cell Processes.
EPTCS 67 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.
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

Last update Thu May 23 23:57:03 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page