Document Open Access Logo

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Authors Rainer Breitling, Adelinde M. Uhrmacher, Frank J. Bruggeman, Corrado Priami and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.1.4.41.pdf
  • Filesize: 0.73 MB
  • 24 pages

Document Identifiers

Author Details

Rainer Breitling
Adelinde M. Uhrmacher
Frank J. Bruggeman
Corrado Priami
and all authors of the abstracts in this report

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

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail