


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














