default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. 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, Piero Fariselli, Rita Casadio:
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, Maria Luisa Guerriero:
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, Riccardo Zecchina:
A Prize-Collecting Steiner Tree Approach for Transduction Network Inference. 83-95 - Giampaolo Bella, Pietro Liò:
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, Cosimo Laneve, Gianluigi Zavattaro:
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, Jane Hillston:
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, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani:
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, Elisabeth Remy, Denis Thieffry, Claudine Chaouiya:
A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties. 266-280 - Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo:
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-03-21 23:49 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:
