An N. Nguyen

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Text Processing

Top Venues

Publications

Huong T. Le, Lam N. Pham, Duy D. Nguyen, Son V. Nguyen, An N. Nguyen
Semantic text alignment based on topic modeling. RIVF (2016)
An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. ATVA (2010)
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, Binh T. T. Nguyen, Vu H. Nguyen
MAFSE: A Model-Based Framework for Software Verification. SSIRI (Companion) (2010)