 | 2009 |
| 9 |  | Hai Wan,
Gang Chen,
Xiaoyu Song,
Ming Gu:
Formalization and Verification of PLC Timers in Coq.
COMPSAC (1) 2009: 315-323 |
| 8 |  | Rui Wang,
Ming Gu,
Xiaoyu Song,
Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers.
ICECCS 2009: 102-109 |
| 2007 |
| 7 |  | Yunxiang Zheng,
Lei Li,
Hai Wan:
State-based Process Description Model in Chinese E-government Affair System.
COMPSAC (1) 2007: 565-568 |
| 6 |  | Zhifang Li,
Lei Li,
Hao Cui,
Hai Wan:
An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System.
CSCWD 2007: 168-173 |
| 5 |  | Hankui Zhuo,
Lei Li,
Rui Bian,
Hai Wan:
Requirement Specification Based on Action Model Learning.
ICIC (1) 2007: 565-574 |
| 2006 |
| 4 |  | Hai Wan,
Yunxiang Zheng,
Yin Chen,
Lei Li:
Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog.
SPW/ProSim 2006: 195-203 |
| 2005 |
| 3 |  | Hai Wan,
Lei Li:
Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment.
APPT 2005: 41-51 |
| 2 |  | Hai Wan,
Lei Li:
E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management.
ICEBE 2005: 208-211 |
| 2004 |
| 1 |  | Hai Wan,
Xiao-Wei Hao,
Tao Zhang,
Lei Li:
Semantic Caching Services for Data Grids.
GCC 2004: 959-962 |