Abstract is missing.
- Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable DevicesBenoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti. 3-7 [doi]
- A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene NetworkGilles Bernot, Jean-Paul Comet, Olivier F. Roux. 8-12 [doi]
- SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid SystemsQinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke. 15-27 [doi]
- Experimental Design for Inference over the A. thaliana Circadian Clock NetworkDaniel Trejo-Baños, Andrew J. Millar, Guido Sanguinetti. 28-39 [doi]
- Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical AbstractionLuca Bortolussi, Dimitrios Milios, Guido Sanguinetti. 40-51 [doi]
- Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test StatisticsCarolin Loos, Carsten Marr, Fabian J. Theis, Jan Hasenauer. 52-63 [doi]
- Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationLuca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti. 64-76 [doi]
- Adaptive Moment Closure for Parameter Inference of Biochemical Reaction NetworksSergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling. 77-89 [doi]
- Inferring Executable Models from Formalized Experimental EvidenceVivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott. 90-103 [doi]
- Symbolic Dynamics of Biochemical Pathways as Finite States MachinesOvidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev, Andreas Weber 0004. 104-120 [doi]
- Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial PeptidesFrancy Camacho, Rodrigo Torres, Raúl Ramos-Pollán. 121-132 [doi]
- Structural Simplification of Chemical Reaction Networks Preserving Deterministic SemanticsGuillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. 133-144 [doi]
- Automating the Development of Metabolic Network ModelsRobert Rozanski, Stefano Bragaglia, Oliver Ray, Ross D. King. 145-156 [doi]
- Qualitative Reasoning for Reaction Networks with Partial Kinetic InformationJoachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques. 157-169 [doi]
- Boolean Network Identification from Multiplex Time Series DataMax Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski. 170-181 [doi]
- BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological ModelsCurtis Madsen, Fedor Shmarov, Paolo Zuliani. 182-194 [doi]
- Derivation of Qualitative Dynamical Models from Biochemical NetworksWassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry. 195-207 [doi]
- Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During MitosisPauline Traynard, François Fages, Sylvain Soliman. 208-221 [doi]
- Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal LogicChris J. Banks, Daniel D. Seaton, Ian Stark. 222-238 [doi]
- Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri NetsAlexander Andreychenko, Morgan Magnin, Katsumi Inoue. 239-250 [doi]
- Parameter Synthesis by Parallel Coloured CTL Model CheckingLubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek. 251-263 [doi]
- Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model CheckingAdam Streck, Kirsten Thobe, Heike Siebert. 264-276 [doi]
- OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving TechniquesMarko Budinich, Jérémie Bourdon, Abdelhalim Larhlimi, Damien Eveillard. 279-281 [doi]
- SBMLDock: Docker Driven Systems Biology Tool Development and UsageEtienne Z. Gnimpieba, Mathialakan Thavappiragasam, Abalo Chango, Bill Conn, Carol M. Lushbough. 282-285 [doi]