DagRep.1.4.41.pdf
- Filesize: 0.73 MB
- 24 pages
Document
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 1, Issue 4
Volume: Dagstuhl Reports, Volume 1
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2011-08-12
Cite AsGet BibTex
Rainer Breitling, Adelinde M. Uhrmacher, Frank J. Bruggeman, and Corrado Priami. Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). In Dagstuhl Reports, Volume 1, Issue 4, pp. 41-64, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/DagRep.1.4.41
https://doi.org/10.4230/DagRep.1.4.41
Abstract
This report documents the program and the outcomes of the Seminar 11151 `Formal Methods in Molecular Biology' that took place in Dagstuhl, Germany, on 10--15 Apr 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given.
The participants formed 5 teams that worked on selected case studies. Two teams were awarded prizes, for their efforts in analyzing and further elucidating published biological models.
Keywords
- Bioinformatics
- systems biology
- formal modeling
- computational biology
- stochastic
- model
- simulation
- checking
- verification
- abstraction
- petri nets
- process algebra
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads