Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. - Anh Tuan Luu; Tho T. Quan; Tru Hoang Cao; Jin Song Dong (URSW, 2007)

Approximating Reasoning for Fuzzy-Based Information Retrieval. - Tho T. Quan; Tru Hoang Cao (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

Latent Ontological Feature Discovery for Text Clustering. - Van T. T. Duong 002; Tru Hoang Cao; Cuong K. Chau; Tho T. Quan (RIVF, 2009)

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)

CTGE: 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 (ICSOFT (2), 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 (ICSOFT (Selected Papers), 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 (MIWAI, 2011)

A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus. - Binh T. T. Nguyen; Binh T. Ngo; Tho T. Quan (APSEC Workshops, 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 (RIVF, 2012)

Model Checking Control Flow Petri Nets Using PAT. - Ho T. Dung; Thang H. Bui; Tho T. Quan (ICCSA (6), 2013)

Enhancing Genetic Algorithm with Cumulative Probabilities to Derive Critical Test Scenarios from Use-Cases. - An T. Tran; Tho T. Quan; Thuan D. Le (FDSE, 2014)

A Lightweight Formal Approach for Component Reuse. - Khai T. Huynh; Thang H. Bui; Tho T. Quan (KSE, 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 001 (Int. J. Qual. Assur. Eng. Technol. Educ., 2014)

Web Service Composition Automation Based on Term Rewriting System. - Khai T. Huynh; Van T. T. Pham; Tho T. Quan; Thang H. Bui (ACOMP, 2015)

Android repository mining for detecting publicly accessible functions missing permission checks. - Hoang H. Nguyen; Lingxiao Jiang; Tho T. Quan (ICPC, 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)

Semantic Document Clustering on Named Entity Features. - Tru Hoang Cao; Vuong M. Ngo; Dung T. Hong; Tho T. Quan (CoRR, 2018)

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)

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)

TI-JEPA: An Innovative Energy-based Joint Embedding Strategy for Text-Image Multimodal Systems. - Khang H. N. Vo; Duc P. T. Nguyen; Thong Nguyen 003; Tho T. Quan (CoRR, 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, 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; et al. (CoRR, 2025)