| 2009 |
|---|
| 31 | EE | Cong Tian,
Zhenhua Duan:
Complexity of propositional projection temporal logic with star.
Mathematical Structures in Computer Science 19(1): 73-100 (2009) |
| 2008 |
|---|
| 30 | | Jonathan Billington,
Zhenhua Duan,
Maciej Koutny:
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008
IEEE 2008 |
| 29 | | Manindra Agrawal,
Ding-Zhu Du,
Zhenhua Duan,
Angsheng Li:
Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings
Springer 2008 |
| 28 | EE | Yan Xiao,
Zhenhua Duan:
Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs.
ACSD 2008: 27-32 |
| 27 | EE | Man Zhang,
Zhenhua Duan,
Chenting Zhao:
Semi-automatically annotating data semantics to web services using ontology mapping.
CSCWD 2008: 470-475 |
| 26 | EE | Zhenhua Duan,
Cong Tian:
A Unified Model Checking Approach with Projection Temporal Logic.
ICFEM 2008: 167-186 |
| 25 | EE | Bo Wang,
Zhenhua Duan,
Lei Wang:
Kapa: A File Sharing System Based on HP2P.
ICIW 2008: 403-409 |
| 24 | EE | Man Zhang,
Zhenhua Duan:
From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL.
ICSOC 2008: 505-510 |
| 23 | EE | Haibin Zhang,
Zhenhua Duan:
Symbolic Algorithm Analysis of Rectangular Hybrid Systems.
TAMC 2008: 294-305 |
| 22 | EE | Cong Tian,
Zhenhua Duan:
Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.
TAMC 2008: 47-58 |
| 21 | EE | Zhenhua Duan,
Nan Zhang:
A Complete Axiomatization of Propositional Projection Temporal Logic.
TASE 2008: 271-278 |
| 20 | EE | Zhenhua Duan,
Cong Tian,
Li Zhang:
A decision procedure for propositional projection temporal logic with infinite models.
Acta Inf. 45(1): 43-78 (2008) |
| 19 | EE | Xiaoxiao Yang,
Zhenhua Duan:
Operational semantics of Framed Tempura.
J. Log. Algebr. Program. 78(1): 22-51 (2008) |
| 18 | EE | Zhenhua Duan,
Xiaoxiao Yang,
Maciej Koutny:
Framed temporal logic programming.
Sci. Comput. Program. 70(1): 31-61 (2008) |
| 2007 |
|---|
| 17 | EE | Lihui Lei,
Zhenhua Duan:
Automating Web Service Composition for Collaborative Business Processes.
CSCWD 2007: 894-899 |
| 16 | EE | Peng Men,
Zhenhua Duan,
Bin Yu:
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.
ICATPN 2007: 362-380 |
| 15 | EE | Ertao Lv,
Zhenhua Duan,
Jian-Jun Qi,
Yang Cao,
Zhuo Peng:
Incorporating Clusters into Hybrid P2P Network.
ICDS 2007: 17 |
| 14 | EE | Zhuo Peng,
Zhenhua Duan,
Jian-Jun Qi,
Yang Cao,
Ertao Lv:
HP2P: A Hybrid Hierarchical P2P Network.
ICDS 2007: 18 |
| 13 | EE | Cong Tian,
Zhenhua Duan:
Model Checking Propositional Projection Temporal Logic Based on SPIN.
ICFEM 2007: 246-265 |
| 12 | EE | Xiaoxiao Yang,
Zhenhua Duan:
Operational Semantics of Framed Temporal Logic Programs.
SOFSEM (1) 2007: 566-578 |
| 11 | EE | Zhenhua Duan,
Cong Tian:
Decidability of Propositional Projection Temporal Logic with Infinite Models.
TAMC 2007: 521-532 |
| 10 | EE | Yongtao Ma,
Zhenhua Duan,
Xiaobing Wang,
Xiaoxiao Yang:
An Interpreter for Framed Tempura and Its Application.
TASE 2007: 251-260 |
| 2006 |
|---|
| 9 | EE | Lihui Lei,
Zhenhua Duan,
Bin Yu:
Semantic Matching of Web Services Based on Choreographies.
CSCWD 2006: 751-756 |
| 8 | EE | Lihui Lei,
Zhenhua Duan,
Bin Yu:
Semantic Matching of Web Services for Collaborative Business Processes.
CSCWD (Selected Papers) 2006: 479-488 |
| 7 | EE | Zhile Zou,
Zhenhua Duan:
Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA.
ECOWS 2006: 138-147 |
| 6 | EE | Zhile Zou,
Zhenhua Duan,
Jianli Wang:
A Comprehensive Framework for Dynamic Web Services Integration.
ECOWS 2006: 211-222 |
| 5 | EE | Lihui Lei,
Zhenhua Duan:
Transforming OWL-S Process Model into EDFA for Service Discovery.
ICWS 2006: 137-144 |
| 4 | EE | Yang Cao,
Zhenhua Duan,
Jian-Jun Qi,
Zhuo Peng,
Ertao Lv:
Implementing Chord for HP2P Network.
OTM Workshops (2) 2006: 1480-1489 |
| 2005 |
|---|
| 3 | EE | Zhenhua Duan,
Xiaoxiao Yang,
Maciej Koutny:
Semantics of Framed Temporal Logic Programs.
ICLP 2005: 356-370 |
| 2004 |
|---|
| 2 | EE | Zhenhua Duan,
Maciej Koutny:
A Framed Temporal Logic Programming Language.
J. Comput. Sci. Technol. 19(3): 341-351 (2004) |
| 1994 |
|---|
| 1 | | Zhenhua Duan,
Maciej Koutny,
Chris Holt:
Projection in Temporal Logic Programming.
LPAR 1994: 333-344 |
