2011
14Design and Implementation of P2P Reasoning System Based on Description Logic. Hai Wan, Yang Yu, Jian-Tian Zheng. DASC 2011, 222-229. Web SearchBibTeXDownload
13Migrating Complex Business Process to Cloud Based on Mspoa and CBPM. Hai Wan, Yang Yu. DASC 2011, 457-464. Web SearchBibTeXDownload
12Formalisation 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
11dl2asp: Implementing Default Logic via Answer Set Programming. Yin Chen, Hai Wan, Yan Zhang, Yi Zhou. JELIA 2010, 104-116. Web SearchBibTeXDownload
10A Refinement-Based Validation Method for Programmable Logic Controllers. Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu. QSIC 2010, 361-364. Web SearchBibTeXDownload
2009
9Formalization and Verification of PLC Timers in Coq. Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu. COMPSAC (1) 2009, 315-323. Web SearchBibTeXDownload
8Formal Specification and Code Generation of Programable Logic Controllers. Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan. ICECCS 2009, 102-109. Web SearchBibTeXDownload
2007
7State-based Process Description Model in Chinese E-government Affair System. Yunxiang Zheng, Lei Li, Hai Wan. COMPSAC (1) 2007, 565-568. Web SearchBibTeXDownload
6An 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
5Requirement Specification Based on Action Model Learning. Hankui Zhuo, Lei Li, Rui Bian, Hai Wan. ICIC (1) 2007, 565-574. Web SearchBibTeXDownload
2006
4Building 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
3Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. Hai Wan, Lei Li. APPT 2005, 41-51. Web SearchBibTeXDownload
2E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. Hai Wan, Lei Li. ICEBE 2005, 208-211. Web SearchBibTeXDownload
2004
1Semantic Caching Services for Data Grids. Hai Wan, Xiao-Wei Hao, Tao Zhang, Lei Li. GCC 2004, 959-962. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research