32Analyzing Temporal Constraints for Web Services Composition. Ruiqiang Yu, Zhiqiu Huang, Lin Wang, Hongjie Zhang. JSW (8): 1051-1057 (2013). Web SearchBibTeXDownload
31A Graph Transformation Based Approach for Modeling Component-Level Migration in Mobile Environments. Yu Zhou, Xuefeng Yan, Zhiqiu Huang. COMPSAC Workshops 2012, 152-157. Web SearchBibTeXDownload
30Evolutionary Approaches for Multi-Objective Next Release Problem. Xinye Cai, Ou Wei, Zhiqiu Huang. Computing and Informatics (31): 847 (2012). Web SearchBibTeXDownload
29Self-adaptive semantic web service matching method. Changbo Ke, Zhiqiu Huang. Knowl.-Based Syst. (35): 41-48 (2012). Web SearchBibTeXDownload
28Feature modeling and Verification based on Description Logics. Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang. SEKE 2012, 422-425. Web SearchBibTeX
27Minimal privacy authorization in web services collaboration. LinYuan Liu, Haibin Zhu, Zhiqiu Huang, Dongqing Xie. Computer Standards & Interfaces (33): 332-343 (2011). Web SearchBibTeXDownload
26Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms. LinYuan Liu, Haibin Zhu, Zhiqiu Huang. Expert Syst. Appl. (38): 4540-4549 (2011). Web SearchBibTeXDownload
25Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu, Min Yuan. Int. J. Web Service Res. (8): 47-80 (2011). Web SearchBibTeXDownload
24OMReasoner: using reasoner for ontology matching: results for OAEI 2011. Guohua Shen, Lantao Jin, Ziyue Zhao, Zhe Jia, Wenmin He, Zhiqiu Huang. OM 2011. Web SearchBibTeXDownload
23Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics. Xiaofei Zhao, Zhiqiu Huang. DASFAA Workshops 2010, 118-129. Web SearchBibTeXDownload
22Towards a Formal Verification Approach for Business Process Coordination. Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan. ICWS 2010, 361-368. Web SearchBibTeXDownload
21Multi-objective Fuzzy Clustering Method for Image Segmentation Based on Variable-Length Intelligent Optimization Algorithm. Yuankang Fang, Ziyang Zhen, Zhiqiu Huang, Chao Zhang. ISICA (1) 2010, 329-337. Web SearchBibTeXDownload
20An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan. QSIC 2010, 373-376. Web SearchBibTeXDownload
19Modeling Service Composition Using Priced Probabilistic Process Algebra. Lizhong Tu, Fangxiong Xiao, Zhiqiu Huang. SOSE 2010, 35-38. Web SearchBibTeXDownload
18An Improved Algorithm for Session Identification on Web Log. Yuankang Fang, Zhiqiu Huang. WISM 2010, 53-60. Web SearchBibTeXDownload
17Reasoning about Web Services with Dynamic Description Logics. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Jun Yang. CSIE (6) 2009, 106-110. Web SearchBibTeXDownload
16Role-based consistency verification for privacy-aware Web services. LinYuan Liu, Zhiqiu Huang, Haibin Zhu. CTS 2009, 423-430. Web SearchBibTeXDownload
15A Semantic Model for Matchmaking of Web Services Based on Description Logics. Guohua Shen, Zhiqiu Huang, Yuping Zhang, Xiaodong Zhu, Jun Yang. Fundam. Inform. (96): 211-226 (2009). Web SearchBibTeXDownload
14Modeling Cost-Aware Web Services Composition Using PTCCS. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu. ICWS 2009, 461-468. Web SearchBibTeXDownload
13Modeling and Analysis of Flexible Transaction for Web Services. Min Yuan, Zhiqiu Huang, Fangxiong Xiao. ICWS 2009, 1008-1009. Web SearchBibTeXDownload
12Ensuring Coordination of Multi-business Interactions. Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, Yi Zhu. IEEE SCC 2009, 356-363. Web SearchBibTeXDownload
11Modeling and Verification of Automatic Multi-business Transactions. Min Yuan, Zhiqiu Huang, Jian Zhao, Xiang Li. SEKE 2009, 274-279. Web SearchBibTeX
10Counterexample Generation for Probabilistic Timed Automata Model Checking. Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao. CSSE (2) 2008, 210-214. Web SearchBibTeXDownload
9Support Web Services Composition with Optimal Cost Using PPA. Fangxiong Xiao, Zhiqiu Huang, Jun Hu, Min Yuan, Junhua Zhang. ICWS 2008, 760-761. Web SearchBibTeXDownload
8Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. Hang Zhou, Zhiqiu Huang, Yi Zhu. ICYCS 2008, 1235-1240. Web SearchBibTeXDownload
7A Formal Method Support for Resource Modeling of Web Services Composition. Yi Zhu, Zhiqiu Huang, Hang Zhou. ISCSCT (1) 2008, 370-375. Web SearchBibTeXDownload
6Conceptual modeling rules extracting for data streams. Xiaodong Zhu, Zhiqiu Huang. Knowl.-Based Syst. (21): 934-940 (2008). Web SearchBibTeXDownload
5Description Logic Based Consistency Checking upon Data Mining Metadata. Xiaodong Zhu, Zhiqiu Huang, Guohua Shen. RSKT 2008, 475-482. Web SearchBibTeXDownload
4Fuzzy Implication Methods in Fuzzy Logic. Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen. FSKD (1) 2007, 154-158. Web SearchBibTeXDownload
3Using Description Logics Reasoner for Ontology Matching. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Lei Wang, Gaoyou Xiang. IITA 2007, 30-33. Web SearchBibTeXDownload
2A Formal Framework for Reasoning on Metadata Based on CWM. Xiaofei Zhao, Zhiqiu Huang. ER 2006, 371-384. Web SearchBibTeXDownload
1Research on the Rules of Mapping from Relational Model to OWL. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Xiaofei Zhao. OWLED 2006. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research