Book Chapter

Modelling HIV Infection: A computational overview


Bracciali A (2011) Modelling HIV Infection: A computational overview. In: Breitling R, Uhrmacher A, Bruggeman F & Priami C (eds.) Formal Methods in Molecular Biology. Dagstuhl Reports, Volume 1, Issue 4, pp. 41–64. Dagstuhl, Germany: Leibniz Center for Informatics, Dagstuhl Publishing, p. 49.

This article is part of report (DOI:10.4230/DagRep.1.4.41) that documents the program and the outcomes of the Seminar 11151 ‘Formal Methods in Molecular Biology' that took place in Dagstuhl, Germany, on 10.-15. April, 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. This article is a report of one of about 30 talks that were were given. The participants formed 5 teams that worked on selected case studies.  Seminar 10th -15th April, 2011:

Title of seriesDagstuhl Reports
Number in seriesVolume 1, Issue 4, pp. 41–64
Publication date31/12/2011
PublisherLeibniz Center for Informatics, Dagstuhl Publishing
Publisher URL…_p041_s11151.pdf
Place of publicationDagstuhl, Germany
ISSN of series2192-5283