default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. CMSB 2013: Klosterneuburg, Austria
- Ashutosh Gupta, Thomas A. Henzinger:
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Lecture Notes in Computer Science 8130, Springer 2013, ISBN 978-3-642-40707-9
Regular Papers
- Jakob Ruess, John Lygeros:
On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design in Stochastic Biochemical Reaction Networks. 1-4 - Linar Mikeev, Werner Sandmann, Verena Wolf:
Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems. 5-18 - Tobias Helms, Martin Luboschik, Heidrun Schumann, Adelinde M. Uhrmacher:
An Approximate Execution of Rule-Based Multi-level Models. 19-32 - Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska:
Computing Cumulative Rewards Using Fast Adaptive Uniformisation. 33-49 - Courtney Chancellor, Amine Ammar
, Francisco Chinesta, Morgan Magnin, Olivier F. Roux:
Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. 50-63 - Michael Klann, Loïc Paulevé, Tatjana Petrov, Heinz Koeppl:
Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models. 64-77 - Ovidiu Parvu, David R. Gilbert, Monika Heiner, Fei Liu, Nigel J. Saunders:
Modelling and Analysis of Phase Variation in Bacterial Colony Growth. 78-91 - Lucian Bentea, Peter Csaba Ölveczky, Eduard Bentea:
Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios. 92-105 - Srivathsan Adivarahan, Denis Menshykau, Odyssé Michos, Dagmar Iber:
Dynamic Image-Based Modelling of Kidney Branching Morphogenesis. 106-119 - Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan:
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. 120-134 - Ferdinando Fioretto, Enrico Pontelli:
Constraint Programming in Community-Based Gene Regulatory Network Inference. 135-149 - Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti:
ABC-Fun: A Probabilistic Programming Language for Biology. 150-163 - Ezio Bartocci, Luca Bortolussi, Laura Nenzi:
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. 164-177 - Yaron A. B. Goldstein, Alexander Bockmayr:
A Lattice-Theoretic Framework for Metabolic Pathway Analysis. 178-191 - Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman:
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. 192-205 - Attila Gábor, Katalin M. Hangos, Gábor Szederkényi, Julio R. Banga:
On the Verification and Correction of Large-Scale Kinetic Models in Systems Biology. 206-219 - Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman:
Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions. 220-233
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 2025-12-04 22:07 CET 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:
