| |
| 2009 | ||
|---|---|---|
| 6 | EE | Cong Tian, Zhenhua Duan: Complexity of propositional projection temporal logic with star. Mathematical Structures in Computer Science 19(1): 73-100 (2009) |
| 2008 | ||
| 5 | EE | Zhenhua Duan, Cong Tian: A Unified Model Checking Approach with Projection Temporal Logic. ICFEM 2008: 167-186 |
| 4 | EE | Cong Tian, Zhenhua Duan: Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. TAMC 2008: 47-58 |
| 3 | EE | Zhenhua Duan, Cong Tian, Li Zhang: A decision procedure for propositional projection temporal logic with infinite models. Acta Inf. 45(1): 43-78 (2008) |
| 2007 | ||
| 2 | EE | Cong Tian, Zhenhua Duan: Model Checking Propositional Projection Temporal Logic Based on SPIN. ICFEM 2007: 246-265 |
| 1 | EE | Zhenhua Duan, Cong Tian: Decidability of Propositional Projection Temporal Logic with Infinite Models. TAMC 2007: 521-532 |
| 1 | Zhenhua Duan | [1] [2] [3] [4] [5] [6] |
| 2 | Li Zhang | [3] |