Nguyen Thanh Hung
Nguyen Thanh Hung
Giảng Viên CNTT, Trường ĐH BK Hà Nội
E-mail confirmado em soict.hust.edu.vn
Título
Citado por
Citado por
Ano
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
3082011
The impact of dengue haemorrhagic fever on liver function
TL Nguyen, TH Nguyen, NT Tieu
Research in virology 148 (4), 273-277, 1997
2581997
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
1402008
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
1342009
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
1212008
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
682008
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
681998
Compositional verification for component-based systems and application
S Bensalem, M Bozga, TH Nguyen, J Sifakis
IET software 4 (3), 181-193, 2010
652010
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
602011
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
572011
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
522015
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
502015
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
432012
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
412010
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
362009
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
342009
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
342005
Climate and climate resources in Vietnam
DN Nguyen, TH Nguyen
Agriculture Publisher, Hanoi, 2004
332004
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
312007
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
272017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20