| 2008 |
|---|
| 11 | EE | Wenxia Yang,
Chao Cai,
Mingyue Ding,
Chengping Zhou:
An Improved Landweber Method for Restoration of Aero-Optically Degraded Images.
CSSE (6) 2008: 125-128 |
| 10 | EE | Chao Cai,
Zongyan Qiu,
Xiangpeng Zhao,
Hongli Yang:
Correct Channel Passing by Construction.
ICFEM 2008: 338-354 |
| 9 | EE | Xiangpeng Zhao,
Zongyan Qiu,
Chao Cai,
Hongli Yang:
A Formal Model of Human Workflow.
ICWS 2008: 195-202 |
| 8 | 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 |
| 7 | EE | Hongli Yang,
Chao Cai,
Liyang Peng,
Xiangpeng Zhao,
Zongyan Qiu:
Reasoning about Channel Passing in Choreography.
TASE 2008: 135-142 |
| 2007 |
|---|
| 6 | EE | Yi Qian,
Yuming Xu,
Zheng Wang,
Geguang Pu,
Huibiao Zhu,
Chao Cai:
Tool Support for BPEL Verification in ActiveBPEL Engine.
ASWEC 2007: 90-100 |
| 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 | 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 | EE | 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 | EE | Mingyue Ding,
Lingling Li,
Chengping Zhou,
Chao Cai:
A Multi-sensor Image Registration Method Based on Harris Corner Matching.
VSMM 2006: 174-183 |
