| A decision procedure for propositional projection temporal logic with infinite models Z Duan, C Tian, L Zhang Acta Informatica 45 (1), 43-78, 2008 | 179 | 2008 |
| Temporal logic and temporal logic programming Z Duan Science Press, 2005 | 166 | 2005 |
| Framed temporal logic programming Z Duan, X Yang, M Koutny Science of Computer Programming 70 (1), 31-61, 2008 | 123 | 2008 |
| An extended interval temporal logic and a framing technique for temporal logic programming Z Duan PhD Thesis. The University of Newcastle upon Tyne, 1996 | 121 | 1996 |
| A unified model checking approach with projection temporal logic Z Duan, C Tian International Conference on Formal Engineering Methods, 167-186, 2008 | 96 | 2008 |
| A framed temporal logic programming language ZH Duan, M Koutny Journal of Computer Science and Technology 19 (3), 341-351, 2004 | 66 | 2004 |
| HP2P: A hybrid hierarchical P2P network Z Peng, Z Duan, JJ Qi, Y Cao, E Lv First International Conference on the Digital Society (ICDS'07), 18-18, 2007 | 64 | 2007 |
| Projection in temporal logic programming Z Duan, M Koutny LPAR 1994, LNCS 882, 333-344, 1994 | 58 | 1994 |
| Projection in temporal logic programming Z Duan, M Koutny, C Holt Technical Report No.452, Department of Computing Science, The University of …, 1993 | 58 | 1993 |
| A practical decision procedure for propositional projection temporal logic with infinite models Z Duan, C Tian Theoretical Computer Science 554, 169-190, 2014 | 57 | 2014 |
| Expressiveness of propositional projection temporal logic with star C Tian, Z Duan Theoretical Computer Science 412 (18), 1729-1744, 2011 | 53 | 2011 |
| Complexity of propositional projection temporal logic with star C Tian, Z Duan Mathematical Structures in Computer Science 19 (1), 73-100, 2009 | 51 | 2009 |
| Model checking propositional projection temporal logic based on SPIN C Tian, Z Duan Formal Methods and Software Engineering: 9th International Conference on …, 2007 | 46 | 2007 |
| Propositional Projection Temporal Logic, B chi Automata and ω-Regular Expressions C Tian, Z Duan International Conference on Theory and Applications of Models of Computation …, 2008 | 45 | 2008 |
| 算法设计和分析 朱洪， 陈增武， 段振华， 周克武 上海科学技术文献出版社, 1989 | 38 | 1989 |
| Verification of use case with petri nets in requirement analysis J Zhao, Z Duan International Conference on Computational Science and Its Applications, 29-42, 2009 | 35 | 2009 |
| A canonical form based decision procedure and model checking approach for propositional projection temporal logic Z Duan, C Tian, N Zhang Theoretical Computer Science 609, 544-560, 2016 | 33 | 2016 |
| Making CEGAR more efficient in software model checking C Tian, Z Duan, Z Duan IEEE Transactions on Software Engineering 40 (12), 1206-1223, 2014 | 32 | 2014 |
| Operational semantics of framed tempura X Yang, Z Duan The Journal of Logic and Algebraic Programming 78 (1), 22-51, 2008 | 32 | 2008 |
| Model checking concurrent systems with MSVL N Zhang, Z Duan, C Tian Science China. Information Sciences 59 (11), 118101, 2016 | 31 | 2016 |
