Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. CMSB 2015: Nantes, France
- Olivier F. Roux, Jérémie Bourdon
:
Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Lecture Notes in Computer Science 9308, Springer 2015, ISBN 978-3-319-23400-7
Invited Talks
- Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. 3-7 - Gilles Bernot, Jean-Paul Comet, Olivier F. Roux:
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. 8-12
Regular Papers
- Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. 15-27 - Daniel Trejo-Baños, Andrew J. Millar, Guido Sanguinetti:
Experimental Design for Inference over the A. thaliana Circadian Clock Network. 28-39 - Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. 40-51 - Carolin Loos, Carsten Marr, Fabian J. Theis, Jan Hasenauer:
Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics. 52-63 - Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. 64-76 - Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling:
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. 77-89 - Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott:
Inferring Executable Models from Formalized Experimental Evidence. 90-103 - Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev, Andreas Weber:
Symbolic Dynamics of Biochemical Pathways as Finite States Machines. 104-120 - Francy Camacho, Rodrigo Torres, Raúl Ramos-Pollán:
Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides. 121-132 - Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren:
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics. 133-144 - Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross D. King:
Automating the Development of Metabolic Network Models. 145-156 - Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques:
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. 157-169 - Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski:
Boolean Network Identification from Multiplex Time Series Data. 170-181 - Curtis Madsen, Fedor Shmarov, Paolo Zuliani:
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. 182-194 - Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry:
Derivation of Qualitative Dynamical Models from Biochemical Networks. 195-207 - Pauline Traynard, François Fages, Sylvain Soliman:
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. 208-221 - Chris J. Banks, Daniel D. Seaton, Ian Stark:
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. 222-238 - Alexander Andreychenko, Morgan Magnin, Katsumi Inoue:
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. 239-250 - Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. 251-263 - Adam Streck, Kirsten Thobe, Heike Siebert:
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. 264-276
Short Papers
- Marko Budinich, Jérémie Bourdon, Abdelhalim Larhlimi, Damien Eveillard:
OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques. 279-281 - Etienne Z. Gnimpieba, Mathialakan Thavappiragasam, Abalo Chango, Bill Conn, Carol M. Lushbough:
SBMLDock: Docker Driven Systems Biology Tool Development and Usage. 282-285
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-21 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
