Table of Contents

Qualitative Modeling and Simulation of Bacterial Regulatory Networks.- Integrated Analysis from Abstract Stochastic Process Algebra Models.- An Exact Brownian Dynamics Method for Cell Simulation.- Multiscale Modelling of Neuronal Signalling.- Systems Biology of Halophilic Archaea.- A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data.- Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe.- Component-Based Modelling of RNA Structure Folding.- A Language for Biochemical Systems.- The Attributed Pi Calculus.- The Continuous ?-Calculus: A Process Algebra for Biochemical Modelling.- Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems.- Formal Analysis of Abnormal Excitation in Cardiac Tissue.- The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock.- SED-ML – An XML Format for the Implementation of the MIASE Guidelines.- On Parallel Stochastic Simulation of Diffusive Systems.- Large-Scale Design Space Exploration of SSA.- Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.- On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.- A Model Checking Approach to the Parameter Estimation of Biochemical Pathways.- Compositional Definitions of Minimal Flows in Petri Nets.- On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network.- A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data.- An Exact Brownian Dynamics Method for Cell Simulation.- Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.- A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem CellKinetics.- Erratum: Analyzing a Discrete Model of Aplysia Central Pattern Generator.