×

zbMATH — the first resource for mathematics

Tian, Cong

Compute Distance To:
Author ID: tian.cong Recent zbMATH articles by "Tian, Cong"
Published as: Tian, C.; Tian, Cong
Documents Indexed: 57 Publications since 1990, including 3 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 122 times in 51 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
Complexity of propositional projection temporal logic with star. Zbl 1161.03008
Tian, Cong; Duan, Zhenhua
12
2009
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
11
2011
A cylinder computation model for many-core parallel computing. Zbl 1416.68074
Zhang, Nan; Duan, Zhenhua; Tian, Cong
9
2013
A compiler for MSVL and its applications. Zbl 1407.68096
Yang, Kai; Duan, Zhenhua; Tian, Cong; Zhang, Nan
5
2018
A mechanism of function calls in MSVL. Zbl 1353.68184
Zhang, Nan; Duan, Zhenhua; Tian, Cong
5
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
Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. Zbl 1140.03305
Tian, Cong; Duan, Zhenhua
5
2008
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
Decidability of propositional projection temporal logic with infinite models. Zbl 1198.68167
Duan, Zhenhua; Tian, Cong
4
2007
Bäcklund transformations for the isospectral and nonisospectral AKNS hierarchies. Zbl 0726.58043
Tian, C.; Zhang, Y. J.
4
1990
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
3
2018
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
Bounded model checking for propositional projection temporal logic. Zbl 1382.68141
Duan, Zhenhua; Tian, Cong; Yang, Mengfei; He, Jia
2
2013
Index set expressions can represent temporal logic formulas. Zbl 07091684
Duan, Zhenhua; Tian, Cong; Zhang, Nan; Ma, Qian; Du, Hongwei
1
2019
Modeling and analysis of nested interrupt systems. Zbl 1424.68030
Cui, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan
1
2018
Bounded model checking of traffic light control system. Zbl 1351.68169
Yu, Bin; Duan, Zhenhua; Tian, Cong
1
2014
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
Index set expressions can represent temporal logic formulas. Zbl 07091684
Duan, Zhenhua; Tian, Cong; Zhang, Nan; Ma, Qian; Du, Hongwei
1
2019
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
3
2018
Modeling and analysis of nested interrupt systems. Zbl 1424.68030
Cui, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan
1
2018
A mechanism of function calls in MSVL. Zbl 1353.68184
Zhang, Nan; Duan, Zhenhua; Tian, Cong
5
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 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
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
Bounded model checking of traffic light control system. Zbl 1351.68169
Yu, Bin; Duan, Zhenhua; Tian, Cong
1
2014
Secure communications with strange planet protocol. Zbl 1298.68048
Tian, Cong; Duan, Zhenhua; Liu, Jin
1
2014
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
Expressiveness of propositional projection temporal logic with star. Zbl 1221.03018
Tian, Cong; Duan, Zhenhua
11
2011
Complexity of propositional projection temporal logic with star. Zbl 1161.03008
Tian, Cong; Duan, Zhenhua
12
2009
A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039
Duan, Zhenhua; Tian, Cong; Zhang, Li
32
2008
Propositional projection temporal logic, Büchi automata and \(\omega \)-regular expressions. Zbl 1140.03305
Tian, Cong; Duan, Zhenhua
5
2008
Decidability of propositional projection temporal logic with infinite models. Zbl 1198.68167
Duan, Zhenhua; Tian, Cong
4
2007
Bäcklund transformations for the isospectral and nonisospectral AKNS hierarchies. Zbl 0726.58043
Tian, C.; Zhang, Y. J.
4
1990

Citations by Year