@InProceedings{breitling_et_al:DagSemProc.09091.1,
author = {Breitling, Rainer and Gilbert, David Roger and Heiner, Monika and Priami, Corrado},
title = {{09091 Abstracts Collection – Formal Methods in Molecular Biology }},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--24},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.1},
URN = {urn:nbn:de:0030-drops-19972},
doi = {10.4230/DagSemProc.09091.1},
annote = {Keywords: Formal models, systems biology, biological processes}
}
@InProceedings{breitling_et_al:DagSemProc.09091.2,
author = {Breitling, Rainer and Gilbert, David Roger and Heiner, Monika and Priami, Corrado},
title = {{09091 Executive Summary – Formal Methods in Molecular Biology}},
booktitle = {Formal Methods in Molecular Biology},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.2},
URN = {urn:nbn:de:0030-drops-19964},
doi = {10.4230/DagSemProc.09091.2},
annote = {Keywords: Formal models, systems biology, biological processes.}
}
@InProceedings{csikasznagy_et_al:DagSemProc.09091.3,
author = {Csik\'{a}sz-Nagy, Attila and Faure, Adrien and Larcher, Roberto and Lecca, Paola and Mura, Ivan and Jordan, Ferenc and Palmisano, Alida and Romanel, Alessandro and Sedwards, Sean and Siebert, Heike and Soliman, Sylvain and Thieffry, Denis and Z\'{a}mborszky, Judit and Mazza, Tommaso and Ballarini, Paolo},
title = {{Analyzing various models of Circadian Clock and Cell Cycle coupling}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--6},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.3},
URN = {urn:nbn:de:0030-drops-19944},
doi = {10.4230/DagSemProc.09091.3},
annote = {Keywords: Cell cycle, circadian clock, computational modelling}
}
@InProceedings{gilbert_et_al:DagSemProc.09091.4,
author = {Gilbert, David Roger and Breitling, Rainer and Heiner, Monika},
title = {{BioModel Engineering: Its role in Systems Biology and Synthetic Biology}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--2},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.4},
URN = {urn:nbn:de:0030-drops-19929},
doi = {10.4230/DagSemProc.09091.4},
annote = {Keywords: Biochemical systems, models, design, construction, systems biology, synthetic biology, model checking.}
}
@InProceedings{ciocchetta_et_al:DagSemProc.09091.5,
author = {Ciocchetta, Federica and Degasperi, Andrea and Heath, John and Hillston, Jane},
title = {{Modelling and analysis of the NF-\$kappa\$B pathway in Bio-PEPA}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.5},
URN = {urn:nbn:de:0030-drops-19911},
doi = {10.4230/DagSemProc.09091.5},
annote = {Keywords: Process algebras, NF-\$kappa\$B pathway, modelling, analysis}
}
@InProceedings{kuttler_et_al:DagSemProc.09091.6,
author = {Kuttler, C\'{e}line and Lhoussaine, C\'{e}dric and Nebut, Mirabelle},
title = {{Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--22},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.6},
URN = {urn:nbn:de:0030-drops-19938},
doi = {10.4230/DagSemProc.09091.6},
annote = {Keywords: Systems biology, rule-based modeling languages, stochastic simulation, kappa.}
}
@InProceedings{versari:DagSemProc.09091.7,
author = {Versari, Cristian},
title = {{Stochastic modelling of cellular growth and division by means of the pi@ calculus}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.7},
URN = {urn:nbn:de:0030-drops-19907},
doi = {10.4230/DagSemProc.09091.7},
annote = {Keywords: Process algebra, pi-calculus, simulation, stochastic}
}
@InProceedings{siebert:DagSemProc.09091.8,
author = {Siebert, Heike},
title = {{Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks}},
booktitle = {Formal Methods in Molecular Biology},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9091},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.8},
URN = {urn:nbn:de:0030-drops-19957},
doi = {10.4230/DagSemProc.09091.8},
annote = {Keywords: Discrete networks, logical analysis, symbolic steady states}
}
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