Nguyen Thanh Hung
Nguyen Thanh Hung
Giảng Viên CNTT, Trường ĐH BK Hà Nội
E-mail confirmado em
Citado por
Citado por
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
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
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
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
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
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
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
Climate and climate resources in Vietnam
DN Nguyen, TH Nguyen
Agriculture Publisher, Hanoi, 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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20