Computational Methods in Systems Biology

7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

  • Pierpaolo Degano
  • Roberto Gorrieri
Conference proceedings CMSB 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5688)

Also part of the Lecture Notes in Bioinformatics book sub series (LNBI, volume 5688)

Table of contents

  1. Front Matter
  2. Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi, Piero Fariselli, Rita Casadio
    Pages 1-17
  3. Corrado Priami, Paolo Ballarini, Paola Quaglia
    Pages 26-51
  4. Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero
    Pages 52-67
  5. Michele Baggi, Demis Ballis, Moreno Falaschi
    Pages 68-82
  6. Marc Bailly-Bechet, Alfredo Braunstein, Riccardo Zecchina
    Pages 83-95
  7. Giampaolo Bella, Pietro Liò
    Pages 96-110
  8. Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre
    Pages 111-125
  9. Thao Dang, Colas Le Guernic, Oded Maler
    Pages 126-141
  10. Elisabetta De Maria, François Fages, Sylvain Soliman
    Pages 142-157
  11. Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
    Pages 158-172
  12. Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
    Pages 173-188
  13. Vashti Galpin, Jane Hillston
    Pages 189-204
  14. Sumit K. Jha, Edmund M. Clarke, Christopher J. Langmead, Axel Legay, André Platzer, Paolo Zuliani
    Pages 218-234
  15. Mathias John, Cédric Lhoussaine, Joachim Niehren
    Pages 235-250
  16. Bing Liu, P. S. Thiagarajan, David Hsu
    Pages 251-265
  17. Aurélien Naldi, Elisabeth Remy, Denis Thieffry, Claudine Chaouiya
    Pages 266-280
  18. Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro et al.
    Pages 281-295
  19. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009.

The 18 revised full papers presented together with the summaries of 3 invited papers were carefully reviewed and selected from more than 45 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.


angiogenesis biological clocks biological models biological systems biology cell cylce cell models computational biology model checking modeling protein interaction signaling pathways

Editors and affiliations

  • Pierpaolo Degano
    • 1
  • Roberto Gorrieri
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Dipartimento di Scienze dell’InformazioneUniversità degli Studi di BolognaBolognaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-03844-0
  • Online ISBN 978-3-642-03845-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Consumer Packaged Goods