Abstract is missing.
- Generic Reactive Animation: Realistic Modeling of Complex Natural SystemsDavid Harel, Yaki Setty. 1-16 [doi]
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell InteractionsJasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman. 17-32 [doi]
- Computational Probability for Systems BiologyWerner Sandmann, Verena Wolf. 33-47 [doi]
- Design Issues for Qualitative Modelling of Biological Cells with Petri NetsElzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa. 48-62 [doi]
- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal HomeostasisOksana Tymchyshyn, Marta Z. Kwiatkowska. 63-76 [doi]
- Approximating Continuous Systems by Timed AutomataOded Maler, Grégory Batt. 77-89 [doi]
- From Reaction Models to Influence Graphs and Back: A TheoremFrançois Fages, Sylvain Soliman. 90-102 [doi]
- Rule-Based Modelling, Symmetries, RefinementsVincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. 103-122 [doi]
- One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James IIAdelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald. 123-138 [doi]