Xiangpeng Zhao

2008
15	EE	Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
14	EE	Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
13	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
12	EE	Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
2007
11	EE	Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
10	EE	Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: Towards the theoretical foundation of choreography. WWW 2007: 973-982
2006
9	EE	Geguang 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
8	EE	Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu: A Type System for the Relational Calculus of Object Systems. ICECCS 2006: 189-198
7	EE	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu: Type Checking Choreography Description Language. ICFEM 2006: 264-283
6	EE	Xiangpeng Zhao, Quan Long, Zongyan Qiu: Model Checking Dynamic UML Consistency. ICFEM 2006: 440-459
5	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
4	EE	Xiangpeng Zhao, Hongli Yang, Zongyan Qiu: Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287
3	EE	Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu: Towards the Semantics and Verification of BPEL4WS. Electr. Notes Theor. Comput. Sci. 151(2): 33-52 (2006)
2005
2	EE	Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
2004
1	EE	Geguang 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

Coauthor Index

1	Tevfik Bultan	[11]
2	Chao Cai	[7] [10] [12] [13] [14] [15]
3	Xiang Fu	[11]
4	Jifeng He	[1] [9]
5	Quan Long	[6] [8]
6	Liyang Peng	[12]
7	Geguang Pu	[1] [2] [3] [5] [7] [9]
8	Zongyan Qiu	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15]
9	Jianwen Su	[11]
10	Shuling Wang	[1] [2] [3] [5] [9]
11	Hongli Yang	[4] [5] [7] [10] [12] [13] [14] [15]
12	Wang Yi	[1]
13	Liang Zhao	[8]
14	Huibiao Zhu	[9]

Colors in the list of coauthors