default search action
1st FMSB 2008: Cambridge, UK
- Jasmin Fisher:
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 - David Harel, Yaki Setty:
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. 1-16 - Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. 17-32 - Werner Sandmann, Verena Wolf:
Computational Probability for Systems Biology. 33-47 - 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. 48-62 - Oksana Tymchyshyn, Marta Z. Kwiatkowska:
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. 63-76 - Oded Maler, Grégory Batt:
Approximating Continuous Systems by Timed Automata. 77-89 - François Fages, Sylvain Soliman:
From Reaction Models to Influence Graphs and Back: A Theorem. 90-102 - Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements. 103-122 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.