Abstract is missing.
- Chemical Master Equation and Langevin Regimes for a Gene Transcription ModelRaya Khanin, Desmond J. Higham. 1-14 [doi]
- Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network ModelsWerner Sandmann. 15-31 [doi]
- Modelling Yeast Pre-rRNA ProcessingFederica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey. 32-47 [doi]
- On the Analysis of Numerical Data Time Series in Temporal LogicFrançois Fages, Aurélien Rizk. 48-63 [doi]
- Context Sensitivity in Logical Modeling with Time DelaysHeike Siebert, Alexander Bockmayr. 64-79 [doi]
- Stochastic Simulation of Biological Systems with Dynamical Compartment StructureCristian Versari, Nadia Busi. 80-95 [doi]
- Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot FluorophoresMartyn R. Brown, Paul Rees, Steve Wilks, Huw D. Summers, Rachel J. Errington, Kerenza L. Njoh, Sally C. Chappell, Paul J. Smith, James F. Leary. 96-105 [doi]
- A Formal and Integrated Framework to Simulate Evolution of Biological PathwaysLorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun Soyer. 106-120 [doi]
- Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical NetworksBartek Wilczynski, Jerzy Tiuryn. 121-135 [doi]
- An Automated Translation from a Narrative Language for Biological Modelling into Process AlgebraMaria Luisa Guerriero, John K. Heath, Corrado Priami. 136-151 [doi]
- Expressive Models for Synaptic PlasticityAndrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano. 152-167 [doi]
- Modelization and Simulation of Nano Devices in /mathtt{nano}/kappa CalculusAlberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro. 168-183 [doi]
- Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculusAndrew Phillips, Luca Cardelli. 184-199 [doi]
- A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri NetsDavid Gilbert, Monika Heiner, Sebastian Lehrack. 200-216 [doi]
- Reconstructing Metabolic Pathways by Bidirectional Chemical SearchLiliana Félix, Francesc Rosselló, Gabriel Valiente. 217-232 [doi]
- Decision Diagrams for the Representation and Analysis of Logical Models of Genetic NetworksAurélien Naldi, Denis Thieffry, Claudine Chaouiya. 233-247 [doi]