2009 |
9 | 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 |
8 | EE | Wen Zhao,
Yu Huang,
Chong-Yi Yuan:
Synchronic Distance Based Workflow Logic Specification.
HPCC 2008: 819-824 |
7 | 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 |
6 | | Xing-Qi Huang,
Wen Zhao,
Shi-Kun Zhang:
A New Approach for Workflow Process Delta Analysis Based on SYN-NET.
ICEIS (3) 2007: 480-488 |
5 | EE | Yu Huang,
Hanpin Wang,
Wen Zhao,
Jiaqi Zhu:
Analyzing Data Dependence Based on Workflow Net.
International Conference on Computational Science (3) 2007: 257-264 |
4 | EE | Tao Jia,
Wen Zhao,
Lifu Wang:
PrSH: A Belief Description Logic.
KES-AMSTA 2007: 31-41 |
3 | EE | Chong-Yi Yuan,
Wen Zhao,
Shi-Kun 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 | Wen Zhao,
San-ping Tang:
Certificates Verification Based on Trust Matrix in PKI.
ICICIC (1) 2006: 52-55 |
1 | EE | Xing-Qi Huang,
Li-Fu Wang,
Wen Zhao,
Shi-Kun Zhang,
Chong-Yi Yuan:
A Workflow Process Mining Algorithm Based on Synchro-Net.
J. Comput. Sci. Technol. 21(1): 66-71 (2006) |