Hongli Yang Vis

*	2009
15	EE	Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118
14	EE	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	EE	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	EE	Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
11	EE	Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
10	EE	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	EE	Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Model-Checking of Web Services Choreography. SOSE 2008: 79-84
8	EE	Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
	2007
7	EE	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	EE	Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu: A QoS View ofWeb Service Choreography. ICEBE 2007: 607-611
5	EE	Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: Towards the theoretical foundation of choreography. WWW 2007: 973-982
	2006
4	EE	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
3	EE	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	EE	Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370
1	EE	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	Yonglei Fang	[14]
3	Jifeng He	[2]
4	Liyang Peng	[8]
5	Geguang Pu	[2] [3] [4]
6	Zongyan Qiu	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15]
7	Jianwen Su	[15]
8	Shuling Wang	[3]
9	Xinyuan Wu	[14]
10	Xiong You	[14]
11	Xiangpeng Zhao	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15]
12	Huibiao Zhu	[2]

Colors in the list of coauthors