| Rigorous component-based system design using the BIP framework A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis IEEE software 28 (3), 41-48, 2011 | 308 | 2011 |
| The impact of dengue haemorrhagic fever on liver function TL Nguyen, TH Nguyen, NT Tieu Research in virology 148 (4), 273-277, 1997 | 258 | 1997 |
| Porcine respiratory and reproductive syndrome virus variants, Vietnam and China, 2007 Y Feng, T Zhao, T Nguyen, K Inui, Y Ma, TH Nguyen, VC Nguyen, D Liu, ... Emerging infectious diseases 14 (11), 1774, 2008 | 140 | 2008 |
| D-finder: A tool for compositional deadlock detection and verification S Bensalem, M Bozga, TH Nguyen, J Sifakis International Conference on Computer Aided Verification, 614-619, 2009 | 134 | 2009 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, J Sifakis, TH Nguyen International Symposium on Automated Technology for Verification and …, 2008 | 121 | 2008 |
| Incremental Component-Based Construction and Verification of a Robotic System. A Basu, M Gallien, C Lesire, TH Nguyen, S Bensalem, F Ingrand, J Sifakis ECAI 178, 631-635, 2008 | 68 | 2008 |
| Tumor necrosis factor alpha levels in plasma and whole‐blood culture in dengue‐infected patients: Relationship between virus detection and pre‐existing specific antibodies D Hober, TL Nguyen, L Shen, DQ Ha, VTQ Huong, S Benyoucef, ... Journal of medical virology 54 (3), 210-218, 1998 | 68 | 1998 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010 | 65 | 2010 |
| D-finder 2: Towards efficient correctness of incremental design S Bensalem, A Griesmayer, A Legay, TH Nguyen, J Sifakis, R Yan Nasa Formal Methods Symposium, 453-458, 2011 | 60 | 2011 |
| Runtime verification of component-based systems Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem International Conference on Software Engineering and Formal Methods, 204-220, 2011 | 57 | 2011 |
| Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem Software & Systems Modeling 14 (1), 173-199, 2015 | 52 | 2015 |
| Comparative effects of humid tropical weathering and artificial ageing on a model composite properties from nano-to macro-scale L Belec, TH Nguyen, DL Nguyen, JF Chailan Composites Part A: Applied Science and Manufacturing 68, 235-241, 2015 | 50 | 2015 |
| Therapeutics for dengue: recommendations for design and conduct of early-phase clinical trials CP Simmons, M Wolbers, MN Nguyen, J Whitehorn, PY Shi, P Young, ... PLoS Negl Trop Dis 6 (9), e1752, 2012 | 43 | 2012 |
| Incremental component-based construction and verification using invariants S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan Formal Methods in Computer Aided Design, 257-256, 2010 | 41 | 2010 |
| Toward a more dependable software architecture for autonomous robots S Bensalem, M Gallien, F Ingrand, I Kahloul, TH Nguyen IEEE Robotics and Automation Magazine 16 (1), 67-77, 2009 | 36 | 2009 |
| In vitro exposure to xenoestrogens induces growth hormone transcription and release via estrogen receptor-dependent pathways in rat pituitary GH3 cells VH Dang, TH Nguyen, GS Lee, KC Choi, EB Jeung Steroids 74 (8), 707-714, 2009 | 34 | 2009 |
| A calcium binding protein, calbindin-D9k, is mainly regulated by estrogen in the pituitary gland of rats during estrous cycle TH Nguyen, GS Lee, YK Ji, KC Choi, CK Lee, EB Jeung Molecular brain research 141 (2), 166-173, 2005 | 34 | 2005 |
| Climate and climate resources in Vietnam DN Nguyen, TH Nguyen Agriculture Publisher, Hanoi, 2004 | 33 | 2004 |
| A Calcium-Binding Protein, Calbindin-D9k, Is Regulated through an Estrogen-Receptor–Mediated Mechanism following Xenoestrogen Exposure in the GH3 Cell Line VH Dang, TH Nguyen, KC Choi, EB Jeung Toxicological sciences 98 (2), 408-415, 2007 | 31 | 2007 |
| An evidence-based algorithm for early prognosis of severe dengue in the outpatient setting MT Nguyen, TN Ho, VVC Nguyen, TH Nguyen, MT Ha, VT Ta, ... Clinical Infectious Diseases 64 (5), 656-663, 2017 | 27 | 2017 |
