Concepedia
Statistics
Publications
54
Citations
1.4K
H-Index
23
Active since
2007
Affiliations
Xidian University(Current)
Huazhong University of Science and Technology
Hubei University of Technology
Cong Tian is an author at Xidian University specializing in computer science, computing, and model checking.
Publications per year
2007–2025
A decision procedure for propositional projection temporal logic with infinite models
Zhenhua Duan, Cong Tian, Li Zhang · Acta Informatica · 2007 · 137 citations
Humanities, Computer Science, Mathematics +14
Study on Vibration of Iron Core of Transformer and Reactor Based on Maxwell Stress and Anisotropic Magnetostriction
Pengning Zhang, Lin Li, Zhiguang Cheng et al. · IEEE Transactions on Magnetics · 2018 · 70 citations
Engineering, Electrical Engineering, Physics +15
Wet grinding carbonation technique: Achieving rapid carbon mineralization of concrete slurry waste under low CO2 flow rate
Xingyang He, Jingyi Zeng, Jin Yang et al. · Chemical Engineering Journal · 2024 · 60 citations
Engineering, Civil Engineering, Environmental Engineering +16
Expressiveness of propositional projection temporal logic with star
Cong Tian, Zhenhua Duan · Theoretical Computer Science · 2010 · 49 citations
Humanities, Computer Science, Mathematics +12
A practical decision procedure for Propositional Projection Temporal Logic with infinite models
Zhenhua Duan, Cong Tian · Theoretical Computer Science · 2014 · 45 citations
Humanities, Computer Science, Mathematics +13
1–5 of 54