Nguyen Thanh Hung
Nguyen Thanh Hung
Giảng Viên CNTT, Trường ĐH BK Hà Nội
Adresse e-mail validée de soict.hust.edu.vn
Titre
Citée par
Citée par
Année
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
3002011
The impact of dengue haemorrhagic fever on liver function
TL Nguyen, TH Nguyen, NT Tieu
Research in virology 148 (4), 273-277, 1997
2541997
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
1412008
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
1182008
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
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
672008
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
582011
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
512015
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
472015
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
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
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
352010
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
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
Soybean
GJ Lee, X Wu, JG Shannon, DA Sleper, HT Nguyen
Oilseeds, 1-53, 2007
262007
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
252017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20