| 2007 |
|---|
| 11 | EE | Jianwen Su,
Tevfik Bultan,
Xiang Fu,
Xiangpeng Zhao:
Towards a Theory of Web Service Choreographies.
WS-FM 2007: 1-16 |
| 10 | EE | Zongyan Qiu,
Xiangpeng Zhao,
Chao Cai,
Hongli Yang:
Towards the theoretical foundation of choreography.
WWW 2007: 973-982 |
| 2006 |
|---|
| 9 | EE | Geguang Pu,
Huibiao Zhu,
Zongyan Qiu,
Shuling Wang,
Xiangpeng Zhao,
Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
FMOODS 2006: 251-266 |
| 8 | EE | Liang Zhao,
Xiangpeng Zhao,
Quan Long,
Zongyan Qiu:
A Type System for the Relational Calculus of Object Systems.
ICECCS 2006: 189-198 |
| 7 | EE | Hongli Yang,
Xiangpeng Zhao,
Zongyan Qiu,
Chao Cai,
Geguang Pu:
Type Checking Choreography Description Language.
ICFEM 2006: 264-283 |
| 6 | EE | Xiangpeng Zhao,
Quan Long,
Zongyan Qiu:
Model Checking Dynamic UML Consistency.
ICFEM 2006: 440-459 |
| 5 | EE | Hongli Yang,
Xiangpeng Zhao,
Zongyan Qiu,
Geguang Pu,
Shuling Wang:
A Formal Model forWeb Service Choreography Description Language (WS-CDL).
ICWS 2006: 893-894 |
| 4 | EE | Xiangpeng Zhao,
Hongli Yang,
Zongyan Qiu:
Towards the Formal Model and Verification of Web Service Choreography Description Language.
WS-FM 2006: 273-287 |
| 3 | EE | Geguang Pu,
Xiangpeng Zhao,
Shuling Wang,
Zongyan Qiu:
Towards the Semantics and Verification of BPEL4WS.
Electr. Notes Theor. Comput. Sci. 151(2): 33-52 (2006) |
| 2005 |
|---|
| 2 | EE | Zongyan Qiu,
Shuling Wang,
Geguang Pu,
Xiangpeng Zhao:
Semantics of BPEL4WS-Like Fault and Compensation Handling.
FM 2005: 350-365 |
| 2004 |
|---|
| 1 | EE | Geguang Pu,
Xiangpeng Zhao,
Shuling Wang,
Zongyan Qiu,
Jifeng He,
Wang Yi:
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
SEFM 2004: 376-385 |
