Formal Methods for Computational Systems Biology

Regular Lectures.- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.- Pathway Logic.- Formal Cell Biology in Biocham.- Hierarchical Modeling for Computational Biology.- Simulation Methods in Systems Biology.- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies.- Petri Nets for Systems and Synthetic Biology.- Process Algebras in Systems Biology.- The BlenX Language: A Tutorial.- BISCA Talks.- Cells in Silico: A Holistic Approach.- The Calculus of Looping Sequences.- Hybrid Systems and Biology.- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.