| * | 2009 |
|---|
| 6 | EE | Wei Ye,
Wen Zhao,
Yu Huang,
Wenhui Hu,
Shikun Zhang,
Lifu Wang:
Formal Definition and Detection Algorithm for Passive Event in RFID Middleware.
APWeb/WAIM 2009: 538-543 |
| 2008 |
|---|
| 5 | EE | Haiqiang Dun,
Wen Zhao,
Yu Huang,
Shikun Zhang,
Lifu Wang:
Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet.
APSEC 2008: 265-272 |
| 2007 |
|---|
| 4 | | Xing-Qi Huang,
Wen Zhao,
Shikun Zhang:
A New Approach for Workflow Process Delta Analysis Based on SYN-NET.
ICEIS (3) 2007: 480-488 |
| 3 | EE | Chong-Yi Yuan,
Wen Zhao,
Shikun Zhang,
Yu Huang:
A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management.
J. Comput. Sci. Technol. 22(3): 410-425 (2007) |
| 2006 |
|---|
| 2 | EE | Xing-Qi Huang,
Lifu Wang,
Wen Zhao,
Shikun Zhang,
Chong-Yi Yuan:
A Workflow Process Mining Algorithm Based on Synchro-Net.
J. Comput. Sci. Technol. 21(1): 66-71 (2006) |
| 2005 |
|---|
| 1 | EE | Jian Cai,
Wen Zhao,
Shikun Zhang,
Lifu Wang:
Correctness Verification of synchronization based workflow model.
ICEBE 2005: 527-530 |
