Abstract is missing.
- Sensitivity Analysis of Stochastic Models of Bistable Biochemical ReactionsAndrea Degasperi, Stephen Gilmore. 1-20 [doi]
- Pathway LogicCarolyn L. Talcott. 21-53 [doi]
- Formal Cell Biology in BiochamFrançois Fages, Sylvain Soliman. 54-80 [doi]
- Hierarchical Modeling for Computational BiologyCarsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher. 81-124 [doi]
- Simulation Methods in Systems BiologyDaniel T. Gillespie. 125-167 [doi]
- Membrane Computing as a Modeling Framework. Cellular Systems Case StudiesGheorghe Paun, Francisco José Romero-Campero. 168-214 [doi]
- Petri Nets for Systems and Synthetic BiologyMonika Heiner, David Gilbert, Robin Donaldson. 215-264 [doi]
- Process Algebras in Systems BiologyFederica Ciocchetta, Jane Hillston. 265-312 [doi]
- The BlenX Language: A TutorialLorenzo Dematté, Corrado Priami, Alessandro Romanel. 313-365 [doi]
- Cells in Silico: A Holistic ApproachDavide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni. 366-386 [doi]
- The Calculus of Looping SequencesRoberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. 387-423 [doi]
- Hybrid Systems and BiologyLuca Bortolussi, Alberto Policriti. 424-448 [doi]
- pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired CalculiCristian Versari, Roberto Gorrieri. 449-506 [doi]
- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground FormGianluigi Zavattaro. 507-523 [doi]