Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Zuling Kang
2010 – today
- 2010
[j2]Hongbing Wang, Zuling Kang, Ning Zhou, Li Li: A model checker for WS-CDL. Journal of Systems and Software 83(10): 1651-1661 (2010)
2000 – 2009
- 2009
[c4]Zuling Kang, Hongbing Wang: Verifying WS-CDL-Based Web Services Collaboration by Model Checking. SERVICES I 2009: 554-561
[c3]Hongbing Wang, Li Li, Chen Wang, Zuling Kang, Dongxi Liu, Jemma Wu, Athman Bouguettaya: Logic-based verification for Web services composition with TLA. SOCA 2009: 1-8- 2007
[j1]Zuling Kang, Hongbing Wang, Patrick C. K. Hung: WS-CDL+ for web service collaboration. Information Systems Frontiers 9(4): 375-389 (2007)
[c2]Zuling Kang, Hongbing Wang, Patrick C. K. Hung: WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration. ICWS 2007: 928-935- 2005
[c1]Zuling Kang, Hongbing Wang: Implementation and Application of Ontology Databases with User-Defined Rules (UDR) Supported. SKG 2005: 82
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:41 CEST by the dblp team



