Abstract is missing.
- 09091 Abstracts Collection - Formal Methods in Molecular BiologyRainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami. [doi]
- Rule-based Modeling of Transcriptional Attenuation at the Tryptophan OperonCéline Kuttler, Cédric Lhoussaine, Mirabelle Nebut. [doi]
- Stochastic modelling of cellular growth and division by means of the pi@ calculusCristian Versari. [doi]
- BioModel Engineering: Its role in Systems Biology and Synthetic BiologyDavid Roger Gilbert, Rainer Breitling, Monika Heiner. [doi]
- Analyzing various models of Circadian Clock and Cell Cycle couplingAttila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini. [doi]
- Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPAFederica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston. [doi]
- 09091 Executive Summary - Formal Methods in Molecular BiologyRainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami. [doi]
- Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory NetworksHeike Siebert. [doi]