Published in: Dagstuhl Reports, Volume 4, Issue 11 (2015)
David Gilbert, Monika Heiner, Koichi Takahashi, and Adelinde M. Uhrmacher. Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481). In Dagstuhl Reports, Volume 4, Issue 11, pp. 138-226, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{gilbert_et_al:DagRep.4.11.138, author = {Gilbert, David and Heiner, Monika and Takahashi, Koichi and Uhrmacher, Adelinde M.}, title = {{Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481)}}, pages = {138--226}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {11}, editor = {Gilbert, David and Heiner, Monika and Takahashi, Koichi and Uhrmacher, Adelinde M.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.138}, URN = {urn:nbn:de:0030-drops-49723}, doi = {10.4230/DagRep.4.11.138}, annote = {Keywords: Multiscale, multidimensional, computational modelling, space, time, systems biology, synthetic biology} }
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)
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.} }
Feedback for Dagstuhl Publishing