7. CMSB 2009: Bologna, Italy
Pierpaolo Degano, Roberto Gorrieri (Eds.): Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team