Search the dblp DataBase

Publications of Author

1. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
   Type Checking Choreography Description Language. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:264-283 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   MIAR, 2006, pp:211-218 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   MIAR, 2006, pp:269-276 [Conf]
   
4. Mingyue Ding, Lingling Li, Chengping Zhou, Chao Cai
   A Multi-sensor Image Registration Method Based on Harris Corner Matching. [Citation Graph (0, 0)][DBLP]
   VSMM, 2006, pp:174-183 [Conf]
   
5. Yang Hongli, Zhao Xiangpeng, Cai Chao, Qiu Zongyan
   Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. [Citation Graph (0, 0)][DBLP]
   FORTE, 2007, pp:81-96 [Conf]
   
6. Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
   Towards the theoretical foundation of choreography. [Citation Graph (0, 0)][DBLP]
   WWW, 2007, pp:973-982 [Conf]
   
7. 
   A Formal Model for Channel Passing in Web Service Composition. [Citation Graph (, )][DBLP]
   
   
8. 
   Tool Support for BPEL Verification in ActiveBPEL Engine. [Citation Graph (, )][DBLP]
   
   
9. 
   Design and implementation of knowledge base for target recognition in remote sensing images. [Citation Graph (, )][DBLP]
   
   
10. 
    A QoS View ofWeb Service Choreography. [Citation Graph (, )][DBLP]
    
    
11. 
    Correct Channel Passing by Construction. [Citation Graph (, )][DBLP]
    
    
12. 
    Sub-manifold distance based object recognition in clutter. [Citation Graph (, )][DBLP]
    
    
13. 
    A Formal Model of Human Workflow. [Citation Graph (, )][DBLP]
    
    
14. 
    An Approach to Check Choreography with Channel Passing in WS-CDL. [Citation Graph (, )][DBLP]
    
    
15. 
    Model-Checking of Web Services Choreography. [Citation Graph (, )][DBLP]
    
    
16. 
    Reasoning about Channel Passing in Choreography. [Citation Graph (, )][DBLP]
    
    
17. 
    An Improved Landweber Method for Restoration of Aero-Optically Degraded Images. [Citation Graph (, )][DBLP]