The SCEAS System
Navigation Menu

Search the dblp DataBase


Hai Wan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hai Wan, Lei Li
    Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment. [Citation Graph (0, 0)][DBLP]
    APPT, 2005, pp:41-51 [Conf]
  2. Hai Wan, Xiao-Wei Hao, Tao Zhang, Lei Li
    Semantic Caching Services for Data Grids. [Citation Graph (0, 0)][DBLP]
    GCC, 2004, pp:959-962 [Conf]
  3. Hai Wan, Lei Li
    E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2005, pp:208-211 [Conf]
  4. Hai Wan, Yunxiang Zheng, Yin Chen, Lei Li
    Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog. [Citation Graph (0, 0)][DBLP]
    SPW/ProSim, 2006, pp:195-203 [Conf]
  5. Yunxiang Zheng, Lei Li, Hai Wan
    State-based Process Description Model in Chinese E-government Affair System. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:565-568 [Conf]
  6. Hankui Zhuo, Lei Li, Rui Bian, Hai Wan
    Requirement Specification Based on Action Model Learning. [Citation Graph (0, 0)][DBLP]
    ICIC (1), 2007, pp:565-574 [Conf]

  7. Formalization and Verification of PLC Timers in Coq. [Citation Graph (, )][DBLP]

  8. An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. [Citation Graph (, )][DBLP]

  9. Formal Specification and Code Generation of Programable Logic Controllers. [Citation Graph (, )][DBLP]

  10. dl2asp: Implementing Default Logic via Answer Set Programming. [Citation Graph (, )][DBLP]

Search in 0.345secs, Finished in 0.346secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002