Modeling Web Browser Interactions Using FSM. - Huaikou Miao; Zhong-sheng Qian; Tao He 004 (APSCC, 2007)

An Approach to Modeling Hypermedia Web Applications. - Zhong-sheng Qian; Huaikou Miao; Tao He 004 (GCC, 2007)

Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. - Huaikou Miao; Tao He 004; Zhong-sheng Qian (ICEBE, 2008)

Modeling and Composition of Web Application Components using Extended FSM. - Tao He 004; Huaikou Miao (ICNC (6), 2008)

A Web Service Composition Method Based on Interface Matching. - Tao He 004; Huaikou Miao; Liping Li (ACIS-ICIS, 2009)

Analysis and Composition of Web Components Based on p-Calculus. - Tao He 004; Huaikou Miao; Liping Li (CSO (1), 2009)

Formal Semantics of OWL-S with F-Logic. - Huaikou Miao; Tao He 004; Liping Li (Computer and Information Science, 2009)

Verification Tool of Software Requirement for Network Software. - Tao He 004; Liping Li; Huazhong Li (ICICA (LNCS), 2011)

Research of Semantic Web Model and Reasoning Based on F-Logic. - Guorong Qin; Tao He 004; Liping Li (ICICA (1), 2011)

Research on Verification Tool for Software Requirements. - Tao He 004; Liping Li (J. Softw., 2012)

Extenics-based Test Case Generation for UML Activity Diagram. - Liping Li; Xingsen Li; Tao He 004; Jie Xiong 002 (ITQM, 2013)