The SCEAS System
Navigation Menu

Search the dblp DataBase


Chao Cai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002