| 2006 |
|---|
| 9 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Feng Liu,
Jinshan Yu:
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.
APWeb 2006: 275-284 |
| 8 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.
SAINT 2006: 116-122 |
| 2005 |
|---|
| 7 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Verifying Web Services Composition.
ER (Workshops) 2005: 354-363 |
| 6 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Model Transformation Based Verification of Web Services Composition.
GCC 2005: 71-76 |
| 5 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Setup Algorithm of Web Service Composition.
ICA3PP 2005: 139-148 |
| 4 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Verifying web services composition based on hierarchical colored petri nets.
IHIS 2005: 47-54 |
| 3 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao:
Transformation-Driven Development of Composite Web Services.
ISPA Workshops 2005: 637-646 |
| 2 | EE | Yanping Yang,
QingPing Tan,
Yong Xiao,
Jinshan Yu,
Feng Liu:
Verifying Web Services Composition: A Transformation-Based Approach.
PDCAT 2005: 546-548 |
| 1995 |
|---|
| 1 | | Yanping Yang,
Hira N. Narang:
Parallelization of Fast Fourier Transform with C-Linda.
Parallel and Distributed Computing and Systems 1995: 292-294 |
