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

Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni:
Cells in Silico: A Holistic Approach. 366-386
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
The Calculus of Looping Sequences. 387-423
Luca Bortolussi, Alberto Policriti:
Hybrid Systems and Biology. 424-448
Cristian Versari, Roberto Gorrieri:
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. 449-506
Gianluigi Zavattaro:
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. 507-523

Last update Fri May 25 08:36:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page