DROPS

Document

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Authors: Rainer Breitling, Adelinde M. Uhrmacher, Frank J. Bruggeman, and Corrado Priami

Published in: Dagstuhl Reports, Volume 1, Issue 4 (2011)

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.

Cite as

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)

Copy BibTex To Clipboard

@Article{breitling_et_al:DagRep.1.4.41,
  author =	{Breitling, Rainer and Uhrmacher, Adelinde M. and Bruggeman, Frank J. and Priami, Corrado},
  title =	{{Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)}},
  pages =	{41--64},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Breitling, Rainer and Uhrmacher, Adelinde M. and Bruggeman, Frank J. and Priami, Corrado},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.41},
  URN =		{urn:nbn:de:0030-drops-31975},
  doi =		{10.4230/DagRep.1.4.41},
  annote =	{Keywords: Bioinformatics, systems biology, formal modeling, computational biology, stochastic, model, simulation, checking, verification, abstraction, petri nets, process algebra}
}

Search Results

Documents authored by Bruggeman, Frank J.

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Abstract

Cite as

Thanks for your feedback!

Could not send message