dblp.uni-trier.dewww.uni-trier.de

Zhenhua Duan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
37EEChenting Zhao, Zhenhua Duan, Man Zhang: A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics. ACIS-ICIS 2009: 483-488
36EEZhenhua Duan, Chen Yang: Generalized Russian Cards Problem. COCOA 2009: 85-97
35EEJinqiang Zhao, Zhenhua Duan: Verification of Use Case with Petri Nets in Requirement Analysis. ICCSA (2) 2009: 29-42
34EEYan Xiao, Zhenhua Duan, Pengcheng Nie: An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems. TASE 2009: 36-43
33EECong Tian, Zhenhua Duan: A note on stutter-invariant PLTL. Inf. Process. Lett. 109(13): 663-667 (2009)
32EECong Tian, Zhenhua Duan: Complexity of propositional projection temporal logic with star. Mathematical Structures in Computer Science 19(1): 73-100 (2009)
2008
31 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
30 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
29EEYan Xiao, Zhenhua Duan: Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. ACSD 2008: 27-32
28EEMan Zhang, Zhenhua Duan, Chenting Zhao: Semi-automatically annotating data semantics to web services using ontology mapping. CSCWD 2008: 470-475
27EEZhenhua Duan, Cong Tian: A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186
26EEBo Wang, Zhenhua Duan, Lei Wang: Kapa: A File Sharing System Based on HP2P. ICIW 2008: 403-409
25EEMan 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
24EEHaibin Zhang, Zhenhua Duan: Symbolic Algorithm Analysis of Rectangular Hybrid Systems. TAMC 2008: 294-305
23EECong Tian, Zhenhua Duan: Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58
22EEZhenhua Duan, Nan Zhang: A Complete Axiomatization of Propositional Projection Temporal Logic. TASE 2008: 271-278
21EEZhenhua Duan, Cong Tian, Li Zhang: A decision procedure for propositional projection temporal logic with infinite models. Acta Inf. 45(1): 43-78 (2008)
20EEXiaoxiao Yang, Zhenhua Duan: Operational semantics of Framed Tempura. J. Log. Algebr. Program. 78(1): 22-51 (2008)
19EEZhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008)
2007
18EELihui Lei, Zhenhua Duan: Automating Web Service Composition for Collaborative Business Processes. CSCWD 2007: 894-899
17EEPeng Men, Zhenhua Duan, Bin Yu: Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. ICATPN 2007: 362-380
16EEErtao Lv, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Zhuo Peng: Incorporating Clusters into Hybrid P2P Network. ICDS 2007: 17
15EEZhuo Peng, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Ertao Lv: HP2P: A Hybrid Hierarchical P2P Network. ICDS 2007: 18
14EECong Tian, Zhenhua Duan: Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265
13EEXiaoxiao Yang, Zhenhua Duan: Operational Semantics of Framed Temporal Logic Programs. SOFSEM (1) 2007: 566-578
12EEZhenhua Duan, Cong Tian: Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532
11EEYongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang: An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260
10EELihui Lei, Zhenhua Duan: Integrating AJAX and Web Services for Cooperative Image Editing. IT Professional 9(3): 25-29 (2007)
2006
9EELihui Lei, Zhenhua Duan, Bin Yu: Semantic Matching of Web Services Based on Choreographies. CSCWD 2006: 751-756
8EELihui Lei, Zhenhua Duan, Bin Yu: Semantic Matching of Web Services for Collaborative Business Processes. CSCWD (Selected Papers) 2006: 479-488
7EEZhile Zou, Zhenhua Duan: Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA. ECOWS 2006: 138-147
6EEZhile Zou, Zhenhua Duan, Jianli Wang: A Comprehensive Framework for Dynamic Web Services Integration. ECOWS 2006: 211-222
5EELihui Lei, Zhenhua Duan: Transforming OWL-S Process Model into EDFA for Service Discovery. ICWS 2006: 137-144
4EEYang Cao, Zhenhua Duan, Jian-Jun Qi, Zhuo Peng, Ertao Lv: Implementing Chord for HP2P Network. OTM Workshops (2) 2006: 1480-1489
2005
3EEZhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370
2004
2EEZhenhua Duan, Maciej Koutny: A Framed Temporal Logic Programming Language. J. Comput. Sci. Technol. 19(3): 341-351 (2004)
1994
1EEZhenhua Duan, Maciej Koutny, Chris Holt: Projection in Temporal Logic Programming. LPAR 1994: 333-344

Coauthor Index

1Manindra Agrawal [30]
2Jonathan Billington [31]
3Yang Cao [4] [15] [16]
4Ding-Zhu Du [30]
5Chris Holt [1]
6Maciej Koutny [1] [2] [3] [19] [31]
7Lihui Lei [5] [8] [9] [10] [18]
8Angsheng Li [30]
9Ertao Lv [4] [15] [16]
10Yongtao Ma [11]
11Peng Men [17]
12Pengcheng Nie [34]
13Zhuo Peng [4] [15] [16]
14Jian-Jun Qi [4] [15] [16]
15Cong Tian [12] [14] [21] [23] [27] [32] [33]
16Bo Wang [26]
17Jianli Wang [6]
18Lei Wang [26]
19Xiaobing Wang [11]
20Yan Xiao [29] [34]
21Chen Yang [36]
22Xiaoxiao Yang [3] [11] [13] [19] [20]
23Bin Yu [8] [9] [17]
24Haibin Zhang [24]
25Li Zhang [21]
26Man Zhang [25] [28] [37]
27Nan Zhang [22]
28Chenting Zhao [28] [37]
29Jinqiang Zhao [35]
30Zhile Zou [6] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)