<h2>Dagstuhl Seminar Proceedings, Volume 9091, </h2> <ul> <li> <span class="authors">Rainer Breitling, David Roger Gilbert, Monika Heiner, and Corrado Priami</span> <span class="title">09091 Abstracts Collection – Formal Methods in Molecular Biology</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.1">10.4230/DagSemProc.09091.1</a> </li> <li> <span class="authors">Rainer Breitling, David Roger Gilbert, Monika Heiner, and Corrado Priami</span> <span class="title">09091 Executive Summary – Formal Methods in Molecular Biology</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.2">10.4230/DagSemProc.09091.2</a> </li> <li> <span class="authors">Attila Csikász-Nagy, Adrien Faure, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordan, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, and Paolo Ballarini</span> <span class="title">Analyzing various models of Circadian Clock and Cell Cycle coupling</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.3">10.4230/DagSemProc.09091.3</a> </li> <li> <span class="authors">David Roger Gilbert, Rainer Breitling, and Monika Heiner</span> <span class="title">BioModel Engineering: Its role in Systems Biology and Synthetic Biology</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.4">10.4230/DagSemProc.09091.4</a> </li> <li> <span class="authors">Federica Ciocchetta, Andrea Degasperi, John Heath, and Jane Hillston</span> <span class="title">Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.5">10.4230/DagSemProc.09091.5</a> </li> <li> <span class="authors">Céline Kuttler, Cédric Lhoussaine, and Mirabelle Nebut</span> <span class="title">Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.6">10.4230/DagSemProc.09091.6</a> </li> <li> <span class="authors">Cristian Versari</span> <span class="title">Stochastic modelling of cellular growth and division by means of the pi@ calculus</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.7">10.4230/DagSemProc.09091.7</a> </li> <li> <span class="authors">Heike Siebert</span> <span class="title">Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks</span> <a class="doi" href="https://doi.org/10.4230/DagSemProc.09091.8">10.4230/DagSemProc.09091.8</a> </li> </ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing