An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. - Viktor Kuncak; Huu Hai Nguyen; Martin C. Rinard (CADE, 2005)

Verifying safety policies with size properties and alias controls. - Wei-Ngan Chin; Siau-Cheng Khoo; Shengchao Qin; Corneliu Popeea; Huu Hai Nguyen (ICSE, 2005)

Exploring the acceptability envelope. - Martin C. Rinard; Cristian Cadar; Huu Hai Nguyen (OOPSLA Companion, 2005)

Memory Usage Verification for OO Programs. - Wei-Ngan Chin; Huu Hai Nguyen; Shengchao Qin; Martin C. Rinard (SAS, 2005)

Deciding Boolean Algebra with Presburger Arithmetic. - Viktor Kuncak; Huu Hai Nguyen; Martin C. Rinard (J. Autom. Reason., 2006)

Multiple Pre/Post Specifications for Heap-Manipulating Methods. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (HASE, 2007)

Automated Verification of Shape, Size and Bag Properties. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (ICECCS, 2007)

Detecting and eliminating memory leaks using cyclic memory allocation. - Huu Hai Nguyen; Martin C. Rinard (ISMM, 2007)

Automated Verification of Shape and Size Properties Via Separation Logic. - Huu Hai Nguyen; Cristina David; Shengchao Qin; Wei-Ngan Chin (VMCAI, 2007)

Enhancing Program Verification with Lemmas. - Huu Hai Nguyen; Wei-Ngan Chin (CAV, 2008)

Analysing memory resource bounds for low-level programs. - Wei-Ngan Chin; Huu Hai Nguyen; Corneliu Popeea; Shengchao Qin (ISMM, 2008)

Enhancing modular OO verification with separation logic. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (POPL, 2008)

Runtime Checking for Separation Logic. - Huu Hai Nguyen; Viktor Kuncak; Wei-Ngan Chin (VMCAI, 2008)

Automated verification of shape, size and bag properties via user-defined predicates in separation logic. - Wei-Ngan Chin; Cristina David; Huu Hai Nguyen; Shengchao Qin (Sci. Comput. Program., 2012)

An Ensemble Learning Approach for Credit Scoring Problem: A Case Study of Taiwan Default Credit Card Dataset. - Duc Quynh Tran; Doan Dong Nguyen; Huu Hai Nguyen; Quang Thuan Nguyen (MCO, 2021)