| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 60 |       | Tao Pang, Zhenhua Duan, Cong Tian: Symbolic Model Checking for Propositional Projection Temporal Logic. TASE 2012: 9-16 |
| 55 | | Cong Tian, Zhenhua Duan: Making Abstraction-Refinement Efficient in Model Checking. COCOON 2011: 402-413 |
| 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) |
| 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 |
| 41 | | Cong Tian, Zhenhua Duan: Making Abstraction Refinement Efficient in Model Checking CoRR abs/1007.3569: (2010) |
| 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) |
| 27 | | Zhenhua Duan, Cong Tian: A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186 |
| 23 | | Cong Tian, Zhenhua Duan: Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58 |
| 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) |
| 14 | | Cong Tian, Zhenhua Duan: Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265 |
| 12 | | Zhenhua Duan, Cong Tian: Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532 |
Selection of 18 from 60 records - Zhenhua Duan has 40 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page