| 2013 |
|---|
| 32 | Analyzing Temporal Constraints for Web Services Composition. Ruiqiang Yu, Zhiqiu Huang, Lin Wang, Hongjie Zhang. JSW (8): 1051-1057 (2013). Web SearchBibTeXDownload |
| 2012 |
|---|
| 31 | A 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 |
| 30 | Evolutionary Approaches for Multi-Objective Next Release Problem. Xinye Cai, Ou Wei, Zhiqiu Huang. Computing and Informatics (31): 847 (2012). Web SearchBibTeXDownload |
| 29 | Self-adaptive semantic web service matching method. Changbo Ke, Zhiqiu Huang. Knowl.-Based Syst. (35): 41-48 (2012). Web SearchBibTeXDownload |
| 28 | Feature modeling and Verification based on Description Logics. Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang. SEKE 2012, 422-425. Web SearchBibTeX |
| 2011 |
|---|
| 27 | Minimal privacy authorization in web services collaboration. LinYuan Liu, Haibin Zhu, Zhiqiu Huang, Dongqing Xie. Computer Standards & Interfaces (33): 332-343 (2011). Web SearchBibTeXDownload |
| 26 | Analysis 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 |
| 25 | Unified 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 |
| 24 | OMReasoner: 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 |
| 2010 |
|---|
| 23 | Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics. Xiaofei Zhao, Zhiqiu Huang. DASFAA Workshops 2010, 118-129. Web SearchBibTeXDownload |
| 22 | Towards a Formal Verification Approach for Business Process Coordination. Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan. ICWS 2010, 361-368. Web SearchBibTeXDownload |
| 21 | Multi-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 |
| 20 | An 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 |
| 19 | Modeling Service Composition Using Priced Probabilistic Process Algebra. Lizhong Tu, Fangxiong Xiao, Zhiqiu Huang. SOSE 2010, 35-38. Web SearchBibTeXDownload |
| 18 | An Improved Algorithm for Session Identification on Web Log. Yuankang Fang, Zhiqiu Huang. WISM 2010, 53-60. Web SearchBibTeXDownload |
| 2009 |
|---|
| 17 | Reasoning about Web Services with Dynamic Description Logics. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Jun Yang. CSIE (6) 2009, 106-110. Web SearchBibTeXDownload |
| 16 | Role-based consistency verification for privacy-aware Web services. LinYuan Liu, Zhiqiu Huang, Haibin Zhu. CTS 2009, 423-430. Web SearchBibTeXDownload |
| 15 | A 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 |
| 14 | Modeling Cost-Aware Web Services Composition Using PTCCS. Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu. ICWS 2009, 461-468. Web SearchBibTeXDownload |
| 13 | Modeling and Analysis of Flexible Transaction for Web Services. Min Yuan, Zhiqiu Huang, Fangxiong Xiao. ICWS 2009, 1008-1009. Web SearchBibTeXDownload |
| 12 | Ensuring Coordination of Multi-business Interactions. Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, Yi Zhu. IEEE SCC 2009, 356-363. Web SearchBibTeXDownload |
| 11 | Modeling and Verification of Automatic Multi-business Transactions. Min Yuan, Zhiqiu Huang, Jian Zhao, Xiang Li. SEKE 2009, 274-279. Web SearchBibTeX |
| 2008 |
|---|
| 10 | Counterexample Generation for Probabilistic Timed Automata Model Checking. Junhua Zhang, Zhiqiu Huang, Zining Cao, Fangxiong Xiao. CSSE (2) 2008, 210-214. Web SearchBibTeXDownload |
| 9 | Support Web Services Composition with Optimal Cost Using PPA. Fangxiong Xiao, Zhiqiu Huang, Jun Hu, Min Yuan, Junhua Zhang. ICWS 2008, 760-761. Web SearchBibTeXDownload |
| 8 | Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. Hang Zhou, Zhiqiu Huang, Yi Zhu. ICYCS 2008, 1235-1240. Web SearchBibTeXDownload |
| 7 | A Formal Method Support for Resource Modeling of Web Services Composition. Yi Zhu, Zhiqiu Huang, Hang Zhou. ISCSCT (1) 2008, 370-375. Web SearchBibTeXDownload |
| 6 | Conceptual modeling rules extracting for data streams. Xiaodong Zhu, Zhiqiu Huang. Knowl.-Based Syst. (21): 934-940 (2008). Web SearchBibTeXDownload |
| 5 | Description Logic Based Consistency Checking upon Data Mining Metadata. Xiaodong Zhu, Zhiqiu Huang, Guohua Shen. RSKT 2008, 475-482. Web SearchBibTeXDownload |
| 2007 |
|---|
| 4 | Fuzzy Implication Methods in Fuzzy Logic. Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen. FSKD (1) 2007, 154-158. Web SearchBibTeXDownload |
| 3 | Using Description Logics Reasoner for Ontology Matching. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Lei Wang, Gaoyou Xiang. IITA 2007, 30-33. Web SearchBibTeXDownload |
| 2006 |
|---|
| 2 | A Formal Framework for Reasoning on Metadata Based on CWM. Xiaofei Zhao, Zhiqiu Huang. ER 2006, 371-384. Web SearchBibTeXDownload |
| 1 | Research on the Rules of Mapping from Relational Model to OWL. Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Xiaofei Zhao. OWLED 2006. Web SearchBibTeXDownload |
