| Towards the theoretical foundation of choreography Z Qiu, X Zhao, C Cai, H Yang Proceedings of the 16th international conference on World Wide Web, 973-982, 2007 | 235 | 2007 |
| Towards the semantics and verification of BPEL4WS G Pu, X Zhao, S Wang, Z Qiu Electronic Notes in Theoretical Computer Science 151 (2), 33-52, 2006 | 120 | 2006 |
| A formal model forweb service choreography description language (WS-CDL) H Yang, X Zhao, Z Qiu, G Pu, S Wang 2006 IEEE International Conference on Web Services (ICWS'06), 893-894, 2006 | 101 | 2006 |
| Semantics of BPEL4WS-like fault and compensation handling Z Qiu, S Wang, G Pu, X Zhao International Symposium on Formal Methods, 350-365, 2005 | 99 | 2005 |
| Towards a theory of web service choreographies J Su, T Bultan, X Fu, X Zhao Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 97 | 2008 |
| Theoretical foundations of scope-based compensable flow language for web service G Pu, H Zhu, Z Qiu, S Wang, X Zhao, J He International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 64 | 2006 |
| Towards the formal model and verification of web service choreography description language Z Xiangpeng, Y Hongli, Q Zongyan International Workshop on Web Services and Formal Methods, 273-287, 2006 | 60 | 2006 |
| Model checking dynamic UML consistency X Zhao, Q Long, Z Qiu Formal Methods and Software Engineering: 8th International Conference on …, 2006 | 39 | 2006 |
| Verifying BPEL workflows under authorisation constraints Z Xiangpeng, A Cerone, P Krishnan Business Process Management: 4th International Conference, BPM 2006, Vienna …, 2006 | 35 | 2006 |
| Model-checking of web services choreography H Yang, X Zhao, C Cai, Z Qiu 2008 IEEE International Symposium on Service-Oriented System Engineering, 79-84, 2008 | 29 | 2008 |
| Exploring the connection of choreography and orchestration with exception handling and finalization/compensation Y Hongli, Z Xiangpeng, C Chao, Q Zongyan Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007 | 29 | 2007 |
| Analyzing software performance issues S Han, Y Dang, S Ge, D Zhang, B Zhao, F Liang, C Bian, X Zhao, C Chen, ... US Patent 8,578,213, 2013 | 27 | 2013 |
| A formal model of human workflow X Zhao, Z Qiu, C Cai, H Yang 2008 IEEE International Conference on Web Services, 195-202, 2008 | 27 | 2008 |
| A qos view ofweb service choreography Z Xiangpeng, C Chao, Y Hongli, Q Zongyan IEEE International Conference on e-Business Engineering (ICEBE'07), 607-611, 2007 | 23 | 2007 |
| Type checking choreography description language H Yang, X Zhao, Z Qiu, C Cai, G Pu Formal Methods and Software Engineering: 8th International Conference on …, 2006 | 20 | 2006 |
| Enforcing constraints on life cycles of business artifacts X Zhao, J Su, H Yang, Z Qiu 2009 third ieee international symposium on theoretical aspects of software …, 2009 | 18 | 2009 |
| Reasoning about channel passing in choreography H Yang, C Cai, L Peng, X Zhao, Z Qiu 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008 | 15 | 2008 |
| A formal model for channel passing in web service composition C Cai, H Yang, X Zhao, Z Qiu 2008 IEEE International Conference on Services Computing 2, 495-496, 2008 | 10 | 2008 |
| Modelling and resource allocation planning of BPEL workflows under security constraints A Cerone, Z Xiangpeng, P Krishnan UNU/IIST Technical Report 336, 2006 | 10 | 2006 |
| Verification of WS-CDL choreography X Zhao Proc. First Asian Working Conference on Verified Software, 2006, 163-178, 2006 | 9 | 2006 |
