Computational Methods in Systems Biology

6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

  • Monika Heiner
  • Adelinde M. Uhrmacher
Conference proceedings CMSB 2008

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (volume 5307)

Table of contents

  1. Front Matter
  2. Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore
    Pages 2-4
  3. Nicolas Le Novère
    Pages 7-7
  4. Dieter Oesterhelt
    Pages 8-8
  5. Michael Pedersen, Gordon Plotkin
    Pages 63-82
  6. Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
    Pages 83-102
  7. Dirk Lebiedz, Dominik Skanda, Marc Fein
    Pages 123-140
  8. Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva
    Pages 141-155
  9. Dagmar Köhn, Nicolas Le Novère
    Pages 176-190
  10. Lorenzo Dematté, Tommaso Mazza
    Pages 191-210
  11. Matthias Jeschke, Roland Ewald
    Pages 211-230
  12. Edmund M. Clarke, James R. Faeder, Christopher J. Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay
    Pages 231-250
  13. Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
    Pages 251-268
  14. Abdelhalim Larhlimi, Alexander Bockmayr
    Pages 308-327
  15. Markus Durzinsky, Annegret Wagler, Robert Weismantel
    Pages 328-346
  16. D. Bošnački, H. M. M. ten Eikelder, M. N. Steijaert, E. P. de Vink
    Pages 367-386
  17. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008.

The 21 revised full papers presented together with the summaries of 5 invited papers were carefully reviewed and selected from more than 60 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.


3D modeling agent based modeling aggregation biochemical reactions bioinformatics compositional analysis distributed simulation evolution formal methods markov chain metabolism model checking modeling modularity parallel algorithms

Editors and affiliations

  • Monika Heiner
    • 1
  • Adelinde M. Uhrmacher
    • 2
  1. 1.Department of Computer ScienceBrandenburg University of TechnologyCottbusGermany
  2. 2.University of RostockRostockGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-88561-0
  • Online ISBN 978-3-540-88562-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