Zhenhua Duan

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

Coauthor Index

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

Colors in the list of coauthors