Skip to main content
SpringerLink
Log in

Computational Methods in Systems Biology

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Monika Heiner

    1. Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Adelinde M. Uhrmacher

    1. University of Rostock, Rostock, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: CMSB 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Qualitative Modeling and Simulation of Bacterial Regulatory Networks

    • Hidde de Jong
    Pages 1-1

  3. Integrated Analysis from Abstract Stochastic Process Algebra Models

    • Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore
    Pages 2-4

  4. An Exact Brownian Dynamics Method for Cell Simulation

    • Koichi Takahashi
    Pages 5-6

  5. Multiscale Modelling of Neuronal Signalling

    • Nicolas Le Novère
    Pages 7-7

  6. Systems Biology of Halophilic Archaea

    • Dieter Oesterhelt
    Pages 8-8

  7. A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data

    • Ritesh Krishna, Shuixia Guo
    Pages 9-27

  8. Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe

    • Alexander Ullrich, Christoph Flamm
    Pages 28-43

  9. Component-Based Modelling of RNA Structure Folding

    • Carsten Maus
    Pages 44-62

  10. A Language for Biochemical Systems

    • Michael Pedersen, Gordon Plotkin
    Pages 63-82

  11. The Attributed Pi Calculus

    • Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
    Pages 83-102

  12. The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

    • Marek Kwiatkowski, Ian Stark
    Pages 103-122

  13. Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems

    • Dirk Lebiedz, Dominik Skanda, Marc Fein
    Pages 123-140

  14. Formal Analysis of Abnormal Excitation in Cardiac Tissue

    • Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva
    Pages 141-155

  15. The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock

    • Laurence Loewe, Jane Hillston
    Pages 156-175

  16. SED-ML – An XML Format for the Implementation of the MIASE Guidelines

    • Dagmar Köhn, Nicolas Le Novère
    Pages 176-190

  17. On Parallel Stochastic Simulation of Diffusive Systems

    • Lorenzo Dematté, Tommaso Mazza
    Pages 191-210

  18. Large-Scale Design Space Exploration of SSA

    • Matthias Jeschke, Roland Ewald
    Pages 211-230

  19. 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

  20. 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
Back to top

Other volumes

  1. Computational Methods in Systems Biology

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

Publish with us

Policies and ethics

Back to top

Search

Navigation