| 2008 |
|---|
| 5 | EE | Chunxiang Xu,
Hanpin Wang,
Wanling Qu:
Modeling and verifying BPEL using synchronized net.
SAC 2008: 2358-2362 |
| 4 | EE | Yu Huang,
Hanpin Wang,
Wen Zhao,
Chunxiang Xu:
A practical method to analyze workflow logic models.
Concurrency and Computation: Practice and Experience 20(1): 41-60 (2008) |
| 2007 |
|---|
| 3 | EE | Yu Huang,
Chunxiang Xu,
Hanpin Wang,
Yunni Xia,
Jiaqi Zhu,
Cheng Zhu:
Formalizing Web Service Choreography Interface.
AINA Workshops (2) 2007: 576-581 |
| 2006 |
|---|
| 2 | EE | Yunni Xia,
Hanpin Wang,
Chunxiang Xu,
Liang Li:
Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets.
International Conference on Computational Science (3) 2006: 988-995 |
| 1 | EE | Yunni Xia,
Hanpin Wang,
Yu Huang,
Chunxiang Xu:
Stochastic modeling and quality evaluation of component-based software systems.
QSIC 2006: 377-384 |
