Tho T. Quan

According to our database, Tho T. Quan authored at least 30 papers between 2007 and 2026.

Collaborative distances:

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

2026

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

Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026

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

Proceedings of the Intelligent Information and Database Systems - 18th Asian Conference, 2026

2025

A Benchmark Dataset and Evaluation Framework for Vietnamese Large Language Models in Customer Support.

Long S. T. Nguyen, Truong P. Hua, Thanh M. Nguyen, Toan Q. Pham, Nam K. Ngo, An X. Nguyen, Nghi D. M. Pham, Nghia H. Nguyen, Tho T. Quan

CoRR, July, 2025

TI-JEPA: An Innovative Energy-based Joint Embedding Strategy for Text-Image Multimodal Systems.

Khang H. N. Vo, Duc P. T. Nguyen, Thong Nguyen, Tho T. Quan

CoRR, March, 2025

Towards Cost-Effective Voice Cloning System for Vietnamese TTS: A Case Study at HCMUT.

Vinh Q. Vo, Bao G. Quach, Quyen T. Bui, Khai Q. Truong, Long S. T. Nguyen, Fabien Baldacci, Tho T. Quan

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2025

ViPPS: Building a Multimodal Dataset for Physics Problem Solving in Vietnamese.

Quynh T. N. Vo, Xinh T. Le, Thao H. M. Tran, Tho T. Quan

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2025

FA-GPNet: When Gaussian Process Meets Auto-Encoder and FBCSP - A Hybrid Model for Motor Imagery Classification.

Trung M. Pham, Hieu M. Pham, Vi K. Nguyen, Truong D. Tran, Long S. T. Nguyen, Duc Q. Nguyen, Huong Ha Thi Thanh, Tho T. Quan

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2025

A Two-Stage Fuzzy-Guided Genetic Algorithm for University Timetabling with LLM-Based Preference Parsing.

Tam M. Nguyen, Tung T. Nguyen, Tho T. Quan

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2025

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025.

Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen, Tuan C. Bui, Duc Q. Nguyen, Thanh-Tung Tran, Anh D. Nguyen, Minh L. Nguyen, Fabien Baldacci, Thang H. Bui, Emanuel Di Nardo, Angelo Ciaramella, Son H. Le, Ihsan Ullah, Lorenzo Di Rocco, Tho T. Quan

Proceedings of the 4th Italian Conference on Big Data and Data Science (ITADATA 2025), 2025

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

Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, 2025

2024

Explainable Neural Subgraph Matching With Learnable Multi-Hop Attention.

Duc Q. Nguyen, Thanh Toan Nguyen, Jun Hyung Jo, Florent Poux, Shikha Anirban, Tho T. Quan

IEEE Access, 2024

2019

Combination of domain knowledge and deep learning for sentiment analysis of short and informal messages on social media.

Khuong Vo, Tri Nguyen, Dang Pham, Mao Nguyen, Minh Truong, Trung Mai, Tho T. Quan

Int. J. Comput. Vis. Robotics, 2019

2018

Semantic Document Clustering on Named Entity Features.

Tru Hoang Cao, Vuong M. Ngo, Dung T. Hong, Tho T. Quan

CoRR, 2018

2017

A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification.

Khai T. Huynh, Tho T. Quan, Thang H. Bui

Vietnam. J. Comput. Sci., 2017

Android repository mining for detecting publicly accessible functions missing permission checks.

Hoang H. Nguyen, Lingxiao Jiang, Tho T. Quan

Proceedings of the 25th International Conference on Program Comprehension, 2017

2015

Web Service Composition Automation Based on Term Rewriting System.

Khai T. Huynh, Van T. T. Pham, Tho T. Quan, Thang H. Bui

Proceedings of the 2015 International Conference on Advanced Computing and Applications, 2015

2014

Assisting Students in Finding Bugs and their Locations in Programming Solutions.

Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan, Hung Q. Ngo

Int. J. Qual. Assur. Eng. Technol. Educ., 2014

A Lightweight Formal Approach for Component Reuse.

Khai T. Huynh, Thang H. Bui, Tho T. Quan

Proceedings of the Knowledge and Systems Engineering, 2014

Enhancing Genetic Algorithm with Cumulative Probabilities to Derive Critical Test Scenarios from Use-Cases.

An T. Tran, Tho T. Quan, Thuan D. Le

Proceedings of the Future Data and Security Engineering - First International Conference, 2014

2013

Model Checking Control Flow Petri Nets Using PAT.

Ho T. Dung, Thang H. Bui, Tho T. Quan

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

2012

An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs.

Vinh D. Thai, Tho T. Quan, Tien V. Le, Binh T. Ngo

Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012

A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus.

Binh T. T. Nguyen, Binh T. Ngo, Tho T. Quan

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011

Automatic Composition and Mediation on Multiple-Language Semantic Web Services.

Tho T. Quan, Cach N. Dang, Ngan D. Le, Chattrakul Sombattheera, Quan Vu Lam

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2011

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

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

CTG^E: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs.

Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen

Proceedings of the ICSOFT 2011, 2011

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

2009

Latent Ontological Feature Discovery for Text Clustering.

Van T. T. Duong, Tru Hoang Cao, Cuong K. Chau, Tho T. Quan

Proceedings of the 2009 IEEE International Conference on Computing and Communication Technologies, 2009

2008

Approximating Reasoning for Fuzzy-Based Information Retrieval.

Tho T. Quan, Tru Hoang Cao

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

2007

Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base.

Anh Tuan Luu, Tho T. Quan, Tru Hoang Cao, Jin Song Dong

Proceedings of the Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web Busan, 2007