dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Zongyan Qiu (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu: A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC 2010: 441-448
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. 24(2): 238-249 (2009)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu: A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Model-Checking of Web Services Choreography. SOSE 2008: 79-84
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE 2007: 81-96
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu: A QoS View ofWeb Service Choreography. ICEBE 2007: 607-611
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: Towards the theoretical foundation of choreography. WWW 2007: 973-982
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He: Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu: A Type System for the Relational Calculus of Object Systems. ICECCS 2006: 189-198
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangpeng Zhao, Quan Long, Zongyan Qiu: Model Checking Dynamic UML Consistency. ICFEM 2006: 440-459
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangpeng Zhao, Hongli Yang, Zongyan Qiu: Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu: Towards the Semantics and Verification of BPEL4WS. Electr. Notes Theor. Comput. Sci. 151(2): 33-52 (2006)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi: An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385

Selection of 21 from 59 records - Zongyan Qiu has 46 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page