Nguyen Thanh Hung
Nguyen Thanh Hung
Giảng Viên CNTT, Trường ĐH BK Hà Nội
Adresse e-mail validée de
Citée par
Citée par
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
The impact of dengue haemorrhagic fever on liver function
TL Nguyen, TH Nguyen, NT Tieu
Research in virology 148 (4), 273-277, 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
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
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
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
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
Compositional verification for component-based systems and application
S Bensalem, M Bozga, TH Nguyen, J Sifakis
IET software 4 (3), 181-193, 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
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
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
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
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
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
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
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
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
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
GJ Lee, X Wu, JG Shannon, DA Sleper, HT Nguyen
Oilseeds, 1-53, 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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20