Describing and Verifying Web Service Composition Using TLA Reasoning. - Hongbing Wang; Qianzhao Zhou; Yanqi Shi (IEEE SCC, 2010)

Web Service Classification Using Support Vector Machine. - Hongbing Wang; Yanqi Shi; Xuan Zhou 001; Qianzhao Zhou; Shizhi Shao; Athman Bouguettaya (ICTAI (1), 2010)