Hongli Yang Coauthor index pubzone.org

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

DBLP keys2011
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKe Zhang Ke, Zongyan Qiu, Hongli Yang: Generating Scenarios from Web Service Choreography. APSCC 2011: 290-297
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Zhang, Hongli Yang: A distributed-based hospital information system model. BMEI 2011: 2087-2090
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu: Analysis of WS-BPEL Processes in PRISM. TASE 2011: 199-202
2010
18Electronic 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZongyan Qiu, Liyang Peng, Hongli Yang: A Framework for Integrating Human Processes with Business Artifacts. SOSE 2010: 252-259
2009
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng Li, Husheng Liao, Hongli Yang: An Implementation Approach for XQuery Based on Lazy Evaluation. DBTA 2009: 463-467
15Electronic 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongli Yang, Xinyuan Wu, Xiong You, Yonglei Fang: Extended RKN-type methods for numerical integration of perturbed oscillators. Computer Physics Communications 180(10): 1777-1794 (2009)
13Electronic 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)
2008
12Electronic 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
11Electronic 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
10Electronic 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
9Electronic 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
8Electronic 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
2007
7Electronic 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
6Electronic 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
5Electronic 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
2006
4Electronic 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
3Electronic 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
2Electronic 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
1Electronic 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

Coauthor Index

1Chao Cai [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
2Chen Deng [18] [19]
3Yonglei Fang [14]
4Jifeng He [2]
5Kang He [18]
6Ke Zhang Ke [21]
7Peng Li [16]
8Husheng Liao [16] [19]
9Liyang Peng [8] [17]
10Geguang Pu [2] [3] [4]
11Zongyan Qiu [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [17] [18] [19] [21]
12Jianwen Su [15]
13Meng Sun [19]
14Shuling Wang [3]
15Xinyuan Wu [14]
16Xiong You [14]
17Jian Zhang [20]
18Xiangpeng Zhao [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [18]
19Liang Zhou [18]
20Huibiao Zhu [2]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page