Modelling HIV Infection: A computational overview

Citation

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. http://drops.dagstuhl.de/opus/volltexte/2011/3197/pdf/dagrep_v001_i004_p041_s11151.pdf

Abstract
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: http://www.dagstuhl.de/11151