Khai T. Huynh

According to our database, Khai T. Huynh authored at least 8 papers between 2014 and 2018.

Collaborative distances:

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

2018

One size does not fit all: logic-based clustering for on-the-fly web service composition and verification.

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

Int. J. Web Grid Serv., 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

A quality-controlled logic-based clustering approach for web service composition and verification.

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

Int. J. Web Inf. Syst., 2017

2016

WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering.

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

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

Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering.

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

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

An Application of Bitwise-Based Indexing to Web Service Composition and Verification.

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

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

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

A Lightweight Formal Approach for Component Reuse.

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

Proceedings of the Knowledge and Systems Engineering, 2014