![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Proceedings: Formal Methods in Molecular Biology 2009
- Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
Formal Methods in Molecular Biology, 22.02. - 27.02.2009. Dagstuhl Seminar Proceedings 09091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 - Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
09091 Abstracts Collection - Formal Methods in Molecular Biology. - Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
09091 Executive Summary - Formal Methods in Molecular Biology. - 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. - David Roger Gilbert, Rainer Breitling, Monika Heiner:
BioModel Engineering: Its role in Systems Biology and Synthetic Biology. - Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston:
Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. - Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut:
Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. - Cristian Versari:
Stochastic modelling of cellular growth and division by means of the pi@ calculus. - Heike Siebert:
Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.