SFM 2008:
Bertinoro,
Italy
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (Eds.):
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures.
Lecture Notes in Computer Science 5016 Springer 2008, ISBN 978-3-540-68892-1 
Regular Lectures
- Andrea Degasperi, Stephen Gilmore:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.
1-20
- Carolyn L. Talcott:
Pathway Logic.
21-53
- François Fages, Sylvain Soliman:
Formal Cell Biology in Biocham.
54-80
- Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher:
Hierarchical Modeling for Computational Biology.
81-124
- Daniel T. Gillespie:
Simulation Methods in Systems Biology.
125-167
- Gheorghe Paun, Francisco José Romero-Campero:
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies.
168-214
- Monika Heiner, David Gilbert, Robin Donaldson:
Petri Nets for Systems and Synthetic Biology.
215-264
- Federica Ciocchetta, Jane Hillston:
Process Algebras in Systems Biology.
265-312
- Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
The BlenX Language: A Tutorial.
313-365
BISCA Talks
Copyright © Mon Nov 2 21:08:54 2009
by Michael Ley (ley@uni-trier.de)
