Hongli Yang

	2011
21		Ke Zhang Ke, Zongyan Qiu, Hongli Yang: Generating Scenarios from Web Service Choreography. APSCC 2011: 290-297
20		Jian Zhang, Hongli Yang: A distributed-based hospital information system model. BMEI 2011: 2087-2090
19		Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu: Analysis of WS-BPEL Processes in PRISM. TASE 2011: 199-202
	2010
18		Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu: A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC 2010: 441-448
17		Zongyan Qiu, Liyang Peng, Hongli Yang: A Framework for Integrating Human Processes with Business Artifacts. SOSE 2010: 252-259
	2009
16		Peng Li, Husheng Liao, Hongli Yang: An Implementation Approach for XQuery Based on Lazy Evaluation. DBTA 2009: 463-467
15		Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118
14		Hongli 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)
13		Chao 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
12		Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
11		Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
10		Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu: A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496
9		Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Model-Checking of Web Services Choreography. SOSE 2008: 79-84
8		Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
	2007
7		Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE 2007: 81-96
6		Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu: A QoS View ofWeb Service Choreography. ICEBE 2007: 607-611
5		Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: Towards the theoretical foundation of choreography. WWW 2007: 973-982
	2006
4		Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
3		Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
2		Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
1		Xiangpeng Zhao, Hongli Yang, Zongyan Qiu: Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287

Coauthor Index

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

Colors in the list of coauthors

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