default search action
7. CMSB 2009: Bologna, Italy
- Pierpaolo Degano, Roberto Gorrieri:
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Lecture Notes in Computer Science 5688, Springer 2009, ISBN 978-3-642-03844-0 - Lisa Bartoli, Pier Luigi Martelli
, Ivan Rossi
Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks. 1-17 - John K. Heath:
The Equivalence between Biology and Computation. 18-25 - Corrado Priami, Paolo Ballarini, Paola Quaglia
BlenX4Bio - BlenX for Biologists. 26-51 - Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network. 52-67 - Michele Baggi, Demis Ballis, Moreno Falaschi
Quantitative Pathway Logic for Computational Biology. 68-82 - Marc Bailly-Bechet, Alfredo Braunstein
A Prize-Collecting Steiner Tree Approach for Transduction Network Inference. 83-95 - Giampaolo Bella
Formal Analysis of the Genetic Toggle. 96-110 - Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre:
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. 111-125 - Thao Dang, Colas Le Guernic, Oded Maler:
Computing Reachable States for Nonlinear Biological Models. 126-141 - Elisabetta De Maria, François Fages, Sylvain Soliman
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. 142-157 - Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. 158-172 - Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of Event Probabilities in Noisy Cellular Processes. 173-188 - Vashti Galpin
Equivalence and Discretisation in Bio-PEPA. 189-204 - Peter Gennemark, Dag Wedelin:
Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems. 205-217 - Sumit Kumar Jha
A Bayesian Approach to Model Checking Biological Systems. 218-234 - Mathias John, Cédric Lhoussaine, Joachim Niehren:
Dynamic Compartments in the Imperative pi-Calculus. 235-250 - Bing Liu, P. S. Thiagarajan, David Hsu:
Probabilistic Approximations of Signaling Pathway Dynamics. 251-265 - Aurélien Naldi
A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties. 266-280 - Lucia Napione, Daniele Manini
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. 281-295 - Martin Schwarick, Monika Heiner
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. 296-312 - Hayssam Soueidan, Grégoire Sutre, Macha Nikolski:
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. 313-327
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-07-15 20:37 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: