Khai T. Huynh

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 6

Top Topics

Web Service Composition

Discrete Particle Swarm Optimization

Semantic Matching

Top Venues

Int. J. Web Grid Serv.

Publications

Khai T. Huynh, Thang H. Bui, Quan Thanh Tho
One size does not fit all: logic-based clustering for on-the-fly web service composition and verification. Int. J. Web Grid Serv. 14 (3) (2018)
Khai T. Huynh, Tho T. Quan, Thang H. Bui
A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification. Vietnam. J. Comput. Sci. 4 (2) (2017)
Khai T. Huynh, Tho Thanh Quan, Thang H. Bui
A quality-controlled logic-based clustering approach for web service composition and verification. Int. J. Web Inf. Syst. 13 (2) (2017)
Khai T. Huynh, Tho Quan, Thang H. Bui
Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering. ICCSA (4) (2016)
Khai T. Huynh, Thang H. Bui, Tho Thanh Quan
An Application of Bitwise-Based Indexing to Web Service Composition and Verification. ACOMP (2016)
Khai T. Huynh, Thang H. Bui, Than-Tho Quan
WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering. MIWAI (2016)
Khai T. Huynh, Van T. T. Pham, Tho T. Quan, Thang H. Bui
Web Service Composition Automation Based on Term Rewriting System. ACOMP (2015)
Khai T. Huynh, Thang H. Bui, Tho T. Quan
A Lightweight Formal Approach for Component Reuse. KSE (2014)