| Qualitative Modeling and Simulation of Bacterial Regulatory Networks / Hidde de Jong |
| Integrated Analysis from Abstract Stochastic Process Algebra Models / Jane Hillston ; Federica Ciocchetta ; Adam Duguid ; Stephen Gilmore |
| An Exact Brownian Dynamics Method for Cell Simulation / Koichi Takahashi |
| Multiscale Modelling of Neuronal Signalling / Nicolas Le Novere |
| Systems Biology of Halophilic Archaea / Dieter Oesterhelt |
| A Partial Granger Causality Approach to Explore Causal Networks Derived from Multi-parameter Data / Ritesh Krishna ; Shuixia Guo |
| Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe / Alexander Ullrich ; Christoph Flamm |
| Component-Based Modelling of RNA Structure Folding / Carsten Maus |
| A Language for Biochemical Systems / Michael Pedersen ; Gordon Plotkin |
| The Attributed Pi Calculus / Mathias John ; Cedric Lhoussaine ; Joachim Niehren ; Adelinde M. Uhrmacher |
| The Continuous [pi]-Calculus: A Process Algebra for Biochemical Modelling / Marek Kwiatkowski ; Ian Stark |
| Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems / Dirk Lebiedz ; Dominik Skanda ; Marc Fein |
| Formal Analysis of Abnormal Excitation in Cardiac Tissue / Pei Ye ; Radu Grosu ; Scott A. Smolka ; Emilia Entcheva |
| The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock / Laurence Loewe |
| SED-ML - An XML Format for the Implementation of the MIASE Guidelines / Dagmar Kohn |
| On Parallel Stochastic Simulation of Diffusive Systems / Lorenzo Dematte ; Tommaso Mazza |
| Large-Scale Design Space Exploration of SSA / Matthias Jeschke ; Roland Ewald |
| 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 |
| On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology / Aurelien Rizk ; Gregory Batt ; Francois Fages ; Sylvain Soliman |
| A Model Checking Approach to the Parameter Estimation of Biochemical Pathways / Robin Donaldson ; David Gilbert |
| Compositional Definitions of Minimal Flows in Petri Nets |
| On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network / Abdelhalim Larhlimi ; Alexander Bockmayr |
| A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data / Markus Durzinsky ; Annegret Wagler ; Robert Weismantel |
| Analyzing a Discrete Model of Aplysia Central Pattern Generator / Ashish Tiwari ; Carolyn Talcott |
| Stochastic Analysis of Amino Acid Substitution in Protein Synthesis / D. Bosnacki ; H.M.M. ten Eikelder ; M.N. Steijaert ; E.P. de Vink |
| A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics / Richard C. van der Wath ; Pietro Lio' |
| Author Index |
| Qualitative Modeling and Simulation of Bacterial Regulatory Networks / Hidde de Jong |
| Integrated Analysis from Abstract Stochastic Process Algebra Models / Jane Hillston ; Federica Ciocchetta ; Adam Duguid ; Stephen Gilmore |
| An Exact Brownian Dynamics Method for Cell Simulation / Koichi Takahashi |
| Multiscale Modelling of Neuronal Signalling / Nicolas Le Novere |
| Systems Biology of Halophilic Archaea / Dieter Oesterhelt |
| A Partial Granger Causality Approach to Explore Causal Networks Derived from Multi-parameter Data / Ritesh Krishna ; Shuixia Guo |
