FMSB 2008:
Cambridge,
UK
Jasmin Fisher (Ed.):
Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings.
Lecture Notes in Computer Science 5054 Springer 2008, ISBN 978-3-540-68410-7 BibTeX
- David Harel, Yaki Setty:
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems.
1-16
Electronic Edition (link) BibTeX
- Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.
17-32
Electronic Edition (link) BibTeX
- Werner Sandmann, Verena Wolf:
Computational Probability for Systems Biology.
33-47
Electronic Edition (link) BibTeX
- Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa:
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets.
48-62
Electronic Edition (link) BibTeX
- Oksana Tymchyshyn, Marta Z. Kwiatkowska:
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.
63-76
Electronic Edition (link) BibTeX
- Oded Maler, Grégory Batt:
Approximating Continuous Systems by Timed Automata.
77-89
Electronic Edition (link) BibTeX
- François Fages, Sylvain Soliman:
From Reaction Models to Influence Graphs and Back: A Theorem.
90-102
Electronic Edition (link) BibTeX
- Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
103-122
Electronic Edition (link) BibTeX
- Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald:
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.
123-138
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:20 2009
by Michael Ley (ley@uni-trier.de)