Secondary Logo

A literature review of reporting standards of HIV progression models

Colchero, M. Arantxa; Caro-Vega, Yanink N.; Sánchez-González, Gilberto; Bautista-Arredondo, Sergio

doi: 10.1097/QAD.0b013e3283533ae2

Objective: We conducted a systematic review of HIV progression models to identify the mathematical structures used, the main research questions and key model aspects in terms of quality and robustness.

Methods: We searched for articles published before February 2009 that described models of HIV progression in humans. We included two strategies of search with and without MeSH terms. We classified the models by their mathematical structure and research question. We created a checklist of desirable features of the models, reviewed and classified the articles to inform our conclusions.

Results: Among 3491 articles found, 93 met the inclusion criteria. Among the selected articles, 60 used transition models, 25 applied differential equations, and eight had other structures. We did not find a relation between the type of question explored and the modeling method used. None of the studies complied with the complete set of items in the checklist, but 6.5% cover at least 90% of them.

Conclusion: There is an enormous heterogeneity of HIV modeling exercises in terms of methods used and topics addressed, as well as in the presentation of key aspects of the articles in terms of quality and robustness.

Center for Research Evaluation and Surveys, National Institute of Public Health, Maxico, Mexico.

Correspondence to Yanink Caro-Vega, Department of Health Economics, Center for Research Evaluation and Surveys, National Institute of Public Health, 7a. Cerrada de Fray Pedro de Gante #50, Col. Sección XVI Tlalpan C.P. 14080 México D.F., Mexico. Tel: +55 54 87 10 00 x4106; e-mail:

Received 10 October, 2011

Revised 30 January, 2012

Accepted 2 March, 2012

Back to Top | Article Outline


From the beginning of the HIV epidemic, mathematical models were developed to better understand the progression of the disease [1,2]. Models were used for a variety of purposes: from biological models to assess the interaction between host and virus to epidemiological models to compare the costs and effects of prevention and treatment interventions, or to predict the dynamics of the epidemic. Mathematical models have proven to be a useful tool for informing decisions on alternative programs or interventions. However, the overwhelming amount of research published using mathematical models makes it difficult to assess the overarching take-home message of that research. One of the major challenges to distill the contributions of modeling to the HIV/AIDS treatment and prevention fields is related to the fact that modeling exercises are quite heterogeneous in terms of reliability. Unlike clinical trials, which have a clear set of characteristics and parameters that a credible study must meet, modeling publications are stunningly heterogeneous making it a challenging task to create a robust and widely accepted classification or ranking for quality.

The aim of our review is to present in a systematic way the enormous heterogeneity of HIV modeling exercises in terms of methods used and topics addressed and to analyze key aspects of the articles presented in terms of quality and robustness. The specific aims are first to determine whether there is any relationship between modeling method and the question addressed by the study, and second to review key methodological aspects of each study.

Several reviews of HIV/AIDS models have been conducted and focused on specific themes; however, none of them attempt to rank methodologies. For instance, in a review of drug resistance models among patients with HIV, Blower et al. [3] provide an overview of the utility and applications of the models and a description of their main findings. In a similar review, Blower et al. [4] discuss how models predict the evolution of drug resistance and use these models to predict the impact of antiretroviral therapy on drug resistance in Africa. In a different review, Blower et al. [5] show that different models that assess the impact of antiretroviral and HIV vaccines have led to similar results but emphasize the need to contrast findings with empirical data. A review by Hellinger [6] provides a critical assessment on the methods used to estimate healthcare costs in models of HIV progression. The author finds that in some of the models key assumptions may be leading to imprecise cost estimates. In 1988, Foulkes [7] reviewed the methodological contributions made from the field of statistics to HIV/AIDS research. In his work, Foulkes present an overview of the most important advances of statistics and their application to specific topics within the HIV/AIDS epidemic. Some of the key contributions of statistical modeling include techniques to estimate transmission probabilities, time for AIDS to develop in patients with HIV, and how some studies have determined and analyzed the possible biases of their results. Foulkes concludes that communication among experts and statisticians is important to improve HIV research. Similarly, Wu's review compares four methods to estimate viral load decay and concludes that inappropriate model-fitting methods may conduce to different results [8].

A recent issue of the Current Opinion in HIV/AIDS includes seven reviews articles of new developments in HIV mathematical models and address future research paths for epidemic modeling [9–16]. Different topics are discussed in this issue: methods for estimating incidence of HIV [10], the importance of including data and results about sexual behavior from social research on mathematical transmission models [11]; transmission models of HIV in specific population as men who have sex with men and injectable drug users [12]; models of drug resistance transmission [13]; and models related to the potential impact of prevention interventions, specially biomedical interventions [14–16]. Findings refer the use of mathematical modeling to guide research [15], achieve better knowledge of the epidemic and to provide informed healthcare policies [10]. The reviews describe that models designed to answer different research questions, usually require more complex structures than the models built to achieve only one specific aim [16], they also remark the need to include current and better input data to feed the models [11–13], and stress the importance of calibrating and validating the models [15,16].

To determine whether there is an association between research question and modeling methods, we first identified the mathematical structure of each study and then grouped the articles by topic addressed. To evaluate key methodological aspects of the studies, we created a checklist of what we called ‘desirable’ features of a model and classified all the works reviewed accordingly. The checklist includes a justification of the modeling method used, a description of the model's structure, a description of the main parameters with a link to the source of information or assumptions stated, and whether any validation or sensitivity analysis was presented. To facilitate comparisons between the methods used, we conducted this systematic review of HIV progression models restricting our search to models of HIV progression in humans. To our knowledge, no systematic reviews of HIV progression models with similar objectives have been published in the literature.

Back to Top | Article Outline


Search strategy

We searched for articles published before February 2009 that described models of HIV progression in humans. Our study focuses on published, peer-reviewed literature. It is not meant to be a comprehensive review of HIV modeling projects, but rather a contribution to the discussion around the standards of practice in HIV modeling publications in scientific journals. Therefore, we have not included research published in the gray literature. HIV progression models were defined as studies in which a hypothetical cohort of patients with HIV was followed over the patients’ life span using biomarkers of HIV progression, such as CD4, viral load, or other indicators of progression for patients undergoing treatment, such as treatment failure or viral suppression. We included models describing the natural history of the disease, models evaluating prevention or treatment interventions, and models used to conduct cost-effectiveness analysis. We excluded models applied to HIV progression in animals, microbiological models or models of the dynamics of the epidemic that did not include disease progression.

The search was conducted in PubMed using the following terms: ‘disease progression’ [MeSH Terms] AND ‘models, Theoretical’ [MeSH Terms] AND ‘hiv infections’ [MeSH Terms] OR ‘Mathematics’ [MeSH Terms] AND ‘hiv infections’ [MeSH Terms] AND ‘disease progression’ [MeSH Terms] OR ‘models, Theoretical’ [MeSH Terms] AND ‘Antiviral Agents/therapeutic use’ [MeSH Terms] AND ‘hiv infections’ [MeSH Terms] OR ‘models, Theoretical’ [MeSH Terms] AND ‘Cost-benefit Analysis’ [MeSH Terms] AND ‘hiv infections’ [MeSH Terms]. We conducted an additional search to identify articles that would not be found under MeSH terms. (‘MeSH is the National Library of Medicine's controlled vocabulary thesaurus. It consists of sets of terms naming descriptors in a hierarchical structure that permits searching at various levels of specificity’ cited on: The expression used is as follows: ‘disease progression AND models, theoretical AND HIV infections OR mathematics and HIV infections AND disease progression OR models, theoretical antiviral agents/therapeutic use and HIV infections OR models, theoretical and cost-benefit analysis AND hiv infections’.

We selected the articles to be included in the review in three phases. First, we excluded any article that obviously did not meet the inclusion criteria as based solely on the title. Second, we reviewed all the abstracts of the remaining articles and then excluded a second group of articles that did not meet our inclusion criteria. Finally, we read the remaining articles from the second phase to exclude any that did not meet the inclusion criteria. Table 1 presents the results of the two search strategies. Using MeSH terms, 1387 articles were retrieved, including 157 reviews. By reviewing the titles, we selected 257 articles, and 120 remained after we read their abstracts. We finally excluded 43 more during the third phase. In the second search (without MeSH terms), 2104 articles were retrieved from which 250 were reviews. We selected 235 titles, 89 abstracts, and kept 30 articles in the third phase. From the two search strategies, we selected and reviewed a total of 99 articles from which six were reviews.

Table 1

Table 1

Back to Top | Article Outline

Classification and analysis

We present our analysis in two ways. First, we classified the articles by modeling method and topic addressed. Secondly, we present a classification of the articles reviewed by a set of characteristics related to key methodological aspects of the modeling exercise. The objective of the first classification is to show the great heterogeneity of the literature included, which can also be useful to search for articles, and the objective of the second classification is to venture into the dimension of quality and robustness of the articles reviewed.

For the first part of the analysis, we identified and classified the articles in terms of the modeling method used to represent HIV progression and the main research question. The modeling method includes the mathematical structure of the model and the method used to handle time intervals across different stages of the disease. Models were classified according to three structure categories: state transition models, differential equations, and ‘other’ in which we grouped probabilistic models, quasiempirical models, and discrete simulation models.

State transition models, also called Markov models, predict how a patient moves from one disease stage to another during a defined time horizon [17]. Disease stages are defined as stages that are relevant in terms of HIV progression and the related costs. For instance, an acute stage is defined as a stage in which patients have not developed any opportunistic infection, which contrasts from the chronic stage. This distinction is also relevant from the economic perspective as different average costs are usually assumed for each stage. Transition probabilities determine how patients move through different disease stages. Some Markov models allow transition probabilities that are time-dependent [18].

Models based on differential equations simulate how the size of a compartment changes with time [19]. Compartment in these models represent either specific groups of the population or stages of a disease; however, compared to state transition models, the transitions are continuous and defined by the structure of the system and the parameters used. Often models using differential equations represent the interaction between CD4 cells and HIV RNA at the cellular and molecular levels, and they are solved using microsimulation processes that simulate changes among patients with probabilistic or deterministic transitions.

The remaining models were classified as ‘other’. In this group, we found probabilistic models, quasiempirical, and static deterministic models. The first group estimates characteristics of the disease using equations with probabilistic distributions but do not define specific stages and transition between them as a Markov model. The quasiempirical models apply deterministic associations between parameters to simulate transitions between the compartments, which represent different kinds of populations (e.g., uninfected, infected). Static deterministic models use deterministic relationships to simulate disease progression.

In terms of the methods applied to handle time between intervals, we distinguished discrete and continuous models. In discrete models, time often relates to months or years between disease stages defined in terms of occurrence of relevant events or costs. Models classified as continuous are those in which movements between disease stages are deterministic and changes in parameters are often mathematically expressed as derivatives.

We classify the articles in eight categories according to their research question: studies that model the effectiveness of different antiretroviral drugs, models that simulate the HIV epidemic, articles modeling the impact of antiretroviral treatment, articles aimed at looking at different alternatives to optimize therapy, interventions to improve adherence and other healthcare policies, evaluation of prevention programs, timing of antiretroviral initiation, and effectiveness of prophylaxis alternatives.

For the second part of the analysis, we created a checklist of what we called ‘desirable’ features of a model. Most of the features pretend to evaluate how comprehensive the models are. Table 2 presents the items included in the checklist along with a description. Some of the items in the checklist are desired features of any modeling exercise, such as methods to handle uncertainty (sensitivity analysis) and comparability with other models (external validation) contributing to enhance both the quality and credibility of the models and credibility of the results. These two criteria are often evaluated in the cost-effectiveness literature [20,21]. Along with these items, the other pieces in the checklist were developed to set minimum elements that an HIV model should have for clarity and robustness. Each article was reviewed and classified by two authors and their conclusions contrasted. When the conclusions were different, the article was reviewed by another author, and results were discussed until a consensus was reached.

Table 2

Table 2

Back to Top | Article Outline


Table 3 presents the distribution of articles by modeling method. Results show that discrete state transition models were the most common method used to model HIV progression. We found that 59 out of the 93 articles used state transition models. The second most common method used to model HIV progression was differential equations (26/93 articles). The remaining models were classified as ‘other’. Within this category we found three probabilistic models, four quasiempirical, and one static deterministic.

Table 3

Table 3

Table 4 [22–110] presents the classification by research question. The most frequent themes addressed in these articles include the impact of prevention interventions (19/93), models that compare the effectiveness of antiretroviral drugs (13/93), and those modeling the simulation of the epidemic in specific contexts, as particular countries or periods of time (12/93). A second group of articles evaluate the impact of antiretroviral treatment on different outcomes (11/93), such as disease progression, disease transmission, and economic outcomes; different alternatives to optimize antiretroviral (11/93); and the impact of other healthcare policies, such as interventions to improve treatment adherence (11/93). A third group of articles study the adequate time of antiretroviral initiation and the effectiveness of initiating and ending prophylaxis. Although the low sample size in each category crossing research question and modeling method (columns in Table 4) did not allow us to test for statistical differences [111], in general, it does not seem to be an association between research topic and method used. (More than 50% of expected values are lower than 5 in the table crossing research question and modeling method. According to Conover [111], such approximation is very poor and would not allow us to derive any statistical test.) However, we found that for three of the research questions (evaluation of antiretroviral drug effectiveness, timing of antiretroviral initiation, effectiveness or initiation or termination of prophylaxis) in all cases or for the vast majority Markov models are used and most often these are cost-effectiveness models. Other mathematical structures are also used for cost-effectiveness models but these are less frequent.

Table 4

Table 4

Figure 1 [65,68,72,88] presents the results of the features that we considered to be the ones that should be presented in HIV models of disease progression. We found that only 20% of the articles justify the type of modeling used; 67% clearly describe and explain the model; 62% use a diagram or other tool to describe the model; and 34% provide an appendix to explain the details of the model that were not included in the text. Most of the articles (78%) presented the characteristics of patients and disease state at baseline, and 77% listed the parameters required to feed the model with the source of information or assumptions stated.

Fig. 1

Fig. 1

Methods to conduct an external validation of the results of the models are presented in 13% of the articles reviewed. In these articles, validation methods include a comparison of the outcomes with results from cohorts or clinical trials or epidemiological data, such as mortality. Some articles validated their results by looking at specific outcomes, such as the percentage of patients reaching virological failure in a short period. Only two articles estimate the percentage error or variation of the model with respect to other clinical trials and cohort studies [22,23].

We found that 85% of the articles complemented their results with some type of sensitivity analysis. Among those that developed a sensitivity analysis, 89% presented univariate, bivariate, and multivariate analysis. More complex methods were found in only 12% of the articles, which described the method of sensitivity analysis used: three articles used Latin hypercube [24,25,50], six applied a probabilistic sensitivity analysis [26–32], and one presented a threshold analysis [33]. Among those with sensitivity analysis, 78% show a table or a graph to support the results, and 57% describe the method used, although some of them present parameters and ranges of variation. Some models, specifically models using differential equations, conducted a stability analysis, which is equivalent to a sensitivity analysis [34–37]. None of the studies complied with the complete set of items in the checklist, but 6.5% cover at least 90% of them and 18% satisfy 80% of them.

Back to Top | Article Outline


Mathematical modeling addresses a broad range of research questions that are challenging or at times impossible to address using empirical data. We reviewed 93 articles on HIV/AIDS disease progression whose findings and conclusions are based on mathematical modeling. The methods used to develop and parameterize these models are very heterogeneous. Among the selected articles, the majority use state transitions models followed by differential equation models. Models of HIV progression address a wide range of questions; however, it does not seem to be an association type of question explored and the modeling method used.

Moreover, our review shows that only 20% of the articles justify the type of model used; hence, how authors select a specific mathematical structure is unclear. Some models are not externally validated, and the robustness of the results is pondered only through sensitivity analyses. Articles did not always include a detailed description of the model, which made it difficult to evaluate the validity of the most important assumptions on which a model was based.

Understanding the structure of HIV/AIDS progression and the research questions addressed facilitate the comparison among studies and the assessments of their limitations. Modeling exercises can be extremely useful, but it is important to establish minimum criteria to determine the validity of the conclusions resulting from such exercises. Complete information about the parameters, including sources of information or model assumptions for each parameter, is necessary to assess the validity of the predictions. In addition, the lack of validation methods could result in poor estimations and, therefore, guide decisions based on incorrect information. In this review, we found that very few models are validated. A similar finding was reported in a review of Cambiano [16], which describes than only one article out of 39 reviewed assessed the validity and internal consistency of the model.

Our review has some limitations. Although it was not within the scope of this article, a revision and assessment of the validity of the assumptions and parameters used to model disease progression would be useful. Given the large amount of HIV progression models in the literature, futures studies should compare the main assumptions behind modeling exercises that address the same research question. A discussion of this type, but only focused on prevention intervention models, is available in the review presented by Stover [14]. Similarly, future studies should analyze whether the models used in the articles are the most suitable to answer the research question addressed. Ideally, as new models are added to the vast HIV literature, a consensus on how to model key aspects of HIV progression should be reached among experts around the world. The checklist presented in this article is an example of the type of tools that could be used when reporting modeling exercises. This would be a helpful step toward standardizing the literature on HIV modeling and, improving their accessibility, comparability, and applicability for readers. The checklist could be seen as minimum requirements an HIV progression model should report description and justification of the mathematical structure used, patients characteristics at baseline, references or assumptions for all parameters included in the model, description and presentation for external validations, and sensitivity analyses. These minimum requirements can enhance understanding and comparability between models and more importantly this would force researchers to make explicit the most important assumptions and decisions made during the modeling process. Some of the criteria that are not HIV-specific could eventually be used in other non-HIV models.

The systematic review presented in this article is a more comprehensive assessment of HIV/AIDS progression models compared to other reviews published, and to our knowledge, it is the first to summarize the most common mathematical structures and research questions addressed and the first to provide a list of features that models should include. We hope that this attempt can inform deeper discussions in the future.

Back to Top | Article Outline


Contributors: Y.C.V., M.A.C., and S.B.A. were responsible for the design of the study, as well as the writing of the article. Y.C.V. did the search and data collection. Y.C.V., M.A.C., G.S. did the data analysis. All the authors contributed to the interpretation of the findings and approved the final manuscript.

Role of the funding source;

The funder CONACYT had no role in study design, data collection, analysis, interpretation or writing of the manuscript.

This work was supported by CONACYT, Consejo Nacional de Ciencia y Tecnología [Project key: SALUD-2005-C02-14520].

Back to Top | Article Outline

Conflicts of interest

Y.C.V., M.A.C, G.S., and S.B.A. have no conflict of interest.

Back to Top | Article Outline


1. Nagelkerke NJ, Plummer FA, Holton D, Anzala AO, Manji F, Ngugi EN, Moses S. Transition dynamics of HIV disease in a cohort of African prostitutes: a Markov model approach. AIDS 1990; 4:743–747.
2. Freedberg KA, Tosteson AN, Cohen CJ, Cotton DJ. Primary prophylaxis for Pneumocystis carinii pneumonia in HIV-infected people with CD4 counts below 200/mm3: a cost-effectiveness analysis. J Acquir Immune Defic Syndr 1991; 4:521–531.
3. Blower S, Volberding P. What can modeling tell us about the threat of antiviral drug resistance?. Curr Opin Infect Dis 2002; 15:609–614.
4. Blower S, Bodine E, Kahn J, McFarland W. The antiretroviral rollout and drug-resistant HIV in Africa: insights from empirical data and theoretical models. AIDS 2005; 19:1–14.
5. Blower S, Schwartz EJ, Mills J. Forecasting the future of HIV epidemics: the impact of antiretroviral therapies and imperfect vaccines. AIDS Rev 2003; 5:113–125.
6. Hellinger FJ. Economic models of antiretroviral therapy: searching for the optimal strategy. Pharmacoeconomics 2006; 24:631–642.
7. Foulkes MA. Advances in HIV/AIDS statistical methodology over the past decade. Stat Med 1998; 17:1–25.
8. Wu H, Ruan P, Ding AA, Sullivan JL, Luzuriaga K. Inappropriate model-fitting methods may lead to significant underestimates of viral decay rates in HIV dynamic studies. J Acquir Immune Defic Syndr 1999; 21:426–428.
9. Wilson DP, Garnett GP. Introduction to recent developments in HIV epidemic modeling. Curr Opin HIV AIDS 2011; 6:91–93.
10. Hallett TB. Estimating the HIV incidence rate: recent and future developments. Curr Opin HIV AIDS 2011; 6:102–107.
11. Cassels S, Goodreau SM. Interaction of mathematical modeling and social and behavioral HIV/AIDS research. Curr Opin HIV AIDS 2011; 6:119–123.
12. Wilson DP, Zhang L. Characteristics of HIV epidemics driven by men who have sex with men and people who inject drugs. Curr Opin HIV AIDS 2011; 6:94–101.
13. Baggaley RF, Powers KA, Boily MC. What do mathematical models tell us about the emergence and spread of drug-resistant HIV?. Curr Opin HIV AIDS 2011; 6:131–140.
14. Stover J. HIV models to inform health policy. Curr Opin HIV AIDS 2011; 6:108–113.
15. Abbas UL. Uptake of biomedical interventions for prevention of sexually transmitted HIV. Curr Opin HIV AIDS 2011; 6:114–118.
16. Cambiano V, Phillips AN. Modelling the impact of treatment with individual antiretrovirals. Curr Opin HIV AIDS 2011; 6:124–130.
17. Sonnenberg FA, Beck JR. Markov models in medical decision making: a practical guide. Med Decis Making 1993; 13:322–338.
18. Aalen OO, Farewell VT, De Angelis D, Day NE, Gill ON. A Markov model for HIV disease progression including the effect of HIV diagnosis and treatment: application to AIDS prediction in England and Wales. Stat Med 1997; 16:2191–2210.
19. Hethcote HW. A thousand and one epidemic models. In: Levin SA, editor. Lecture notes in biomath. Berlin: Springer-Verlag; 1994:504–515.
20. Sculpher M, Fenwick E, Claxton K. Assessing quality in decision analytic cost-effectiveness models. A suggested framework and example of application. Pharmacoeconomics 2000; 17:461–477.
21. Philips Z, Bojke L, Sculpher M, Claxton K, Golder S. Good practice guidelines for decision-analytic modelling in health technology assessment: a review and consolidation of quality assessment. Pharmacoeconomics 2006; 24:355–371.
22. Goldie SJ, Yazdanpanah Y, Losina E, Weinstein MC, Anglaret X, Walensky RP, et al. Cost-effectiveness of HIV treatment in resource-poor settings—the case of Cote d’Ivoire. N Engl J Med 2006; 355:1141–1153.
23. Vickerman P, Watts C, Peeling RW, Mabey D, Alary M. Modelling the cost effectiveness of rapid point of care diagnostic tests for the control of HIV and other sexually transmitted infections among female sex workers. Sex Transm Infect 2006; 82:403–412.
24. Blower SM, Gershengorn HB, Grant RM. A tale of two futures: HIV and antiretroviral therapy in San Francisco. Science 2000; 287:650–654.
25. Abbas U, Anderson R, Mellors J. Potential impact of antiretroviral therapy on HIV-1 transmission and AIDS mortality in resource-limited settings. J Acquir Immune Defic Syndr 2006; 41:632–641.
26. Simpson KN, Strassburger A, Jones WJ, Dietz B, Rajagopalan R. Comparison of Markov model and discrete-event simulation techniques for HIV. Pharmacoeconomics 2009; 27:159–165.
27. Simpson KN, Rajagopalan R, Dietz B. Cost-effectiveness analysis of lopinavir/ritonavir and atazanavir+ritonavir regimens in the CASTLE study. Adv Ther 2009; 26:185–193.
28. Maleewong U, Kulsomboon V, Teerawattananon Y. The cost-effectiveness analysis of initiating HIV/AIDS treatment with efavirenz-based regimens compared with nevirapine-based regimens in Thailand. J Med Assoc Thai 2008; 91 (Suppl 2):S126–S138.
29. Bachmann MO. Effectiveness and cost effectiveness of early and late prevention of HIV/AIDS progression with antiretrovirals or antibiotics in Southern African adults. AIDS Care 2006; 18:109–120.
30. Clements MS, Prestage G, Grulich A, Van de Ven P, Kippax S, Law MG. Modeling trends in HIV incidence among homosexual men in Australia 1995–2006. J Acquir Immune Defic Syndr 2004; 35:401–406.
31. Salomon JA, Hogan DR. Evaluating the impact of antiretroviral therapy on HIV transmission. AIDS 2008; 22 (Suppl 1):S149–S159.
32. Sanders GD, Bayoumi AM, Holodniy M, Owens DK. Cost-effectiveness of HIV screening in patients older than 55 years of age. Ann Intern Med 2008; 148:889–903.
33. Kuehne F, Bethe U, Freedberg K, Goldie S. Treatment for hepatitis C virus in human immunodeficiency virus–infected patients clinical benefits and cost-effectiveness. Arch Intern Med 2002; 162:2545–2556.
34. Gumel AB, McCluskey CC, van den Driessche P. Mathematical study of a staged-progression HIV model with imperfect vaccine. Bull Math Biol 2006; 68:2105–2128.
35. Hyman JM, Li J, Stanley EA. Modeling the impact of random screening and contact tracing in reducing the spread of HIV. Math Biosci 2003; 181:17–54.
36. Hyun Yang CF. A population model applied to HIV transmission considering protection and treatment. IMA J Math Appl Med Biol 1999; 16:237–259.
37. Gran JM, Wasmuth L, Amundsen EJ, Lindqvist BH, Aalen O. Growth rates in epidemic models: application to a model for HIV/AIDS progression. Statist Med 2008; 27:4817–4834.
38. McCarthy BD, Wong JB, Munoz A, Sonnenberg FA. Who should be screened for HIV infection? A cost-effectiveness analysis. Arch Intern Med 1993; 153:1107–1116.
39. Sell RL, Jovell AJ, Siegel JE. HIV screening of surgeons and dentists: a cost-effectiveness analysis. Infect Control Hosp Epidemiol 1994; 15:635–645.
40. Villari P, Fattore G, Siegel JE, Paltiel AD, Weinstein MC. Economic evaluation of HIV testing among intravenous drug users. An analytic framework and its application to Italy. Int J Technol Assess Healthcare 1996; 12:336–357.
41. Gibb DM, Ades AE, Gupta R, Sculpher MJ. Costs and benefits to the mother of antenatal HIV testing: estimates from simulation modelling. AIDS 1999; 13:1569–1576.
42. Paltiel AD, Weinstein MC, Kimmel AD, Seage GR 3rd, Losina E, Zhang H, et al. Expanded screening for HIV in the United States—an analysis of cost-effectiveness. N Engl J Med 2005; 352:586–595.
43. Sanders GD, Bayoumi AM, Sundaram V, Bilir SP, Neukermans CP, Rydzak CE, et al. Cost-effectiveness of screening for HIV in the era of highly active antiretroviral therapy. N Engl J Med 2005; 352:570–585.
44. Walensky RP, Weinstein MC, Smith HE, Freedberg KA, Paltiel AD. Optimal allocation of testing dollars: the example of HIV counseling, testing, and referral. Med Decis Making 2005; 25:321–329.
45. Paltiel AD, Walensky RP, Schackman BR, Seage GR 3rd, Mercincavage LM, Weinstein MC, Freedberg KA. Expanded HIV screening in the United States: effect on clinical outcomes, HIV transmission, and costs. Ann Intern Med 2006; 145:797–806.
46. Brandeau ML, Owens DK, Sox CH, Wachter RM. Screening women of childbearing age for human immunodeficiency virus. A cost-benefit analysis. Arch Intern Med 1992; 152:2229–2237.
47. Rowley JT, Anderson RM. Modeling the impact and cost-effectiveness of HIV prevention efforts. AIDS 1994; 8:539–548.
48. Zaric GS, Barnett PG, Brandeau ML. HIV transmission and the cost-effectiveness of methadone maintenance. Am J Public Health 2000; 90:1100–1111.
49. Bachar M, Dorfmayr A. HIV treatment models with time delay. C R Biol 2004; 327:983–994.
50. Desai K, Sansom SL, Ackers ML, Stewart SR, Hall HI, Hu DJ, et al. Modeling the impact of HIV chemoprophylaxis strategies among men who have sex with men in the United States: HIV infections prevented and cost-effectiveness. AIDS 2008; 22:1829–1839.
51. Granich RM, Gilks CF, Dye C, De Cock KM, Williams BG. Universal voluntary HIV testing with immediate antiretroviral therapy as a strategy for elimination of HIV transmission: a mathematical model. Lancet 2009; 373:48–57.
52. Over M, Piot P. Human immunodeficiency virus infection and other sexually transmitted diseases in developing countries: public health importance and priorities for resource allocation. J Infect Dis 1996; 174:S162–S175.
53. Chancellor JV, Hill AM, Sabin CA, Simpson KN, Youle M. Modelling the cost effectiveness of lamivudine/zidovudine combination therapy in HIV infection. Pharmacoeconomics 1997; 12:54–66.
54. Mauskopf J, Lacey L, Kempel A, Simpson K. The cost-effectiveness of treatment with lamivudine and zidovudine compared with zidovudine alone: a comparison of Markov model and trial data estimates. Am J Manag Care 1998; 4:1004–1012.
55. Cook J, Dasbach E, Coplan P, Markson L, Yin D, Meibohm A, et al. Modeling the long-term outcomes and costs of HIV antiretroviral therapy using HIV RNA levels: application to a clinical trial. AIDS Res Hum Retroviruses 1999; 15:499–508.
56. Biddle AK, Simpson KN. Modeling the use of triple combination therapy in five countries: nevirapine, zidovudine, and didanosine. Value Health 2000; 3:186–201.
57. Trueman P, Youle M, Sabin CA, Miners AH, Beck EJ. The cost-effectiveness of triple nucleoside analogue therapy antiretroviral regimens in the treatment of HIV in the United Kingdom. HIV Clin Trials 2000; 1:27–35.
58. Caro JJ, O’Brien JA, Migliaccio-Walle K, Raggio G. Economic analysis of initial HIV treatment. Efavirenz- versus indinavir-containing triple therapy. Pharmacoeconomics 2001; 19:95–104.
59. Miners AH, Sabin CA, Trueman P, Youle M, Mocroft A, Johnson M, Beck EJ. Assessing the cost-effectiveness of HAART for adults with HIV in England. HIV Med 2001; 2:52–58.
60. Hornberger J, Kilby JM, Wintfeld N, Green J. Cost-effectiveness of enfuvirtide in HIV therapy for treatment-experienced patients in the United States. AIDS Res Hum Retroviruses 2006; 22:240–247.
61. Hornberger J, Torriani FJ, Dieterich DT, Brau N, Sulkowski MS, Torres MR, et al. Cost-effectiveness of peginterferon alfa-2a (40 kDa) plus ribavirin in patients with HIV and hepatitis C virus co-infection. J Clin Virol 2006; 36:283–291.
62. Simpson KN, Jones WJ, Rajagopalan R, Dietz B. Cost effectiveness of lopinavir/ritonavir compared with atazanavir plus ritonavir in antiretroviral-experienced patients in the US. Clin Drug Investig 2007; 27:443–452.
63. Robinson NJ, Mulder DW, Auvert B, Hayes RJ. Proportion of HIV infections attributable to other sexually transmitted diseases in a rural Ugandan population: simulation model estimates. Int J Epidemiol 1997; 26:180–189.
64. Phillips AN, Sabin C, Pillay D, Lundgren JD. HIV in the UK 1980-2006: reconstruction using a model of HIV infection and the effect of antiretroviral therapy. HIV Med 2007; 8:536–546.
65. Lin X, Hethcote HW, van den Driessche P. An epidemiological model for HIV/AIDS with proportional recruitment. Math Biosci 1993; 118:181–195.
66. Hyman JM, Li J, Stanley EA. The differential infectivity and staged progression models for the transmission of HIV. Math Biosci 1999; 155:77–109.
67. Hadjiandreou M, Conejeros R, Vassiliadis VS. Towards a long-term model construction for the dynamic simulation of HIV infection. Math Biosci Eng 2007; 4:489–504.
68. Liu H, Yu J, Zhu G. Global behaviour of an age-infection-structured HIV model with impulsive. J Theor Biol 2008; 253:749–754.
69. Leclerc PM, Matthews AP, Garenne ML. Fitting the HIV epidemic in Zambia: a two-sex micro-simulation model. PLoS One 2009; 4:e5439.
70. Ioannidis JP, Cappelleri JC, Schmid CH, Lau J. Impact of epidemic and individual heterogeneity on the population distribution of disease progression rates. An example from patient populations in trials of human immunodeficiency virus infection. Am J Epidemiol 1996; 144:1074–1085.
71. Brown T, Peerapatanapokin W. The Asian Epidemic Model: a process model for exploring HIV policy and programme alternatives in Asia. Sex Transm Infect 2004; 80 (Suppl 1):i19–i24.
72. McCluskey C. A model of HIV/AIDS with staged progression and amelioration. Math Biosci 2003; 181:1–16.
73. Le Pen C, Rozenbaum W, Downs A, Maurel F, Lilliu H, Brun C. Effect of HAART on health status and hospital costs of severe HIV-infected patients: a modeling approach. HIV Clin Trials 2001; 2:136–145.
74. Hornberger J, Green J, Wintfeld N, Cavassini M, Rockstroh J, Giuliani G, et al. Cost-effectiveness of enfuvirtide for treatment-experienced patients with HIV in Italy. HIV Clin Trials 2005; 6:92–102.
75. Walensky RP, Paltiel AD, Losina E, Mercincavage LM, Schackman BR, Sax PE, et al. The survival benefits of AIDS treatment in the United States. J Infect Dis 2006; 194:11–19.
76. Simpson KN, Luo MP, Chumney EC, King MS, Brun S. Cost effectiveness of lopinavir/ritonavir compared with atazanavir in antiretroviral-naive patients: modelling the combined effects of HIV and heart disease. Clin Drug Investig 2007; 27:67–74.
77. Hurwitz SJ, Asif G, Schinazi RF. Development of a population simulation model for HIV monotherapy virological outcomes using lamivudine. Antivir Chem Chemother 2007; 18:329–341.
78. Weinstein M, Goldie S, Losina E, Cohen C, Baxter J, Zhang H, et al. Use of genotypic resistance testing to guide HIV therapy: clinical impact and cost-effectiveness. Ann Intern Med 2001; 134:440–450.
79. Richter A, Hauber B, Simpson K, Mauskopf JA, Yin D. A Monte Carlo simulation for modelling outcomes of AIDS treatment regimens. Pharmacoeconomics 2002; 20:215–224.
80. Kimmel A, Goldie S, Walensky R, Losina E, Weinstein MC, Paltiel AD, et al. Cost-Effectiveness of Preventing AIDS Complications (CEPAC) Investigators. Optimal frequency of CD4 cell count and HIV RNA monitoring prior to initiation of antiretroviral therapy in HIV-infected patients. Antivir Ther 2005; 10:41–52.
81. Walensky RP, Weinstein MC, Yazdanpanah Y, Losina E, Mercincavage LM, Toure S, et al. HIV drug resistance surveillance for prioritizing treatment in resource-limited settings. AIDS 2007; 21:973–982.
82. Yazdanpanah Y, Vray M, Meynard J, Losina E, Weinstein MC, Morand-Joubert L, et al. The long-term benefits of genotypic resistance testing in patients with extensive prior antiretroviral therapy: a model-based approach. HIV Med 2007; 8:439–450.
83. Bendavid E, Young S, Katzenstein D, Bayoumi M, Sanders G, Owens D. Cost-effectiveness of HIV monitoring strategies in resource-limited settings. Arch Intern Med 2008; 168:1910–1918.
84. Hallett TB, Gregson S, Dube S, Garnett GP. The impact of monitoring HIV patients prior to treatment in resource-poor settings: insights from mathematical modelling. PLoS Med 2008; 5:e53.
85. Phillips AN, Pillay D, Miners AH, Bennett DE, Gilks CF, Lundgren JD. Outcomes from monitoring of patients on antiretroviral therapy in resource-limited settings with viral load, CD4 cell count, or clinical observation alone: a computer simulation model. Lancet 2008; 371:1443–1451.
86. Schackman B, Scott C, Walensky R, Losina E, Freedberg KA, Sax P. The cost-effectiveness of HLA-BM5701 genetic screening to guide initial antiretroviral therapy for HIV. AIDS 2008; 22:2025–2037.
87. Baggaley RF, Garnett GP, Ferguson NM. Modelling the impact of antiretroviral use in resource-poor settings. PLoS Med 2006; 3:e124.
88. Elashoff M, Lagakos S. HIV treatment strategies utilizing virologic and immunologic markers as criteria for changing treatments. Stat Med 1996; 15:2425–2443; discussion 2455–2428.
89. Johri M, Paltiel, D, Goldie, S, Freedberg, KA. State AIDS Drug Assistance Programs: equity and efficiency in an era of rapidly changing treatment standards. Med Care 2002; 40:429–441.
90. Goldie SJ, Paltiel AD, Weinstein MC, Losina E, Seage GR 3rd, Kimmel AD, et al. Projecting the cost-effectiveness of adherence interventions in persons with human immunodeficiency virus infection. Am J Med 2003; 115:632–641.
91. Freedberg KA, Hirschhorn LR, Schackman BR, Wolf LL, Martin LA, Weinstein MC, et al. Cost-effectiveness of an intervention to improve adherence to antiretroviral therapy in HIV-infected patients. J Acquir Immune Defic Syndr 2006; 43 (Suppl 1):S113–S118.
92. Munakata J, Benner JS, Becker S, Dezii CM, Hazard EH, Tierce JC. Clinical and economic outcomes of nonadherence to highly active antiretroviral therapy in patients with human immunodeficiency virus. Med Care 2006; 44:893–899.
93. Walensky R, Wood R, Weinstein M, Martinson N, Losina E, Fofana M, et al. Scaling up antiretroviral therapy in South Africa: the impact of speed on survival. J Infect Dis 2008; 197:1324–1332.
94. Richter A, Loomis B. Health and economic impacts of an HIV intervention in out of treatment substance abusers: evidence from a dynamic model. Healthcare Manag Sci 2005; 8:67–79.
95. Rida W SS. Modeling the population level effects of an hiv-1 vaccine in an era of highly active antiretroviral therapy. Bull Math Biol 2009; 71:648–680.
96. Over M, Marseille E, Sudhakar K, Gold J, Gupta I, Indrayan A, et al. Antiretroviral therapy and HIV prevention in India: modeling costs and consequences of policy options. Sex Transm Dis 2006; 33:S145–152.
97. Over M, Revenga A, Masaki E, Peerapatanapokin W, Gold J, Tangcharoensathien V, Thanprasertsuk S. The economics of effective AIDS treatment in Thailand. AIDS 2007; 21 (Suppl 24):S105–S116.
98. Freedberg KA, Losina E, Weinstein MC, Paltiel AD, Cohen CJ, Seage GR, et al. The cost effectiveness of combination antiretroviral therapy for HIV disease. N Engl J Med 2001; 344:824–831.
99. Schackman B, Goldie S, Weinstein M, Losina E, Zhang H, Freedberg K. Cost-effectiveness of earlier initiation of antiretroviral therapy for uninsured HIV-infected adults. Am J Public Health 2001; 91:1456–1463.
100. Tebas P, Henry K, Nease R, Murphy R, Phair J, Powderly WG. Timing of antiretroviral therapy. Use of Markov modeling and decision analysis to evaluate the long-term implications of therapy. AIDS 2001; 15:591–599.
101. Mauskopf J, Kitahata M, Kauf T, Richter A, Tolson J. HIV antiretroviral treatment: early versus later. J Acquir Immune Defic Syndr 2005; 39:562–569.
102. Freedberg KA, Kumarasamy N, Losina E, Cecelia AJ, Scott CA, Divi N, et al. Clinical impact and cost-effectiveness of antiretroviral therapy in India: starting criteria and second-line therapy. AIDS 2007; 21 (Suppl 4):S117–S128.
103. Vijayaraghavan A, Efrusy M, Mazonson P, Ebrahim O, Sanne I, Santas C. Cost-effectiveness of alternative strategies for initiating and monitoring highly active antiretroviral therapy in the developing world. J Acquir Immune Defic Syndr 2007; 46:91–100.
104. Marseille E, Saba J, Muyingo S, Kahn JG. The costs and benefits of private sector provision of treatment to HIV-infected employees in Kampala, Uganda. AIDS 2006; 20:907–914.
105. Freedberg KA, Hardy WD, Holzman RS, Tosteson AN, Craven DE. Validating literature-based models with direct clinical trial results: the cost-effectiveness of secondary prophylaxis for PCP in AIDS patients. Med Decis Making 1996; 16:29–35.
106. Scharfstein JAPA, Freedberg KA. The cost-effectiveness of fluconazole prophylaxis against primary systemic fungal. Med Decis Making 1997; 17:373–381.
107. Freedberg KA, Scharfstein JA, Seage GR 3rd, Losina E, Weinstein MC, Craven DE, Paltiel AD. The cost-effectiveness of preventing AIDS-related opportunistic infections. JAMA 1998; 279:130–136.
108. Paltiel AD, Scharfstein JA, Seage GR 3rd, Losina E, Goldie SJ, Weinstein MC, et al. A Monte Carlo simulation of advanced HIV disease: application to prevention of CMV infection. Med Decis Making 1998; 18:S93–S105.
109. Goldie SJ, Kaplan JE, Losina E, Weinstein MC, Paltiel AD, Seage GR 3rd, et al. Prophylaxis for human immunodeficiency virus-related Pneumocystis carinii pneumonia: using simulation modeling to inform clinical guidelines. Arch Intern Med 2002; 162:921–928.
110. Hoffmann T, Brunner H. Model for simulation of HIV/AIDS and cost-effectiveness of preventing nontuberculous mycobacterial (MAC)-disease. Eur J Health Econ 2004; 5:129–135.
111. Conover W. Practical nonparametric statistics. 3rd ed. Wiley; 1999.

antiviral agents/therapeutic use; cost–benefit analysis; disease progression; HIV infections; models theoretical

© 2012 Lippincott Williams & Wilkins, Inc.