A Lightweight Formal Approach for Component Reuse. - Khai T. Huynh; Thang H. Bui; Tho T. Quan (KSE, 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)

An Application of Bitwise-Based Indexing to Web Service Composition and Verification. - Khai T. Huynh; Thang H. Bui; Tho Thanh Quan (ACOMP, 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 001; Thang H. Bui (ICCSA (4), 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 (MIWAI, 2016)

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)

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)

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)