The SCEAS System
Navigation Menu

Search the dblp DataBase


Zhenhua Duan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lihui Lei, Zhenhua Duan, Bin Yu
    Semantic Matching of Web Services Based on Choreographies. [Citation Graph (0, 0)][DBLP]
    CSCWD, 2006, pp:751-756 [Conf]
  2. Zhile Zou, Zhenhua Duan
    Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:138-147 [Conf]
  3. Zhile Zou, Zhenhua Duan, Jianli Wang
    A Comprehensive Framework for Dynamic Web Services Integration. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:211-222 [Conf]
  4. Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny
    Semantics of Framed Temporal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:356-370 [Conf]
  5. Lihui Lei, Zhenhua Duan
    Transforming OWL-S Process Model into EDFA for Service Discovery. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:137-144 [Conf]
  6. Zhenhua Duan, Maciej Koutny, Chris Holt
    Projection in Temporal Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:333-344 [Conf]
  7. Yang Cao, Zhenhua Duan, Jian-Jun Qi, Zhuo Peng, Ertao Lv
    Implementing Chord for HP2P Network. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (2), 2006, pp:1480-1489 [Conf]
  8. Ertao Lv, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Zhuo Peng
    Incorporating Clusters into Hybrid P2P Network. [Citation Graph (0, 0)][DBLP]
    ICDS, 2007, pp:17- [Conf]
  9. Zhuo Peng, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Ertao Lv
    HP2P: A Hybrid Hierarchical P2P Network. [Citation Graph (0, 0)][DBLP]
    ICDS, 2007, pp:18- [Conf]
  10. Zhenhua Duan, Maciej Koutny
    A Framed Temporal Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:3, pp:341-351 [Journal]
  11. Peng Men, Zhenhua Duan, Bin Yu
    Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:362-380 [Conf]
  12. Lihui Lei, Zhenhua Duan, Bin Yu
    Semantic Matching of Web Services for Collaborative Business Processes. [Citation Graph (0, 0)][DBLP]
    CSCWD (Selected Papers), 2006, pp:479-488 [Conf]
  13. Cong Tian, Zhenhua Duan
    Model Checking Propositional Projection Temporal Logic Based on SPIN. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:246-265 [Conf]
  14. Xiaoxiao Yang, Zhenhua Duan
    Operational Semantics of Framed Temporal Logic Programs. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:566-578 [Conf]
  15. Zhenhua Duan, Cong Tian
    Decidability of Propositional Projection Temporal Logic with Infinite Models. [Citation Graph (0, 0)][DBLP]
    TAMC, 2007, pp:521-532 [Conf]
  16. Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang
    An Interpreter for Framed Tempura and Its Application. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:251-260 [Conf]

  17. A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics. [Citation Graph (, )][DBLP]

  18. Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. [Citation Graph (, )][DBLP]

  19. Automating Web Service Composition for Collaborative Business Processes. [Citation Graph (, )][DBLP]

  20. Semi-automatically annotating data semantics to web services using ontology mapping. [Citation Graph (, )][DBLP]

  21. Verification of Use Case with Petri Nets in Requirement Analysis. [Citation Graph (, )][DBLP]

  22. A Unified Model Checking Approach with Projection Temporal Logic. [Citation Graph (, )][DBLP]

  23. From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL. [Citation Graph (, )][DBLP]

  24. Symbolic Algorithm Analysis of Rectangular Hybrid Systems. [Citation Graph (, )][DBLP]

  25. Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. [Citation Graph (, )][DBLP]

  26. An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems. [Citation Graph (, )][DBLP]

  27. A Complete Axiomatization of Propositional Projection Temporal Logic. [Citation Graph (, )][DBLP]

  28. Generalized Russian Cards Problem. [Citation Graph (, )][DBLP]

  29. Kapa: A File Sharing System Based on HP2P. [Citation Graph (, )][DBLP]

  30. A decision procedure for propositional projection temporal logic with infinite models. [Citation Graph (, )][DBLP]

  31. Making Abstraction Refinement Efficient in Model Checking [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs
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