| No. | Title | Author | Year |
|---|---|---|---|
| 1 | 09091 Abstracts Collection -- Formal Methods in Molecular Biology | Breitling, Rainer et al. | 2009 |
| 2 | 09091 Executive Summary -- Formal Methods in Molecular Biology | Breitling, Rainer et al. | 2009 |
| 3 | Analyzing various models of Circadian Clock and Cell Cycle coupling | Csikász-Nagy, Attila et al. | 2009 |
| 4 | BioModel Engineering: Its role in Systems Biology and Synthetic Biology | Gilbert, David Roger et al. | 2009 |
| 5 | Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA | Ciocchetta, Federica et al. | 2009 |
| 6 | Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon | Kuttler, Céline et al. | 2009 |
| 7 | Stochastic modelling of cellular growth and division by means of the pi@ calculus | Versari, Cristian | 2009 |
| 8 | Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks | Siebert, Heike | 2009 |
| Number of result pages: | 1 |
| Number of documents: | 8 |
