dblp.uni-trier.dewww.uni-trier.de

Shuling Wang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEShuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270
8EEShuling Wang, Zongyan Qiu: A Generic Model for Confinement and its Application. TASE 2008: 57-64
7EEPaula R. Ribeiro, Luís Soares Barbosa, Shuling Wang: An Exercise on Transition Systems. Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008)
2006
6EEGeguang 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
5EEShuling Wang, Quan Long, Zongyan Qiu: Type Safety for FJ and FGJ. ICTAC 2006: 257-271
4EEHongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang: A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
3EEGeguang 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
2EEZongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao: Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
2004
1EEGeguang 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

Coauthor Index

1Luís Soares Barbosa [7] [9]
2Jifeng He [1] [6]
3Quan Long [5]
4José Nuno Oliveira [9]
5Geguang Pu [1] [2] [3] [4] [6]
6Zongyan Qiu [1] [2] [3] [4] [5] [6] [8]
7Paula R. Ribeiro [7]
8Hongli Yang [4]
9Wang Yi [1]
10Xiangpeng Zhao [1] [2] [3] [4] [6]
11Huibiao Zhu [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)