An N. Nguyen

According to our database, An N. Nguyen authored at least 3 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Semantic text alignment based on topic modeling.

Huong T. Le, Lam N. Pham, Duy D. Nguyen, Son V. Nguyen, An N. Nguyen

Proceedings of the 2016 IEEE RIVF International Conference on Computing & Communication Technologies, 2016

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, Binh T. T. Nguyen, Vu H. Nguyen

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

COMBINE: A Tool on Combined Formal Methods for Bindingly Verification.

An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui

Proceedings of the Automated Technology for Verification and Analysis, 2010