 | 2009 |
| 13 |  | 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 |
| 12 |  | Wei Ye,
Wen Zhao,
Yu Huang,
Wenhui Hu,
Shikun Zhang,
Lifu Wang:
Towards Passive RFID Event.
COMPSAC (1) 2009: 492-499 |
| 2008 |
| 11 |  | 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 |
| 10 |  | Wen Zhao,
Yu Huang,
Chong-Yi Yuan:
Synchronic Distance Based Workflow Logic Specification.
HPCC 2008: 819-824 |
| 9 |  | 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 |
| 8 |  | Xing-Qi Huang,
Wen Zhao,
Shikun Zhang:
A New Approach for Workflow Process Delta Analysis Based on SYN-NET.
ICEIS (3) 2007: 480-488 |
| 7 |  | Yu Huang,
Hanpin Wang,
Wen Zhao,
Jiaqi Zhu:
Analyzing Data Dependence Based on Workflow Net.
International Conference on Computational Science (3) 2007: 257-264 |
| 6 |  | Tao Jia,
Wen Zhao,
Lifu Wang:
PrSH: A Belief Description Logic.
KES-AMSTA 2007: 31-41 |
| 5 |  | 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 |
| 4 |  | Wen Zhao,
San-ping Tang:
Certificates Verification Based on Trust Matrix in PKI.
ICICIC (1) 2006: 52-55 |
| 3 |  | 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 |
| 2 |  | Jian Cai,
Wen Zhao,
Shikun Zhang,
Lifu Wang:
Correctness Verification of synchronization based workflow model.
ICEBE 2005: 527-530 |
| 2001 |
| 1 |  | Wen Zhao,
Yu-Sheng Zheng:
A Dynamic Model for Airline Seat Allocation with Passenger Diversion and No-Shows.
Transportation Science 35(1): 80-98 (2001) |