Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
Author(s): Sorathiya, Anil
Bracciali, Andrea
Lio, Pietro
Contact Email:
Keywords: HIV
HIV dynamics
Deterministic Modelling
Stochastic Modelling
Model Checking
AIDS (Disease)
HIV infections
Issue Date: Dec-2010
Date Deposited: 21-Nov-2011
Citation: Sorathiya A, Bracciali A & Lio P (2010) An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intelligence, 4 (4), pp. 319-340.
Abstract: We have modelled the within-patient evolutionary process during HIV infection using different methodologies. New viral strains arise during the course of HIV infection. These multiple strains of the virus are able to use different coreceptors, in particular the CCR5 and the CXCR4 (R5 and X4 phenotypes, respectively)influence the progression of the disease to the AIDS phase. We present a model of HIV early infection and CTLs response which describes the dynamics of R5 quasispecies, specifying the R5 to X4 switch and effects of immune response. We illustrate dynamics of HIV multiple strains in the presence of multidrug HAART therapy. The HAART combined with X4 strain blocker drugs might help to reduce infectivity and lead to slower progression of disease. On the methodology side, our model represents a paradigm of integrating formal methods and mathematical models as a general framework to study HIV multiple strains during disease progression, and will inch towards providing help in selecting among vaccines and drug therapies. The results presented here are one of the rare cases of methodological cross comparison (stochastic and deterministic) and a novel implementation of model checking in therapy validation.
DOI Link: 10.1007/s11721-010-0046-4
Rights: Published in Swarm Intelligence by Springer Verlag. The original publication is available at

Files in This Item:
File Description SizeFormat 
An integrated modelling approach.pdfFulltext - Accepted Version3 MBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.