5. CMSB 2007: Edinburgh, Scotland, UK

Muffy Calder, Stephen Gilmore (Eds.): Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings. Lecture Notes in Computer Science 4695 Springer 2007, ISBN 978-3-540-75139-7 BibTeX

Raya Khanin, Desmond J. Higham:
Chemical Master Equation and Langevin Regimes for a Gene Transcription Model. 1-14
Electronic Edition (link) BibTeX
Werner Sandmann:
Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models. 15-31
Electronic Edition (link) BibTeX
Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey:
Modelling Yeast Pre-rRNA Processing. 32-47
Electronic Edition (link) BibTeX
François Fages, Aurélien Rizk:
On the Analysis of Numerical Data Time Series in Temporal Logic. 48-63
Electronic Edition (link) BibTeX
Heike Siebert, Alexander Bockmayr:
Context Sensitivity in Logical Modeling with Time Delays. 64-79
Electronic Edition (link) BibTeX
Cristian Versari, Nadia Busi:
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. 80-95
Electronic Edition (link) BibTeX
Martyn R. Brown, Paul Rees, Steve Wilks, Huw D. Summers, Rachel J. Errington, Kerenza L. Njoh, Sally C. Chappell, Paul J. Smith, James F. Leary:
Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores. 96-105
Electronic Edition (link) BibTeX
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun Soyer:
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. 106-120
Electronic Edition (link) BibTeX
Bartek Wilczynski, Jerzy Tiuryn:
Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks. 121-135
Electronic Edition (link) BibTeX
Maria Luisa Guerriero, John K. Heath, Corrado Priami:
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. 136-151
Electronic Edition (link) BibTeX
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Expressive Models for Synaptic Plasticity. 152-167
Electronic Edition (link) BibTeX
Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro:
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. 168-183
Electronic Edition (link) BibTeX
Andrew Phillips, Luca Cardelli:
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. 184-199
Electronic Edition (link) BibTeX
David Gilbert, Monika Heiner, Sebastian Lehrack:
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. 200-216
Electronic Edition (link) BibTeX
Liliana Félix, Francesc Rosselló, Gabriel Valiente:
Reconstructing Metabolic Pathways by Bidirectional Chemical Search. 217-232
Electronic Edition (link) BibTeX
Aurélien Naldi, Denis Thieffry, Claudine Chaouiya:
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. 233-247
Electronic Edition (link) BibTeX