| 2008 |
|---|
| 9 | EE | Shuling Wang,
Luís Soares Barbosa,
José Nuno Oliveira:
A Relational Model for Confined Separation Logic.
TASE 2008: 263-270 |
| 8 | EE | Shuling Wang,
Zongyan Qiu:
A Generic Model for Confinement and its Application.
TASE 2008: 57-64 |
| 7 | EE | Paula R. Ribeiro,
Luís Soares Barbosa,
Shuling Wang:
An Exercise on Transition Systems.
Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008) |
| 2006 |
|---|
| 6 | 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 |
| 5 | EE | Shuling Wang,
Quan Long,
Zongyan Qiu:
Type Safety for FJ and FGJ.
ICTAC 2006: 257-271 |
| 4 | 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 |
| 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 |
