Chao Cai

	2010
19		Shaobin Chen, Chao Cai, Erlang Li, Mingyue Ding: Design and implementation of knowledge base for target recognition in remote sensing images. FSKD 2010: 2604-2608
18		Hua Zhou, Chao Cai, Mingyue Ding: Sub-manifold distance based object recognition in clutter. ICNC 2010: 3435-3438
	2009
17		Liyang Peng, Chao Cai, Zongyan Qiu, Geguang Pu: Verification of channel passing in choreography with model checking. SOCA 2009: 1-5
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	Shaobin Chen	[19]
3	Mingyue Ding	[1] [2] [3] [15] [18] [19]
4	Aaron Fenster	[3]
5	Hao Lei	[2]
6	Erlang Li	[19]
7	Lingling Li	[1]
8	Ailing Liu	[2]
9	Xiaoan Luo	[3]
10	Liyang Peng	[9] [17]
11	Geguang Pu	[4] [8] [17]
12	Yi Qian	[8]
13	Zongyan Qiu	[4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [17]
14	Zheng Wang	[8]
15	Yuming Xu	[8]
16	Hongli Yang	[4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
17	Wenxia Yang	[15]
18	Xiangpeng Zhao	[4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
19	Chengping Zhou	[1] [3] [15]
20	Hua Zhou	[18]
21	Huibiao Zhu	[8]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page