COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. - An N. Nguyen; Tho T. Quan; Phung H. Nguyen; Thang H. Bui (ATVA, 2010)

MAFSE: A Model-Based Framework for Software Verification. - Tho T. Quan; Duc L. N. Hoang; B. Tam T. Nguyen; An N. Nguyen; Quan D. Tran; Phung H. Nguyen; Thang H. Bui; Anh T. Do; Linh V. Huynh; Nam T. Doan; Nguyen T. Huynh; Thien D. Nguyen; et al. (SSIRI (Companion), 2010)

Semantic text alignment based on topic modeling. - Huong T. Le; Lam N. Pham; Duy D. Nguyen; Son V. Nguyen; An N. Nguyen (RIVF, 2016)