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 BibTeX
Regular Lectures
- Andrea Degasperi, Stephen Gilmore:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.
1-20
Electronic Edition (link) BibTeX
- Carolyn L. Talcott:
Pathway Logic.
21-53
Electronic Edition (link) BibTeX
- François Fages, Sylvain Soliman:
Formal Cell Biology in Biocham.
54-80
Electronic Edition (link) BibTeX
- Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher:
Hierarchical Modeling for Computational Biology.
81-124
Electronic Edition (link) BibTeX
- Daniel T. Gillespie:
Simulation Methods in Systems Biology.
125-167
Electronic Edition (link) BibTeX
- Gheorghe Paun, Francisco José Romero-Campero:
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies.
168-214
Electronic Edition (link) BibTeX
- Monika Heiner, David Gilbert, Robin Donaldson:
Petri Nets for Systems and Synthetic Biology.
215-264
Electronic Edition (link) BibTeX
- Federica Ciocchetta, Jane Hillston:
Process Algebras in Systems Biology.
265-312
Electronic Edition (link) BibTeX
- Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
The BlenX Language: A Tutorial.
313-365
Electronic Edition (link) BibTeX
BISCA Talks
Copyright © Sat May 16 23:37:46 2009
by Michael Ley (ley@uni-trier.de)
