Abstract is missing.
- On Defining and Computing "Good" Conservation LawsFrançois Lemaire, Alexandre Temperville. 1-19 [doi]
- SAT-Based Metabolics Pathways Analysis without CompilationSabine Peres, Martin Morterol, Laurent Simon. 20-31 [doi]
- Model Integration and Crosstalk Analysis of Logical Regulatory NetworksKirsten Thobe, Adam Streck, Hannes Klarner, Heike Siebert. 32-44 [doi]
- Improved Parameter Estimation in Kinetic Models: Selection and Tuning of Regularization MethodsAttila Gábor, Julio R. Banga. 45-60 [doi]
- Uncertainty Analysis for Non-identifiable Dynamical Systems: Profile Likelihoods, Bootstrapping and MoreFabian Fröhlich, Fabian J. Theis, Jan Hasenauer. 61-72 [doi]
- Radial Basis Function Approximations of Bayesian Parameter Posterior Densities for Uncertainty AnalysisFabian Fröhlich, Sabrina Hross, Fabian J. Theis, Jan Hasenauer. 73-85 [doi]
- Precise Parameter Synthesis for Stochastic Biochemical SystemsMilan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti. 86-98 [doi]
- Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-DecisionsBing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke. 99-113 [doi]
- Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian ClockPauline Traynard, François Fages, Sylvain Soliman. 114-128 [doi]
- Characterization of Reachable Attractors Using Petri Net UnfoldingsThomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon. 129-142 [doi]
- Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation FrameworkNicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno. 143-154 [doi]
- Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control ApproachLakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate. 155-172 [doi]
- A Rule-Based Model of Base Excision RepairAgnes Köhler, Jean Krivine, Jakob Vidmar. 173-195 [doi]
- Using Process Algebra to Model Radiation Induced Bystander EffectsRachel Lintott, Stephen McMahon, Kevin Prise, Celine Addie-Lagorio, Carron Shankland. 196-210 [doi]
- Exploring the Cellular Objective in Flux Balance Constraint-Based ModelsRafael S. Costa, Son Nguyen, András Hartmann, Susana Vinga. 211-224 [doi]
- Optimization Based Design of Synthetic Oscillators from Standard Biological PartsIrene Otero-Muras, Julio R. Banga. 225-238 [doi]
- Modelling Polar Retention of Complexes in Escherichia coliAbhishekh Gupta, Jason Lloyd-Price, Andre S. Ribeiro. 239-243 [doi]
- Extensible and Executable Stochastic Models of Fatty Acid and Lipid MetabolismArgyris Zardilis, João Dias, Animesh Acharjee, James Smith. 244-247 [doi]
- FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience AssaysDonal Stewart, Stephen Gilmore, Michael A. Cousin. 248-251 [doi]
- Predictive Modelling of Mitochondrial Spatial Structure and HealthArne T. Bittig, Florian Reinhardt, Simone Baltrusch, Adelinde M. Uhrmacher. 252-255 [doi]
- XTMS in Action: Retrosynthetic Design in the Extended Metabolic Space of Heterologous Pathways for High-Value CompoundsBaudoin Delépine, Pablo Carbonell, Jean-Loup Faulon. 256-259 [doi]
- THiMED: Time in Hierarchical Model Extraction and DesignNatasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh. 260-263 [doi]