 | 2012 |
|---|
| 58 |       | Pengcheng Nie,
Zhenhua Duan:
Efficient and scalable scheduling for performance heterogeneous multicore systems.
J. Parallel Distrib. Comput. 72(3): 353-361 (2012) |
| 2011 |
|---|
| 57 | | Zhenhua Duan,
C.-H. Luke Ong:
5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011
IEEE Computer Society 2011 |
| 56 | | Jia He,
Zhenhua Duan:
Public Communication Based on Russian Cards Protocol: A Case Study.
COCOA 2011: 192-206 |
| 55 | | Nan Zhang,
Zhenhua Duan:
A Semantic Model for Many-Core Parallel Computing.
COCOA 2011: 464-479 |
| 54 | | Cong Tian,
Zhenhua Duan:
Making Abstraction-Refinement Efficient in Model Checking.
COCOON 2011: 402-413 |
| 53 | | Pengcheng Nie,
Zhenhua Duan,
Bohu Huang:
ESHMP: A Stall-Time-Based Scheduling for Performance Heterogeneous Multicore Systems.
HPCC 2011: 101-107 |
| 52 | | Dapeng Mo,
Xiaobing Wang,
Zhenhua Duan:
Asynchronous Communication in MSVL.
ICFEM 2011: 82-97 |
| 51 | | Cong Tian,
Zhenhua Duan:
Focus Game for Projection Temporal Logic.
TASE 2011: 45-51 |
| 50 | | Cong Tian,
Zhenhua Duan:
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
CoRR abs/1109.5506: (2011) |
| 49 | | Cong Tian,
Zhenhua Duan:
Expressiveness of propositional projection temporal logic with star.
Theor. Comput. Sci. 412(18): 1729-1744 (2011) |
| 2010 |
|---|
| 48 | | Cong Tian,
Zhenhua Duan:
A Transformation from PPTL to S1S.
COCOA (2) 2010: 374-386 |
| 47 | | Cong Tian,
Zhenhua Duan:
Alternating Interval Based Temporal Logics.
ICFEM 2010: 694-709 |
| 46 | | Zhenhua Duan,
Cong Tian:
An Improved Decision Procedure for Propositional Projection Temporal Logic.
ICFEM 2010: 90-105 |
| 45 | | Xiaoyu Song,
Zhenhua Duan,
Cong Tian:
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams.
Intelligent Information Processing 2010: 72-81 |
| 44 | | Zhenhua Duan,
Cong Tian:
An Executable Concurrent Model for OWL-S Process Models.
QSIC 2010: 405-413 |
| 43 | | Haibin Zhang,
Zhenhua Duan,
Bohu Huang,
Xiaobing Wang,
Long Zhang:
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic.
TASE 2010: 126-131 |
| 42 | | Xiaoxiao Yang,
Zhenhua Duan:
Axiomatic Temporal Logic Programs Verification.
TASE 2010: 87-94 |
| 41 | | Cong Tian,
Zhenhua Duan:
Making Abstraction Refinement Efficient in Model Checking
CoRR abs/1007.3569: (2010) |
| 40 | | Zhenhua Duan,
Chen Yang:
Unconditional secure communication: a Russian Cards protocol.
J. Comb. Optim. 19(4): 501-530 (2010) |
| 39 | | Xiaoxiao Yang,
Zhenhua Duan,
Qian Ma:
Axiomatic semantics of projection temporal logic programs.
Mathematical Structures in Computer Science 20(5): 865-914 (2010) |
| 2009 |
|---|
| 38 | | Chenting Zhao,
Zhenhua Duan,
Man Zhang:
A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics.
ACIS-ICIS 2009: 483-488 |
| 37 | | Zhenhua Duan,
Chen Yang:
Generalized Russian Cards Problem.
COCOA 2009: 85-97 |
| 36 | | Jinqiang Zhao,
Zhenhua Duan:
Verification of Use Case with Petri Nets in Requirement Analysis.
ICCSA (2) 2009: 29-42 |
| 35 | | Yan Xiao,
Zhenhua Duan,
Pengcheng Nie:
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems.
TASE 2009: 36-43 |
| 34 | | Zhenhua Duan,
Xinfeng Shu:
A Proof System for Projection Temporal Logic.
Computer and Information Science 2009: 273-283 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page