Efficient Switches in Biology and Computer Science
Article in PLOS Computational Biology (January 2017)
Formal Methods in Systems Biology
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
-
Altmetric BadgeChapter 2 Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
-
Altmetric BadgeChapter 3 Computational Probability for Systems Biology
-
Altmetric BadgeChapter 4 Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
-
Altmetric BadgeChapter 5 Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
-
Altmetric BadgeChapter 6 Approximating Continuous Systems by Timed Automata
-
Altmetric BadgeChapter 7 From Reaction Models to Influence Graphs and Back: A Theorem
-
Altmetric BadgeChapter 8 Rule-Based Modelling, Symmetries, Refinements
-
Altmetric BadgeChapter 9 One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II