Abstract is missing.
- On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design in Stochastic Biochemical Reaction NetworksJakob Ruess, John Lygeros. 1-4 [doi]
- Numerical Approximation of Rare Event Probabilities in Biochemically Reacting SystemsLinar Mikeev, Werner Sandmann, Verena Wolf. 5-18 [doi]
- An Approximate Execution of Rule-Based Multi-level ModelsTobias Helms, Martin Luboschik, Heidrun Schumann, Adelinde M. Uhrmacher. 19-32 [doi]
- Computing Cumulative Rewards Using Fast Adaptive UniformisationFrits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska. 33-49 [doi]
- Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized DecompositionCourtney Chancellor, Amine Ammar, Francisco Chinesta, Morgan Magnin, Olivier Roux. 50-63 [doi]
- Coarse-Grained Brownian Dynamics Simulation of Rule-Based ModelsMichael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl. 64-77 [doi]
- Modelling and Analysis of Phase Variation in Bacterial Colony GrowthOvidiu Parvu, David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders. 78-91 [doi]
- Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different ScenariosLucian Bentea, Peter Csaba Ölveczky, Eduard Bentea. 92-105 [doi]
- Dynamic Image-Based Modelling of Kidney Branching MorphogenesisSrivathsan Adivarahan, Denis Menshykau, Odyssé Michos, Dagmar Iber. 106-119 [doi]
- Statistical Model Checking Based Calibration and Analysis of Bio-pathway ModelsSucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu 0013, David Hsu, P. S. Thiagarajan. 120-134 [doi]
- Constraint Programming in Community-Based Gene Regulatory Network InferenceFerdinando Fioretto, Enrico Pontelli. 135-149 [doi]
- ABC-Fun: A Probabilistic Programming Language for BiologyAnastasis Georgoulas, Jane Hillston, Guido Sanguinetti. 150-163 [doi]
- A Temporal Logic Approach to Modular Design of Synthetic Biological CircuitsEzio Bartocci, Luca Bortolussi, Laura Nenzi. 164-177 [doi]
- A Lattice-Theoretic Framework for Metabolic Pathway AnalysisYaron A. B. Goldstein, Alexander Bockmayr. 178-191 [doi]
- On the Hybrid Composition and Simulation of Heterogeneous Biochemical ModelsHui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman. 192-205 [doi]
- On the Verification and Correction of Large-Scale Kinetic Models in Systems BiologyAttila Gábor, Katalin M. Hangos, Gábor Szederkényi, Julio R. Banga. 206-219 [doi]
- Context-Sensitive Flow Analyses: A Hierarchy of Model ReductionsFerdinanda Camporesi, Jérôme Feret, Jonathan Hayman. 220-233 [doi]