6. CMSB 2008: Rostock, Germany

• Hidde de Jong:
  Qualitative Modeling and Simulation of Bacterial Regulatory Networks. 1
  
• Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore:
  Integrated Analysis from Abstract Stochastic Process Algebra Models. 2-4
  
• Koichi Takahashi:
  An Exact Brownian Dynamics Method for Cell Simulation. 5-6
  
• Nicolas Le Novère:
  Multiscale Modelling of Neuronal Signalling. 7
  
• Dieter Oesterhelt:
  Systems Biology of Halophilic Archaea. 8
  
• Ritesh Krishna, Shuixia Guo:
  A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data. 9-27
  
• Alexander Ullrich, Christoph Flamm:
  Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe. 28-43
  
• Carsten Maus:
  Component-Based Modelling of RNA Structure Folding. 44-62
  
• Michael Pedersen, Gordon D. Plotkin:
  A Language for Biochemical Systems. 63-82
  
• Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher:
  The Attributed Pi Calculus. 83-102
  
• Marek Kwiatkowski, Ian Stark:
  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. 103-122
  
• Dirk Lebiedz, Dominik Skanda, Marc Fein:
  Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems. 123-140
  
• Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva:
  Formal Analysis of Abnormal Excitation in Cardiac Tissue. 141-155
  
• Laurence Loewe, Jane Hillston:
  The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. 156-175
  
• Dagmar Köhn, Nicolas Le Novère:
  SED-ML - An XML Format for the Implementation of the MIASE Guidelines. 176-190
  
• Lorenzo Dematté, Tommaso Mazza:
  On Parallel Stochastic Simulation of Diffusive Systems. 191-210
  
• Matthias Jeschke, Roland Ewald:
  Large-Scale Design Space Exploration of SSA. 211-230
  
• Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay:
  Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. 231-250
  
• Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman:
  On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. 251-268
  
• Robin Donaldson, David Gilbert:
  A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. 269-287
  
• Michael Pedersen:
  Compositional Definitions of Minimal Flows in Petri Nets. 288-307
  
• Abdelhalim Larhlimi, Alexander Bockmayr:
  On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. 308-327
  
• Markus Durzinsky, Annegret Wagler, Robert Weismantel:
  A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data. 328-346
  
• Ashish Tiwari, Carolyn L. Talcott:
  Analyzing a Discrete Model of Aplysia Central Pattern Generator. 347-366
  
• Dragan Bosnacki, Huub M. M. ten Eikelder, M. N. Steijaert, Erik P. de Vink:
  Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. 367-386
  
• Richard C. van der Wath, Pietro Liò:
  A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics. 387-401