Abstract is missing.
- A Look-Ahead Simulation Algorithm for DBN Models of Biochemical PathwaysSucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest. 3-19 [doi]
- Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic SubnetsMostafa Herajy, Monika Heiner. 20-38 [doi]
- Hybrid Stochastic Simulation of Rule-Based Polymerization ModelsThilo Krüger, Verena Wolf. 39-53 [doi]
- Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling PathwaysMatej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim. 57-66 [doi]
- Application of the Reachability Analysis for the Iron Homeostasis StudyAlexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis. 67-84 [doi]
- Synchronous Balanced AnalysisAndreea Beica, Vincent Danos. 85-94 [doi]
- Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive SystemsElisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. 97-112 [doi]
- Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction GraphHugues Mandon, Stefan Haar, Loïc Paulevé. 113-127 [doi]
- Discrete Abstraction of Multiaffine SystemsHui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling. 128-144 [doi]
- On Observability and Reconstruction of Promoter Activity Statistics from Reporter Protein Mean and Variance ProfilesEugenio Cinquemani. 147-163 [doi]
- Logic-Based Multi-objective Design of Chemical Reaction NetworksLuca Bortolussi, Alberto Policriti, Simone Silvetti. 164-178 [doi]