Edit Profile (opens in new tab) Duan, Zhenhua Compute Distance To: Compute Author ID: duan.zhenhua Published as: Duan, Zhenhua Documents Indexed: 90 Publications since 1990 5 Contributions as Editor Co-Authors: 52 Co-Authors with 93 Joint Publications 2,134 Co-Co-Authors all top 5 Co-Authors 0 single-authored 59 Tian, Cong 26 Zhang, Nan 9 Du, Hongwei 6 Koutny, Maciej 6 Liu, Jin 5 Ma, Qian 5 Yang, Xiaoxiao 4 Shu, Xinfeng 4 Yang, MengFei 3 Du, Ding-Zhu 3 Klaudel, Hanna 3 Liu, Shaoying 3 Lu, Xu 3 Luo, Ling 3 Wang, Xiaobing 3 Yang, Kai 2 He, Jia 2 Nagoya, Fumiko 2 Song, Xinmin 2 Yang, Chen 2 Zhang, Haibin 1 Agrawal, Manindra 1 Bu, Kangkang 1 Chen, Chu 1 Cui, Bin 1 Cui, Jin 1 Duan, Zhao 1 Gu, Bin 1 Hao, Kegang 1 Li, Angsheng 1 Liu, Xiaofang 1 Liu, Yao 1 Liu, Zhigang 1 Men, Peng 1 Moszkowski, Ben C. 1 Pang, Tao 1 Park, Juhyun (Jessie) 1 Qian, Lin 1 Shi, Ya 1 Song, Jun 1 Tang, Xianhua 1 Wang, Haiyang 1 Wang, Huijuan 1 Wang, Jiaying 1 Wu, Lidong 1 Wu, Weili 1 Yan, Xuehua 1 Yao, Chenguang 1 Yuan, Xiaoshuai 1 Zhang, Xiaoming 1 Zhou, MengChu 1 Zhou, Xianjun all top 5 Serials 21 Theoretical Computer Science 9 Journal of Combinatorial Optimization 5 Lecture Notes in Computer Science 4 Journal of Software 3 Journal of Xi’an Jiaotong University 2 MSCS. Mathematical Structures in Computer Science 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 Information Processing Letters 1 Journal of Applied Mechanics 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 Information Sciences 1 Science of Computer Programming 1 Natural Science Journal of Xiangtan University 1 Acta Scientiarum Naturalium Universitatis Normalis Hunanensis 1 Formal Aspects of Computing 1 Journal of Hunan University. Natural Sciences 1 Fundamenta Informaticae 1 Optimization Letters all top 5 Fields 80 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 8 Operations research, mathematical programming (90-XX) 8 Information and communication theory, circuits (94-XX) 5 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 2 Ordinary differential equations (34-XX) 2 Systems theory; control (93-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 39 Publications have been cited 203 times in 70 Documents Cited by ▼ Year ▼ A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039Duan, Zhenhua; Tian, Cong; Zhang, Li 32 2008 Framed temporal logic programming. Zbl 1131.68036Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej 22 2008 A complete proof system for propositional projection temporal logic. Zbl 1417.03146Duan, Zhenhua; Zhang, Nan; Koutny, Maciej 11 2013 Complexity of propositional projection temporal logic with star. Zbl 1161.03008Tian, Cong; Duan, Zhenhua 11 2009 Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping. Zbl 1410.93121Song, Xinmin; Duan, Zhenhua; Park, Ju H. 11 2016 A practical decision procedure for propositional projection temporal logic with infinite models. Zbl 1358.68188Duan, Zhenhua; Tian, Cong 11 2014 Expressiveness of propositional projection temporal logic with star. Zbl 1221.03018Tian, Cong; Duan, Zhenhua 10 2011 A cylinder computation model for many-core parallel computing. Zbl 1416.68074Zhang, Nan; Duan, Zhenhua; Tian, Cong 9 2013 Operational semantics of Framed Tempura. Zbl 1170.68006Yang, Xiaoxiao; Duan, Zhenhua 7 2008 Unconditional secure communication: a Russian cards protocol. Zbl 1195.94053Duan, Zhenhua; Yang, Chen 7 2010 Torsional impact response of a penny-shaped interface crack in bonded materials with a graded material interlayer. Zbl 1110.74552Li, C.; Duan, Z.; Zou, Z. 7 2002 A compiler for MSVL and its applications. Zbl 1407.68096Yang, Kai; Duan, Zhenhua; Tian, Cong; Zhang, Nan 5 2018 Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. Zbl 1140.03305Tian, Cong; Duan, Zhenhua 5 2008 A mechanism of function calls in MSVL. Zbl 1353.68184Zhang, Nan; Duan, Zhenhua; Tian, Cong 5 2016 A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Zbl 1370.68200Duan, Zhenhua; Tian, Cong; Zhang, Nan 5 2016 Semantics of framed temporal logic programs. Zbl 1165.68329Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej 4 2005 Axiomatic semantics of projection temporal logic programs. Zbl 1213.68186Yang, Xiaoxiao; Duan, Zhenhua; Ma, Qian 4 2010 A formal proof of the deadline driven scheduler in PPTL axiomatic system. Zbl 1360.68771Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Dingzhu 4 2014 On general threshold and general cascade models of social influence. Zbl 1390.91271Wu, Weili; Du, Hongwei; Wang, Huijuan; Wu, Lidong; Duan, Zhenhua; Tian, Cong 4 2018 A complete axiom system for propositional projection temporal logic with cylinder computation model. Zbl 1332.68145Zhang, Nan; Duan, Zhenhua; Tian, Cong 3 2016 Public communication based on Russian cards protocol: a case study. Zbl 1342.94070He, Jia; Duan, Zhenhua 2 2011 Verification of distributed systems with the axiomatic system of MSVL. Zbl 1328.68032Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing 2 2015 Verifying safety critical task scheduling systems in PPTL axiom system. Zbl 1333.90055Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong 2 2016 Bounded model checking for propositional projection temporal logic. Zbl 1382.68141Duan, Zhenhua; Tian, Cong; Yang, Mengfei; He, Jia 2 2013 Operational semantics of framed temporal logic programs. Zbl 1131.68407Yang, Xiaoxiao; Duan, Zhenhua 2 2007 Extending MSVL with semaphore. Zbl 1476.68183Shu, Xinfeng; Duan, Zhenhua 2 2016 A decision procedure and complete axiomatization for projection temporal logic. Zbl 07188529Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei 2 2020 Index set expressions can represent temporal logic formulas. Zbl 07091684Duan, Zhenhua; Tian, Cong; Zhang, Nan; Ma, Qian; Du, Hongwei 1 2019 Deconvolution estimation problem for measurement-delay systems with packet dropping. Zbl 1414.93181Duan, Zhenhua; Song, Xinmin; Yan, Xuehua 1 2016 A transformation from p-\(\pi \) to MSVL. Zbl 1405.68217Luo, Ling; Duan, Zhenhua 1 2013 Secure communications with strange planet protocol. Zbl 1298.68048Tian, Cong; Duan, Zhenhua; Liu, Jin 1 2014 Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs. Zbl 1240.68151Shu, Xinfeng; Duan, Zhenhua 1 2010 Two fundamental theorems of traceable automata. Zbl 0704.68081Hao, Kegang; Duan, Zhenhua 1 1990 Modeling and analysis of nested interrupt systems. Zbl 1424.68030Cui, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan 1 2018 Bounded model checking of traffic light control system. Zbl 1351.68169Yu, Bin; Duan, Zhenhua; Tian, Cong 1 2014 Dynamical behavior of the bright incoherent spatial solitons in self-defocusing nonlinear media. Zbl 1366.78012Zhang, M.; Huo, G.; Duan, Z. 1 2016 Some fixed-point issues in PPTL. Zbl 1391.03018Duan, Zhenhua; Ma, Qian; Tian, Cong; Zhang, Nan 1 2013 Decidability of propositional projection temporal logic with infinite models. Zbl 1198.68167Duan, Zhenhua; Tian, Cong 1 2007 Verify heaps via unified model checking. Zbl 1464.68209Lu, Xu; Duan, Zhenhua; Tian, Cong; Du, Hongwei 1 2020 A decision procedure and complete axiomatization for projection temporal logic. Zbl 07188529Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei 2 2020 Verify heaps via unified model checking. Zbl 1464.68209Lu, Xu; Duan, Zhenhua; Tian, Cong; Du, Hongwei 1 2020 Index set expressions can represent temporal logic formulas. Zbl 07091684Duan, Zhenhua; Tian, Cong; Zhang, Nan; Ma, Qian; Du, Hongwei 1 2019 A compiler for MSVL and its applications. Zbl 1407.68096Yang, Kai; Duan, Zhenhua; Tian, Cong; Zhang, Nan 5 2018 On general threshold and general cascade models of social influence. Zbl 1390.91271Wu, Weili; Du, Hongwei; Wang, Huijuan; Wu, Lidong; Duan, Zhenhua; Tian, Cong 4 2018 Modeling and analysis of nested interrupt systems. Zbl 1424.68030Cui, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan 1 2018 Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping. Zbl 1410.93121Song, Xinmin; Duan, Zhenhua; Park, Ju H. 11 2016 A mechanism of function calls in MSVL. Zbl 1353.68184Zhang, Nan; Duan, Zhenhua; Tian, Cong 5 2016 A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Zbl 1370.68200Duan, Zhenhua; Tian, Cong; Zhang, Nan 5 2016 A complete axiom system for propositional projection temporal logic with cylinder computation model. Zbl 1332.68145Zhang, Nan; Duan, Zhenhua; Tian, Cong 3 2016 Verifying safety critical task scheduling systems in PPTL axiom system. Zbl 1333.90055Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong 2 2016 Extending MSVL with semaphore. Zbl 1476.68183Shu, Xinfeng; Duan, Zhenhua 2 2016 Deconvolution estimation problem for measurement-delay systems with packet dropping. Zbl 1414.93181Duan, Zhenhua; Song, Xinmin; Yan, Xuehua 1 2016 Dynamical behavior of the bright incoherent spatial solitons in self-defocusing nonlinear media. Zbl 1366.78012Zhang, M.; Huo, G.; Duan, Z. 1 2016 Verification of distributed systems with the axiomatic system of MSVL. Zbl 1328.68032Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing 2 2015 A practical decision procedure for propositional projection temporal logic with infinite models. Zbl 1358.68188Duan, Zhenhua; Tian, Cong 11 2014 A formal proof of the deadline driven scheduler in PPTL axiomatic system. Zbl 1360.68771Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Dingzhu 4 2014 Secure communications with strange planet protocol. Zbl 1298.68048Tian, Cong; Duan, Zhenhua; Liu, Jin 1 2014 Bounded model checking of traffic light control system. Zbl 1351.68169Yu, Bin; Duan, Zhenhua; Tian, Cong 1 2014 A complete proof system for propositional projection temporal logic. Zbl 1417.03146Duan, Zhenhua; Zhang, Nan; Koutny, Maciej 11 2013 A cylinder computation model for many-core parallel computing. Zbl 1416.68074Zhang, Nan; Duan, Zhenhua; Tian, Cong 9 2013 Bounded model checking for propositional projection temporal logic. Zbl 1382.68141Duan, Zhenhua; Tian, Cong; Yang, Mengfei; He, Jia 2 2013 A transformation from p-\(\pi \) to MSVL. Zbl 1405.68217Luo, Ling; Duan, Zhenhua 1 2013 Some fixed-point issues in PPTL. Zbl 1391.03018Duan, Zhenhua; Ma, Qian; Tian, Cong; Zhang, Nan 1 2013 Expressiveness of propositional projection temporal logic with star. Zbl 1221.03018Tian, Cong; Duan, Zhenhua 10 2011 Public communication based on Russian cards protocol: a case study. Zbl 1342.94070He, Jia; Duan, Zhenhua 2 2011 Unconditional secure communication: a Russian cards protocol. Zbl 1195.94053Duan, Zhenhua; Yang, Chen 7 2010 Axiomatic semantics of projection temporal logic programs. Zbl 1213.68186Yang, Xiaoxiao; Duan, Zhenhua; Ma, Qian 4 2010 Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs. Zbl 1240.68151Shu, Xinfeng; Duan, Zhenhua 1 2010 Complexity of propositional projection temporal logic with star. Zbl 1161.03008Tian, Cong; Duan, Zhenhua 11 2009 A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039Duan, Zhenhua; Tian, Cong; Zhang, Li 32 2008 Framed temporal logic programming. Zbl 1131.68036Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej 22 2008 Operational semantics of Framed Tempura. Zbl 1170.68006Yang, Xiaoxiao; Duan, Zhenhua 7 2008 Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. Zbl 1140.03305Tian, Cong; Duan, Zhenhua 5 2008 Operational semantics of framed temporal logic programs. Zbl 1131.68407Yang, Xiaoxiao; Duan, Zhenhua 2 2007 Decidability of propositional projection temporal logic with infinite models. Zbl 1198.68167Duan, Zhenhua; Tian, Cong 1 2007 Semantics of framed temporal logic programs. Zbl 1165.68329Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej 4 2005 Torsional impact response of a penny-shaped interface crack in bonded materials with a graded material interlayer. Zbl 1110.74552Li, C.; Duan, Z.; Zou, Z. 7 2002 Two fundamental theorems of traceable automata. Zbl 0704.68081Hao, Kegang; Duan, Zhenhua 1 1990 all cited Publications top 5 cited Publications all top 5 Cited by 98 Authors 38 Duan, Zhenhua 29 Tian, Cong 20 Zhang, Nan 8 Du, Hongwei 6 Ma, Qian 5 Wang, Xiaobing 4 Shu, Xinfeng 3 Fernández Duque, David 3 Moszkowski, Ben C. 3 Yang, Xiaoxiao 2 Liu, Jin 2 Lu, Xu 2 Song, Xinmin 2 Stinson, Douglas Robert 2 Swanson, Colleen M. 2 Yang, Kai 2 Yang, MengFei 1 Almutairi, Naif B. 1 Anthoni, Selvaraj Marshal 1 Cao, Yongzhi 1 Cau, Antonio 1 Cordón-Franco, Andrés 1 Cui, Beibei 1 Cui, Bin 1 Ding, Steven X. 1 Dong, Junyu 1 Du, Ding-Zhu 1 Du, Dongsheng 1 Fang, Qizhi 1 Feng, Xinyu 1 Fu, Ming 1 Goranko, Valentin F. 1 Gu, Bin 1 Guelev, Dimitar P. 1 He, Jifeng 1 Huang, Hejiao 1 Janicke, Helge 1 Jin, Zhao 1 Karimi, Hamid Reza 1 Koutny, Maciej 1 Landerreche, Esteban 1 Li, Jianwen 1 Li, Ling 1 Li, Tongxing 1 Li, Xiaojian 1 Li, Yueyang 1 Li, Zhifang 1 Liu, Bin 1 Liu, Shuai 1 Liu, Xiyu 1 Liu, Yajuan 1 Liu, Yao 1 Luo, Ling 1 Mahmoud, Magdi Sadik Mostafa 1 Masoumi, Behrooz 1 Mohanapriya, Saminathan 1 Ni, Qiufen 1 Park, Juhyun (Jessie) 1 Pu, Geguang 1 Rajsbaum, Sergio 1 Salehi, Abbas 1 Selvaraj, Palanisamy 1 Shen, Mouquan 1 Shi, Chong-Xiao 1 Shi, Xuanxuan 1 Soler-Toscano, Fernando 1 van Ditmarsch, Hans Pieter 1 Vardi, Moshe Ya’akov 1 Wang, Haiyang 1 Wang, Hanpin 1 Wang, Huijuan 1 Wu, Weili 1 Xi, Changjiang 1 Xu, Zhaowei 1 Yan, Xuehua 1 Yan, Yuxia 1 Yang, Chen 1 Yang, Guanghong 1 Yang, Weidong 1 Yao, Chenguang 1 Yao, Xiaopeng 1 Yuan, Xiaoshuai 1 Zeng, Deqiang 1 Zhai, Ding 1 Zhang, Bowen 1 Zhang, Haibin 1 Zhang, Lijun 1 Zhang, Qingling 1 Zhang, Ruimei 1 Zhang, Wenhui 1 Zhang, Yu 1 Zhao, Huihong 1 Zhong, Maiying 1 Zhong, Shou-Ming 1 Zhou, Jianping 1 Zhou, Qinglei 1 Zhu, Shufang 1 Zhu, Weijun all top 5 Cited in 17 Serials 23 Theoretical Computer Science 11 Journal of Combinatorial Optimization 9 Applied Mathematics and Computation 3 Formal Aspects of Computing 2 Discrete Applied Mathematics 2 Information Processing Letters 2 MSCS. Mathematical Structures in Computer Science 2 Designs, Codes and Cryptography 1 Formal Methods in System Design 1 The Electronic Journal of Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Complexity 1 Mathematical Problems in Engineering 1 Nonlinear Dynamics 1 The Journal of Logic and Algebraic Programming 1 Advances in Difference Equations 1 Frontiers of Computer Science all top 5 Cited in 14 Fields 44 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 10 Systems theory; control (93-XX) 7 Information and communication theory, circuits (94-XX) 5 Operations research, mathematical programming (90-XX) 4 Ordinary differential equations (34-XX) 3 Combinatorics (05-XX) 3 Difference and functional equations (39-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) Citations by Year