default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. HSB 2015: Madrid, Spain
- Alessandro Abate, David Safránek:
Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9271, Springer 2015, ISBN 978-3-319-26915-3
Statistical Analysis
- Eugenio Cinquemani:
Reconstructing Statistics of Promoter Switching from Reporter Protein Population Snapshot Data. 3-19 - Adam Streck, Kirsten Thobe, Heike Siebert:
Comparative Statistical Analysis of Qualitative Parametrization Sets. 20-34
Analysis and Verification of Continuous and Hybrid Models
- R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori
, Weng-Fai Wong, P. S. Thiagarajan:
Parallelized Parameter Estimation of Biological Pathway Models. 37-57 - Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. 58-74 - Louis Fippo Fitime, Christian Schuster, Peter Angel, Olivier Roux, Carito Guziolowski:
Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models. 75-95 - Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan:
Approximate Probabilistic Verification of Hybrid Systems. 96-116
Quantitative Analysis of Biological Models
- Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. 119-140 - Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf:
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. 141-155 - Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti:
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. 156-172 - Andreea Beica, Calin C. Guet, Tatjana Petrov:
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. 173-191
Application of Advanced Models on Case Studies
- Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. 195-210 - Delphine Draelants, Przemyslaw Klosiewicz, Jan Broeckhove, Wim Vanroose:
Solving General Auxin Transport Models with a Numerical Continuation Toolbox in Python: PyNCT. 211-225 - Gustavo Santos-García, Carolyn L. Talcott, Javier De Las Rivas:
Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. 226-245
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 2026-03-18 22:38 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:
