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.
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.