| 2011 |
|---|
| 14 | Design and Implementation of P2P Reasoning System Based on Description Logic. Hai Wan, Yang Yu, Jian-Tian Zheng. DASC 2011, 222-229. Web SearchBibTeXDownload |
| 13 | Migrating Complex Business Process to Cloud Based on Mspoa and CBPM. Hai Wan, Yang Yu. DASC 2011, 457-464. Web SearchBibTeXDownload |
| 12 | Formalisation and verification of programmable logic controllers timers in Coq. Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu. IET Software (5): 32-42 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 11 | dl2asp: Implementing Default Logic via Answer Set Programming. Yin Chen, Hai Wan, Yan Zhang, Yi Zhou. JELIA 2010, 104-116. Web SearchBibTeXDownload |
| 10 | A Refinement-Based Validation Method for Programmable Logic Controllers. Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu. QSIC 2010, 361-364. Web SearchBibTeXDownload |
| 2009 |
|---|
| 9 | Formalization and Verification of PLC Timers in Coq. Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu. COMPSAC (1) 2009, 315-323. Web SearchBibTeXDownload |
| 8 | Formal Specification and Code Generation of Programable Logic Controllers. Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan. ICECCS 2009, 102-109. Web SearchBibTeXDownload |
| 2007 |
|---|
| 7 | State-based Process Description Model in Chinese E-government Affair System. Yunxiang Zheng, Lei Li, Hai Wan. COMPSAC (1) 2007, 565-568. Web SearchBibTeXDownload |
| 6 | An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. Zhifang Li, Lei Li, Hao Cui, Hai Wan. CSCWD 2007, 168-173. Web SearchBibTeXDownload |
| 5 | Requirement Specification Based on Action Model Learning. Hankui Zhuo, Lei Li, Rui Bian, Hai Wan. ICIC (1) 2007, 565-574. Web SearchBibTeXDownload |
| 2006 |
|---|
| 4 | Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li. SPW/ProSim 2006, 195-203. Web SearchBibTeXDownload |
| 2005 |
|---|
| 3 | Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. Hai Wan, Lei Li. APPT 2005, 41-51. Web SearchBibTeXDownload |
| 2 | E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. Hai Wan, Lei Li. ICEBE 2005, 208-211. Web SearchBibTeXDownload |
| 2004 |
|---|
| 1 | Semantic Caching Services for Data Grids. Hai Wan, Xiao-Wei Hao, Tao Zhang, Lei Li. GCC 2004, 959-962. Web SearchBibTeXDownload |
