|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 33 keywords
|
|
|
|
|
Results
Found 58 publication records. Showing 58 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pengcheng Nie, Zhenhua Duan |
Efficient and scalable scheduling for performance heterogeneous multicore systems.  |
J. Parallel Distrib. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Expressiveness of propositional projection temporal logic with star. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dapeng Mo, Xiaobing Wang, Zhenhua Duan |
Asynchronous Communication in MSVL. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Nie, Zhenhua Duan, Bohu Huang |
ESHMP: A Stall-Time-Based Scheduling for Performance Heterogeneous Multicore Systems. |
HPCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Zhang, Zhenhua Duan |
A Semantic Model for Many-Core Parallel Computing. |
COCOA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia He, Zhenhua Duan |
Public Communication Based on Russian Cards Protocol: A Case Study. |
COCOA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Making Abstraction-Refinement Efficient in Model Checking. |
COCOON |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Focus Game for Projection Temporal Logic. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, C.-H. Luke Ong (eds.) |
5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011 |
TASE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhenhua Duan, Chen Yang |
Unconditional secure communication: a Russian Cards protocol. |
J. Comb. Optim. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxiao Yang, Zhenhua Duan, Qian Ma |
Axiomatic semantics of projection temporal logic programs. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Making Abstraction Refinement Efficient in Model Checking |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Alternating Interval Based Temporal Logics. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian |
An Improved Decision Procedure for Propositional Projection Temporal Logic. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Song, Zhenhua Duan, Cong Tian |
Non-Functional Requirements Elicitation and Incorporation into Class Diagrams. |
Intelligent Information Processing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
A Transformation from PPTL to S1S. |
COCOA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian |
An Executable Concurrent Model for OWL-S Process Models. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang |
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxiao Yang, Zhenhua Duan |
Axiomatic Temporal Logic Programs Verification. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
A note on stutter-invariant PLTL. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Complexity of propositional projection temporal logic with star. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Xinfeng Shu |
A Proof System for Projection Temporal Logic. |
Computer and Information Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Chen Yang |
Generalized Russian Cards Problem. |
COCOA |
2009 |
DBLP DOI BibTeX RDF |
Russian Cards Problem, picking rule, deleting rule |
| 1 | Jinqiang Zhao, Zhenhua Duan |
Verification of Use Case with Petri Nets in Requirement Analysis. |
ICCSA |
2009 |
DBLP DOI BibTeX RDF |
Petri net, Model Driven Development, use case, requirement analysis |
| 1 | Yan Xiao, Zhenhua Duan, Pengcheng Nie |
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenting Zhao, Zhenhua Duan, Man Zhang |
A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxiao Yang, Zhenhua Duan |
Operational semantics of Framed Tempura. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
Framed temporal logic programming. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian, Li Zhang |
A decision procedure for propositional projection temporal logic with infinite models. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian |
A Unified Model Checking Approach with Projection Temporal Logic. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Zhenhua Duan, Maciej Koutny (eds.) |
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 |
ACSD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yan Xiao, Zhenhua Duan |
Dynamic Critical-Path based on Fit Degree scheduling for reconfigurable multi-FPGAs. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wang, Zhenhua Duan, Lei Wang |
Kapa: A File Sharing System Based on HP2P. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
stability, P2P, DHT, file sharing system |
| 1 | Man Zhang, Zhenhua Duan, Chenting Zhao |
Semi-automatically annotating data semantics to web services using ontology mapping. |
CSCWD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness |
| 1 | Haibin Zhang, Zhenhua Duan |
Symbolic Algorithm Analysis of Rectangular Hybrid Systems. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, hybrid systems, reachability analysis |
| 1 | Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li (eds.) |
Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings |
TAMC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Man Zhang, Zhenhua Duan |
From Business Process Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Nan Zhang |
A Complete Axiomatization of Propositional Projection Temporal Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
temporal logic, completeness, projection, inference rules, axiom |
| 1 | Lihui Lei, Zhenhua Duan |
Integrating AJAX and Web Services for Cooperative Image Editing. |
IT Professional |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Model Checking Propositional Projection Temporal Logic Based on SPIN. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton |
| 1 | Peng Men, Zhenhua Duan, Bin Yu |
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web services, matchmaking, fuzzy petri net |
| 1 | Lihui Lei, Zhenhua Duan |
Automating Web Service Composition for Collaborative Business Processes. |
CSCWD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian |
Decidability of Propositional Projection Temporal Logic with Infinite Models. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
infinite model, model checking, satisfiability, decidability, interval temporal logic |
| 1 | Zhuo Peng, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Ertao Lv |
HP2P: A Hybrid Hierarchical P2P Network. |
ICDS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ertao Lv, Zhenhua Duan, Jian-Jun Qi, Yang Cao, Zhuo Peng |
Incorporating Clusters into Hybrid P2P Network. |
ICDS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang |
An Interpreter for Framed Tempura and Its Application. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
temporal logic programming, projection, framing, normal form |
| 1 | Xiaoxiao Yang, Zhenhua Duan |
Operational Semantics of Framed Temporal Logic Programs. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhile Zou, Zhenhua Duan |
Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhile Zou, Zhenhua Duan, Jianli Wang |
A Comprehensive Framework for Dynamic Web Services Integration. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cao, Zhenhua Duan, Jian-Jun Qi, Zhuo Peng, Ertao Lv |
Implementing Chord for HP2P Network. |
OTM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lihui Lei, Zhenhua Duan, Bin Yu |
Semantic Matching of Web Services Based on Choreographies. |
CSCWD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lihui Lei, Zhenhua Duan, Bin Yu |
Semantic Matching of Web Services for Collaborative Business Processes. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lihui Lei, Zhenhua Duan |
Transforming OWL-S Process Model into EDFA for Service Discovery. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
Semantics of Framed Temporal Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
Temporal logic programming, semantics, framing, monotonicity, minimal model |
| 1 | Zhenhua Duan, Maciej Koutny |
A Framed Temporal Logic Programming Language. |
J. Comput. Sci. Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Maciej Koutny, Chris Holt |
Projection in Temporal Logic Programming. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
Temporal logic, programming, projection |
Displaying result #1 - #58 of 58 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")