FMSB

Keyphrases

Publications

2008

Oksana Tymchyshyn, Marta Z. Kwiatkowska
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. FMSB (2008)
François Fages, Sylvain Soliman
From Reaction Models to Influence Graphs and Back: A Theorem. FMSB (2008)
David Harel, Yaki Setty
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. FMSB (2008)
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. FMSB (2008)
Werner Sandmann, Verena Wolf
Computational Probability for Systems Biology. FMSB (2008)
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. FMSB (2008)
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB (2008)
Oded Maler, Grégory Batt
Approximating Continuous Systems by Timed Automata. FMSB (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling, Symmetries, Refinements. FMSB (2008)

volume 5054, 2008

Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings FMSB 5054 (2008)