Подписаться
Zhenhua Duan
Zhenhua Duan
Professor of Computer Science, Xidian University, China
Подтвержден адрес электронной почты в домене mail.xidian.edu.cn - Главная страница
Название
Процитировано
Процитировано
Год
A decision procedure for propositional projection temporal logic with infinite models
Z Duan, C Tian, L Zhang
Acta Informatica 45 (1), 43-78, 2008
1782008
Temporal logic and temporal logic programming
Z Duan
Science Press, 2005
1642005
Framed temporal logic programming
Z Duan, X Yang, M Koutny
Science of Computer Programming 70 (1), 31-61, 2008
1242008
An extended interval temporal logic and a framing technique for temporal logic programming
Z Duan
PhD Thesis. The University of Newcastle upon Tyne, 1996
1201996
A unified model checking approach with projection temporal logic
Z Duan, C Tian
International Conference on Formal Engineering Methods, 167-186, 2008
992008
A framed temporal logic programming language
ZH Duan, M Koutny
Journal of Computer Science and Technology 19 (3), 341-351, 2004
672004
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
612007
A practical decision procedure for propositional projection temporal logic with infinite models
Z Duan, C Tian
Theoretical Computer Science 554, 169-190, 2014
572014
Projection in temporal logic programming
Z Duan, M Koutny
LPAR 1994, LNCS 882, 333-344, 1994
551994
Projection in temporal logic programming
Z Duan, M Koutny, C Holt
Technical Report No.452, Department of Computing Science, The University of …, 1993
551993
Expressiveness of propositional projection temporal logic with star
C Tian, Z Duan
Theoretical Computer Science 412 (18), 1729-1744, 2011
522011
Complexity of propositional projection temporal logic with star
C Tian, Z Duan
Mathematical Structures in Computer Science 19 (1), 73-100, 2009
522009
Model checking propositional projection temporal logic based on SPIN
C Tian, Z Duan
Formal Methods and Software Engineering: 9th International Conference on …, 2007
472007
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
462008
Proceedings of the 5th international conference on Theory and applications of models of computation
M Agrawal, D Du, Z Duan, A Li
Springer-Verlag, 2008
382008
算法设计和分析
朱洪, 陈增武, 段振华, 周克武
上海科学技术文献出版社, 1989
361989
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
342009
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
332016
Making CEGAR more efficient in software model checking
C Tian, Z Duan, Z Duan
IEEE Transactions on Software Engineering 40 (12), 1206-1223, 2014
322014
Operational semantics of framed tempura
X Yang, Z Duan
The Journal of Logic and Algebraic Programming 78 (1), 22-51, 2008
322008
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20