×

zbMATH — the first resource for mathematics

Duan, Zhenhua

Compute Distance To:
Author ID: duan.zhenhua Recent zbMATH articles by "Duan, Zhenhua"
Published as: Duan, Zhenhua; Duan, Z.
Documents Indexed: 95 Publications since 1990, including 5 Books

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 192 times in 66 Documents Cited by Year
A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039
Duan, Zhenhua; Tian, Cong; Zhang, Li
32
2008
Framed temporal logic programming. Zbl 1131.68036
Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej
22
2008
Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping. Zbl 1410.93121
Song, Xinmin; Duan, Zhenhua; Park, Ju H.
11
2016
Complexity of propositional projection temporal logic with star. Zbl 1161.03008
Tian, Cong; Duan, Zhenhua
11
2009
A complete proof system for propositional projection temporal logic. Zbl 1417.03146
Duan, Zhenhua; Zhang, Nan; Koutny, Maciej
11
2013
A practical decision procedure for propositional projection temporal logic with infinite models. Zbl 1358.68188
Duan, Zhenhua; Tian, Cong
11
2014
Expressiveness of propositional projection temporal logic with star. Zbl 1221.03018
Tian, Cong; Duan, Zhenhua
10
2011
A cylinder computation model for many-core parallel computing. Zbl 1416.68074
Zhang, Nan; Duan, Zhenhua; Tian, Cong
9
2013
Operational semantics of Framed Tempura. Zbl 1170.68006
Yang, Xiaoxiao; Duan, Zhenhua
7
2008
Torsional impact response of a penny-shaped interface crack in bonded materials with a graded material interlayer. Zbl 1110.74552
Li, C.; Duan, Z.; Zou, Z.
7
2002
Unconditional secure communication: a Russian cards protocol. Zbl 1195.94053
Duan, Zhenhua; Yang, Chen
5
2010
A compiler for MSVL and its applications. Zbl 1407.68096
Yang, Kai; Duan, Zhenhua; Tian, Cong; Zhang, Nan
5
2018
A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Zbl 1370.68200
Duan, Zhenhua; Tian, Cong; Zhang, Nan
5
2016
Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. Zbl 1140.03305
Tian, Cong; Duan, Zhenhua
5
2008
A mechanism of function calls in MSVL. Zbl 1353.68184
Zhang, Nan; Duan, Zhenhua; Tian, Cong
5
2016
Axiomatic semantics of projection temporal logic programs. Zbl 1213.68186
Yang, Xiaoxiao; Duan, Zhenhua; Ma, Qian
4
2010
On general threshold and general cascade models of social influence. Zbl 1390.91271
Wu, Weili; Du, Hongwei; Wang, Huijuan; Wu, Lidong; Duan, Zhenhua; Tian, Cong
4
2018
Semantics of framed temporal logic programs. Zbl 1165.68329
Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej
4
2005
A formal proof of the deadline driven scheduler in PPTL axiomatic system. Zbl 1360.68771
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Dingzhu
4
2014
A complete axiom system for propositional projection temporal logic with cylinder computation model. Zbl 1332.68145
Zhang, Nan; Duan, Zhenhua; Tian, Cong
3
2016
Operational semantics of framed temporal logic programs. Zbl 1131.68407
Yang, Xiaoxiao; Duan, Zhenhua
2
2007
Verification of distributed systems with the axiomatic system of MSVL. Zbl 1328.68032
Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing
2
2015
Bounded model checking for propositional projection temporal logic. Zbl 1382.68141
Duan, Zhenhua; Tian, Cong; Yang, Mengfei; He, Jia
2
2013
Verifying safety critical task scheduling systems in PPTL axiom system. Zbl 1333.90055
Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong
2
2016
Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs. Zbl 1240.68151
Shu, Xinfeng; Duan, Zhenhua
1
2010
Public communication based on Russian cards protocol: a case study. Zbl 1342.94070
He, Jia; Duan, Zhenhua
1
2011
Modeling and analysis of nested interrupt systems. Zbl 1424.68030
Cui, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan
1
2018
Two fundamental theorems of traceable automata. Zbl 0704.68081
Hao, Kegang; Duan, Zhenhua
1
1990
Secure communications with strange planet protocol. Zbl 1298.68048
Tian, Cong; Duan, Zhenhua; Liu, Jin
1
2014
Some fixed-point issues in PPTL. Zbl 1391.03018
Duan, Zhenhua; Ma, Qian; Tian, Cong; Zhang, Nan
1
2013
A transformation from p-\(\pi \) to MSVL. Zbl 1405.68217
Luo, Ling; Duan, Zhenhua
1
2013
Decidability of propositional projection temporal logic with infinite models. Zbl 1198.68167
Duan, Zhenhua; Tian, Cong
1
2007
Bounded model checking of traffic light control system. Zbl 1351.68169
Yu, Bin; Duan, Zhenhua; Tian, Cong
1
2014
A compiler for MSVL and its applications. Zbl 1407.68096
Yang, Kai; Duan, Zhenhua; Tian, Cong; Zhang, Nan
5
2018
On general threshold and general cascade models of social influence. Zbl 1390.91271
Wu, Weili; Du, Hongwei; Wang, Huijuan; Wu, Lidong; Duan, Zhenhua; Tian, Cong
4
2018
Modeling and analysis of nested interrupt systems. Zbl 1424.68030
Cui, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan
1
2018
Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping. Zbl 1410.93121
Song, Xinmin; Duan, Zhenhua; Park, Ju H.
11
2016
A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Zbl 1370.68200
Duan, Zhenhua; Tian, Cong; Zhang, Nan
5
2016
A mechanism of function calls in MSVL. Zbl 1353.68184
Zhang, Nan; Duan, Zhenhua; Tian, Cong
5
2016
A complete axiom system for propositional projection temporal logic with cylinder computation model. Zbl 1332.68145
Zhang, Nan; Duan, Zhenhua; Tian, Cong
3
2016
Verifying safety critical task scheduling systems in PPTL axiom system. Zbl 1333.90055
Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong
2
2016
Verification of distributed systems with the axiomatic system of MSVL. Zbl 1328.68032
Ma, Qian; Duan, Zhenhua; Zhang, Nan; Wang, Xiaobing
2
2015
A practical decision procedure for propositional projection temporal logic with infinite models. Zbl 1358.68188
Duan, Zhenhua; Tian, Cong
11
2014
A formal proof of the deadline driven scheduler in PPTL axiomatic system. Zbl 1360.68771
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Dingzhu
4
2014
Secure communications with strange planet protocol. Zbl 1298.68048
Tian, Cong; Duan, Zhenhua; Liu, Jin
1
2014
Bounded model checking of traffic light control system. Zbl 1351.68169
Yu, Bin; Duan, Zhenhua; Tian, Cong
1
2014
A complete proof system for propositional projection temporal logic. Zbl 1417.03146
Duan, Zhenhua; Zhang, Nan; Koutny, Maciej
11
2013
A cylinder computation model for many-core parallel computing. Zbl 1416.68074
Zhang, Nan; Duan, Zhenhua; Tian, Cong
9
2013
Bounded model checking for propositional projection temporal logic. Zbl 1382.68141
Duan, Zhenhua; Tian, Cong; Yang, Mengfei; He, Jia
2
2013
Some fixed-point issues in PPTL. Zbl 1391.03018
Duan, Zhenhua; Ma, Qian; Tian, Cong; Zhang, Nan
1
2013
A transformation from p-\(\pi \) to MSVL. Zbl 1405.68217
Luo, Ling; Duan, Zhenhua
1
2013
Expressiveness of propositional projection temporal logic with star. Zbl 1221.03018
Tian, Cong; Duan, Zhenhua
10
2011
Public communication based on Russian cards protocol: a case study. Zbl 1342.94070
He, Jia; Duan, Zhenhua
1
2011
Unconditional secure communication: a Russian cards protocol. Zbl 1195.94053
Duan, Zhenhua; Yang, Chen
5
2010
Axiomatic semantics of projection temporal logic programs. Zbl 1213.68186
Yang, Xiaoxiao; Duan, Zhenhua; Ma, Qian
4
2010
Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs. Zbl 1240.68151
Shu, Xinfeng; Duan, Zhenhua
1
2010
Complexity of propositional projection temporal logic with star. Zbl 1161.03008
Tian, Cong; Duan, Zhenhua
11
2009
A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039
Duan, Zhenhua; Tian, Cong; Zhang, Li
32
2008
Framed temporal logic programming. Zbl 1131.68036
Duan, Zhenhua; Yang, Xiaoxiao; Koutny, Maciej
22
2008
Operational semantics of Framed Tempura. Zbl 1170.68006
Yang, Xiaoxiao; Duan, Zhenhua
7
2008
Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. Zbl 1140.03305
Tian, Cong; Duan, Zhenhua
5
2008
Operational semantics of framed temporal logic programs. Zbl 1131.68407
Yang, Xiaoxiao; Duan, Zhenhua
2
2007
Decidability of propositional projection temporal logic with infinite models. Zbl 1198.68167
Duan, Zhenhua; Tian, Cong
1
2007
Semantics of framed temporal logic programs. Zbl 1165.68329
Duan, 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.74552
Li, C.; Duan, Z.; Zou, Z.
7
2002
Two fundamental theorems of traceable automata. Zbl 0704.68081
Hao, Kegang; Duan, Zhenhua
1
1990
all top 5

Cited by 90 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 Yang, Kai
2 Yang, MengFei
1 Almutairi, Naif B.
1 Anthoni, Selvaraj Marshal
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 Karimi, Hamid Reza
1 Koutny, Maciej
1 Landerreche, Esteban
1 Li, Jianwen
1 Li, Ling
1 Li, Xiaojian
1 Li, Yueyang
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 Salehi, Abbas
1 Selvaraj, Palanisamy
1 Shen, Mouquan
1 Shi, Chong-Xiao
1 Shi, Xuanxuan
1 Soler-Toscano, Fernando
1 Stinson, Douglas Robert
1 Swanson, Colleen M.
1 van Ditmarsch, Hans Pieter
1 Vardi, Moshe Y.
1 Wang, Haiyang
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, Haibin
1 Zhang, Lijun
1 Zhang, Qingling
1 Zhang, Ruimei
1 Zhang, Wenhui
1 Zhang, Yu
1 Zhong, Maiying
1 Zhong, Shou-Ming
1 Zhou, Jianping
1 Zhou, Qinglei
1 Zhu, Shufang
1 Zhu, Weijun

Citations by Year