Abstract is missing.
- (Mathematical) Logic for Systems Biology (Invited Paper)Joëlle Despeyroux. 3-12 [doi]
- Generalized Method of Moments for Stochastic Reaction Networks in EquilibriumMichael Backenköhler, Luca Bortolussi, Verena Wolf. 15-29 [doi]
- Inference of Delayed Biological Regulatory Networks from Time Series DataEmna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue. 30-48 [doi]
- Matching Models Across Abstraction Levels with Gaussian ProcessesGiulio Caravagna, Luca Bortolussi, Guido Sanguinetti. 49-66 [doi]
- Target Controllability of Linear NetworksEugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre. 67-81 [doi]
- High-Performance Symbolic Parameter Synthesis of Biological Models: A Case StudyMartin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek. 82-97 [doi]
- Influence Systems vs Reaction SystemsFrançois Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman. 98-115 [doi]
- Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based ModelsJérôme Feret, Kim Quyên Lý. 116-131 [doi]
- Bifurcation Analysis of Cardiac Alternans Using \delta -DecidabilityMd. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka. 132-146 [doi]
- A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise ApproximationLuca Cardelli, Marta Kwiatkowska, Luca Laurenti. 147-167 [doi]
- Autonomous and Adaptive Control of Populations of Bacteria Through Environment RegulationChieh Lo, Radu Marculescu. 168-185 [doi]
- Parameter Estimation for Reaction Rate Equation Constrained Mixture ModelsCarolin Loos, Anna Fiedler, Jan Hasenauer. 186-200 [doi]
- Normalizing Chemical Reaction Networks by Confluent Structural SimplificationGuillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. 201-215 [doi]
- Fast Simulation of Probabilistic Boolean NetworksAndrzej Mizera, Jun Pang, Qixia Yuan. 216-231 [doi]
- Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation TheoryChunyan Mu, Peter Dittrich, David Parker 0001, Jonathan E. Rowe. 232-251 [doi]
- Goal-Oriented Reduction of Automata NetworksLoïc Paulevé. 252-272 [doi]
- Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular BiochemistryJasha Sommer-Simpson, John Reinitz, Leonid Fridlyand, Louis Philipson, Ovidiu Radulescu. 273-288 [doi]
- Formal Modeling and Analysis of Pancreatic Cancer MicroenvironmentQinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke. 289-305 [doi]
- ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean NetworksAndrzej Mizera, Jun Pang, Qixia Yuan. 309-315 [doi]
- E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of CyanobacteriaMatej Troják, David Safránek, Jakub Hrabec, Jakub Salagovic, Frantiska Romanovská, Jan Cervený. 316-322 [doi]
- PREMER: Parallel Reverse Engineering of Biological Networks with Information TheoryAlejandro Fernández Villaverde, Kolja Becker, Julio R. Banga. 323-329 [doi]