1. A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Zhenhua Duan, Cong Tian, Nan Zhang. Theor. Comput. Sci. 609: 544-560 (2016)
  2. A complete axiom system for propositional projection temporal logic with cylinder computation model. Nan Zhang, Zhenhua Duan, Cong Tian. Theor. Comput. Sci. 609: 639-657 (2016)
  3. A practical decision procedure for Propositional Projection Temporal Logic with infinite models. Zhenhua Duan, Cong Tian. Theor. Comput. Sci. 554: 169-190 (2014)
  4. A complete proof system for propositional projection temporal logic. Zhenhua Duan, Nan Zhang, Maciej Koutny. Theor. Comput. Sci. 497: 84-107 (2013)
  5. Expressiveness of propositional projection temporal logic with star. Cong Tian, Zhenhua Duan Theor. Theor. Comput. Sci. 412(18): 1729-1744 (2011)
  6. Complexity of propositional projection temporal logic with star. Cong Tian, Zhenhua Duan. Mathematical Structures in Computer Science 19(1): 73-100 (2009)
  7. A decision procedure for propositional projection temporal logic with infinite models.Zhenhua Duan, Cong Tian, Li Zhang. Acta Inf. 45(1): 43-78 (2008)
  8. PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic. Xiaoming Zhang, Zhenhua Duan, Cong Tian. SOFL+MSVL 2015: 195-205
  9. Normal Form Expressions of Propositional Projection Temporal Logic. Zhenhua Duan, Cong Tian, Nan Zhang. COCOON 2014: 84-93
  10. Bounded Model Checking for Propositional Projection Temporal Logic. Zhenhua Duan, Cong Tian, Mengfei Yang, Jia He. COCOON 2013: 591-602
  11. Symbolic Model Checking for Propositional Projection Temporal Logic. Tao Pang, Zhenhua Duan, Cong Tian. TASE 2012: 9-16
  12. An Improved Decision Procedure for Propositional Projection Temporal Logic.Zhenhua Duan, Cong Tian. ICFEM 2010: 90-105
  13. Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. Cong Tian, Zhenhua Duan. TAMC 2008: 47-58
  14. A Complete Axiomatization of Propositional Projection Temporal Logic. Zhenhua Duan, Nan Zhang. TASE 2008: 271-278
  15. Model Checking Propositional Projection Temporal Logic Based on SPIN.Cong Tian, Zhenhua Duan. ICFEM 2007: 246-265
  16. Decidability of Propositional Projection Temporal Logic with Infinite Models.Zhenhua Duan, Cong Tian. TAMC 2007: 521-532

访问量：

Copyright © 版权 ICTT