Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
Rainer Breitling, David Roger Gilbert, Monika Heiner, and Corrado Priami. 09091 Abstracts Collection – Formal Methods in Molecular Biology. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
Rainer Breitling, David Roger Gilbert, Monika Heiner, and Corrado Priami. 09091 Executive Summary – Formal Methods in Molecular Biology. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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.} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
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. Analyzing various models of Circadian Clock and Cell Cycle coupling. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
David Roger Gilbert, Rainer Breitling, and Monika Heiner. BioModel Engineering: Its role in Systems Biology and Synthetic Biology. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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.} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
Federica Ciocchetta, Andrea Degasperi, John Heath, and Jane Hillston. Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
Céline Kuttler, Cédric Lhoussaine, and Mirabelle Nebut. Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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.} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
Cristian Versari. Stochastic modelling of cellular growth and division by means of the pi@ calculus. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)
Heike Siebert. Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)
@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} }
Feedback for Dagstuhl Publishing