Tho T. Quan

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

Collaborative distances:

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

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