| 2026 | ACIIDS | ViHERMES: A Graph-Grounded Multihop Question Answering Benchmark and System for Vietnamese Healthcare Regulations. | Long S. T. Nguyen, Quan M. Bui, Tin T. Ngo, Quynh T. N. Vo, Dung N. H. Le, Tho T. Quan |
| 2026 | ICAART | MAFIA-NeT: Multi-Agent Framework for Interactive Agricultural Negotiation and Trading Systems. | Dung T. Phan, Chi N. L. Phan, Long S. T. Nguyen, Phuc T. Dao, Quan M. Bui, Tin T. Ngo, Thi T. Nguyen, Tho T. Quan |
| 2026 | PAKDD | A Benchmark for Structured Multihop Reasoning in Cross-Institution University Admission Advisory Question Answering. | Long S. T. Nguyen, Tin T. Ngo, Dung N. H. Le, Quynh T. N. Vo, Dung H. Nguyen, Khang N. Le, Tho T. Quan |
| 2025 | IJCNLP | When in Doubt, Ask First: A Unified Retrieval Agent-Based System for Ambiguous and Unanswerable Question Answering. | Long S. T. Nguyen, Quynh T. N. Vo, Hung C. Luu, Tho T. Quan |
| 2013 | ICCSA | Model Checking Control Flow Petri Nets Using PAT. | Ho T. Dung, Thang H. Bui, Tho T. Quan |
| 2012 | APSEC | A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus. | Binh T. T. Nguyen, Binh T. Ngo, Tho T. Quan |
| 2011 | ICSoft | CTG | Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen |
| 2011 | ICSoft | Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. | Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen, Nhat-Van Le |
| 2010 | ATVA | COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. | An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui |