Formal Methods in Molecular Biology

Keyphrases

Publications

2009

Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
09091 Executive Summary - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology (2009)
Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston
Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. Formal Methods in Molecular Biology (2009)
Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
09091 Abstracts Collection - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology (2009)
Cristian Versari
Stochastic modelling of cellular growth and division by means of the pi@ calculus. Formal Methods in Molecular Biology (2009)
Heike Siebert
Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks. Formal Methods in Molecular Biology (2009)
David Roger Gilbert, Rainer Breitling, Monika Heiner
BioModel Engineering: Its role in Systems Biology and Synthetic Biology. Formal Methods in Molecular Biology (2009)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Formal Methods in Molecular Biology (2009)
Attila 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
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology (2009)

volume 9091, 2009

Formal Methods in Molecular Biology, 22.02. - 27.02.2009 Formal Methods in Molecular Biology 9091 (2009)