Skip to main content
  • Conference proceedings
  • © 2008

Computational Methods in Systems Biology

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

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

Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)

Conference series link(s): CMSB: International Conference on Computational Methods in Systems Biology

Conference proceedings info: CMSB 2008.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (27 papers)

  1. Front Matter

  2. Integrated Analysis from Abstract Stochastic Process Algebra Models

    • Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore
    Pages 2-4
  3. Multiscale Modelling of Neuronal Signalling

    • Nicolas Le Novère
    Pages 7-7
  4. Systems Biology of Halophilic Archaea

    • Dieter Oesterhelt
    Pages 8-8
  5. A Language for Biochemical Systems

    • Michael Pedersen, Gordon Plotkin
    Pages 63-82
  6. The Attributed Pi Calculus

    • Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
    Pages 83-102
  7. Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems

    • Dirk Lebiedz, Dominik Skanda, Marc Fein
    Pages 123-140
  8. Formal Analysis of Abnormal Excitation in Cardiac Tissue

    • Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva
    Pages 141-155
  9. SED-ML – An XML Format for the Implementation of the MIASE Guidelines

    • Dagmar Köhn, Nicolas Le Novère
    Pages 176-190
  10. On Parallel Stochastic Simulation of Diffusive Systems

    • Lorenzo Dematté, Tommaso Mazza
    Pages 191-210
  11. Large-Scale Design Space Exploration of SSA

    • Matthias Jeschke, Roland Ewald
    Pages 211-230
  12. Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

    • Edmund M. Clarke, James R. Faeder, Christopher J. Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay
    Pages 231-250
  13. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

    • Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
    Pages 251-268

Other Volumes

  1. Computational Methods in Systems Biology

About this book

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.

Keywords

  • 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

  • Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany

    Monika Heiner

  • University of Rostock, Rostock, Germany

    Adelinde M. Uhrmacher

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions