Chao Cai

	2009
16		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
15		Wenxia Yang, Chao Cai, Mingyue Ding, Chengping Zhou: An Improved Landweber Method for Restoration of Aero-Optically Degraded Images. CSSE (6) 2008: 125-128
14		Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang: Correct Channel Passing by Construction. ICFEM 2008: 338-354
13		Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang: A Formal Model of Human Workflow. ICWS 2008: 195-202
12		Chao Cai, Zongyan Qiu: An Approach to Check Choreography with Channel Passing in WS-CDL. ICWS 2008: 700-707
11		Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu: A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496
10		Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: Model-Checking of Web Services Choreography. SOSE 2008: 79-84
9		Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu: Reasoning about Channel Passing in Choreography. TASE 2008: 135-142
	2007
8		Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai: Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100
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		Mingyue Ding, Xiaoan Luo, Chao Cai, Chengping Zhou, Aaron Fenster: 3D US Imaging System for the Guidance of Uterine Adenoma and Uterine Bleeding RF Ablation. MIAR 2006: 211-218
2		Chao Cai, Mingyue Ding, Hao Lei, Jie Cao, Ailing Liu: A Novel 3D Correspondence-Less Method for MRI and Paxinos-Watson Atlas of Rat Brain Registration. MIAR 2006: 269-276
1		Mingyue Ding, Lingling Li, Chengping Zhou, Chao Cai: A Multi-sensor Image Registration Method Based on Harris Corner Matching. VSMM 2006: 174-183

Coauthor Index

1	Jie Cao	[2]
2	Mingyue Ding	[1] [2] [3] [15]
3	Aaron Fenster	[3]
4	Hao Lei	[2]
5	Lingling Li	[1]
6	Ailing Liu	[2]
7	Xiaoan Luo	[3]
8	Liyang Peng	[9]
9	Geguang Pu	[4] [8]
10	Yi Qian	[8]
11	Zongyan Qiu	[4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16]
12	Zheng Wang	[8]
13	Yuming Xu	[8]
14	Hongli Yang	[4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
15	Wenxia Yang	[15]
16	Xiangpeng Zhao	[4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
17	Chengping Zhou	[1] [3] [15]
18	Huibiao Zhu	[8]

Colors in the list of coauthors