 | 2009 |
|---|
| 5 |       | Han Zhu,
Yonggen Gu,
Xiaojuan Cai:
Knowledge Aware Bisimulation and Anonymity.
ICCS (1) 2009: 53-62 |
| 4 | | Jieqi Ding,
Han Zhu,
Huibiao Zhu,
Qin Li:
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.
TASE 2009: 327-328 |
| 2008 |
|---|
| 3 | | Han Zhu,
Yonggen Gu,
Xiaohong Wu:
An Open Approach for the Applied Pi Calculus.
JSW 3(9): 44-51 (2008) |
| 2005 |
|---|
| 2 | | Yonggen Gu,
Yuxi Fu,
Farong Zhong,
Han Zhu:
A Generic Model for Analyzing Security Protocols.
MMM-ACNS 2005: 119-128 |
| 2004 |
|---|
| 1 | | Brian J. Ross,
Han Zhu:
Procedural Texture Evolution Using Multi-objective Optimization.
New Generation Comput. 22(3): (2004) |
