7. CMSB 2009: Bologna, Italy

• 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