Cong Tian

2.0k total citations
154 papers, 924 citations indexed

About

Cong Tian is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Cong Tian has authored 154 papers receiving a total of 924 indexed citations (citations by other indexed papers that have themselves been cited), including 58 papers in Computational Theory and Mathematics, 47 papers in Artificial Intelligence and 42 papers in Software. Recurrent topics in Cong Tian's work include Formal Methods in Verification (56 papers), Software Testing and Debugging Techniques (31 papers) and Logic, programming, and type systems (18 papers). Cong Tian is often cited by papers focused on Formal Methods in Verification (56 papers), Software Testing and Debugging Techniques (31 papers) and Logic, programming, and type systems (18 papers). Cong Tian collaborates with scholars based in China, United States and Japan. Cong Tian's co-authors include Zhenhua Duan, Nan Zhang, Xiaosheng Wei, Li Zhang, Hongwei Du, Bin Yu, Zhiguang Cheng, Lin Li, David Lo and Chu Chen and has published in prestigious journals such as Scientific Reports, Chemical Engineering Journal and Construction and Building Materials.

In The Last Decade

Cong Tian

122 papers receiving 896 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Cong Tian China 16 273 268 220 144 144 154 924
P. P. Chakrabarti India 16 212 0.8× 225 0.8× 118 0.5× 166 1.2× 72 0.5× 130 932
Mattias Nyberg Sweden 21 174 0.6× 344 1.3× 261 1.2× 80 0.6× 88 0.6× 119 1.6k
Andreas Junghanns Germany 11 314 1.2× 173 0.6× 124 0.6× 103 0.7× 35 0.2× 24 912
R. Bell United Kingdom 5 115 0.4× 117 0.4× 397 1.8× 103 0.7× 136 0.9× 15 1.0k
Awni Hammouri Jordan 5 39 0.1× 117 0.4× 77 0.3× 73 0.5× 106 0.7× 11 543
Ali Asghar Pourhaji Kazem Iran 9 131 0.5× 338 1.3× 9 0.0× 297 2.1× 228 1.6× 22 905
Filip Andrén Austria 18 63 0.2× 94 0.4× 56 0.3× 205 1.4× 124 0.9× 63 1.3k
Daniel D. Deavours United States 14 193 0.7× 73 0.3× 119 0.5× 195 1.4× 105 0.7× 34 864
Smaïl Niar France 14 59 0.2× 217 0.8× 33 0.1× 236 1.6× 37 0.3× 84 937
Ruba Abu Khurma Jordan 15 76 0.3× 374 1.4× 28 0.1× 157 1.1× 129 0.9× 46 697

Countries citing papers authored by Cong Tian

Since Specialization
Citations

This map shows the geographic impact of Cong Tian's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Cong Tian with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Cong Tian more than expected).

Fields of papers citing papers by Cong Tian

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Cong Tian. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Cong Tian. The network helps show where Cong Tian may publish in the future.

Co-authorship network of co-authors of Cong Tian

This figure shows the co-authorship network connecting the top 25 collaborators of Cong Tian. A scholar is included among the top collaborators of Cong Tian based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Cong Tian. Cong Tian is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Jin, Zihao, Chen Gong, Xingyang He, et al.. (2025). Exploring the curing regimes for nonhydraulic-hydraulic cementitious material composite binder: Study on the hemihydrate phosphogypsum-ground granulated blast-furnace slag system. Cement and Concrete Composites. 160. 106018–106018. 3 indexed citations
2.
Yang, Jin, Ying Su, Cong Tian, et al.. (2025). Eco-friendly approach utilizing banana peel as a renewable additive for Portland cement. Sustainable Chemistry and Pharmacy. 44. 101928–101928. 2 indexed citations
3.
Guan, Jian, et al.. (2025). Multi-target tracking for star sensor based on CenterTrack deep learning model. Scientific Reports. 15(1). 37125–37125.
5.
Tian, Cong, et al.. (2024). Verifiable privacy-preserving semantic retrieval scheme in the edge computing. Journal of Systems Architecture. 156. 103289–103289.
6.
Tian, Cong, Nan Chen, Ying Su, et al.. (2024). Rheological properties and shrinkage crack resistance of welan gum-modified cementitious materials. Construction and Building Materials. 441. 137539–137539. 4 indexed citations
7.
Zhang, Peng, et al.. (2024). Intermediate-grained kernel elements pruning with structured sparsity. Neural Networks. 180. 106708–106708. 1 indexed citations
8.
He, Xingyang, Jingyi Zeng, Jin Yang, et al.. (2024). Wet grinding carbonation technique: Achieving rapid carbon mineralization of concrete slurry waste under low CO2 flow rate. Chemical Engineering Journal. 493. 152836–152836. 36 indexed citations
9.
Tian, Cong, Zhao Liu, Xingyang He, et al.. (2024). Enhancing mechanism of mechanical properties of lightweight and high-strength concrete prepared with autoclaved silicate lightweight aggregate. Journal of Building Engineering. 98. 111102–111102. 2 indexed citations
10.
Tian, Cong, et al.. (2024). Multi-keyword ranked search with access control for multiple data owners in the cloud. Journal of Information Security and Applications. 82. 103742–103742. 2 indexed citations
11.
Wen, Cheng, Zhiwu Xu, Dugang Liu, et al.. (2024). Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?. ACM Transactions on Knowledge Discovery from Data. 18(7). 1–34. 14 indexed citations
12.
Du, Hongwei, et al.. (2024). Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring. ACM Transactions on Sensor Networks. 20(3). 1–23. 3 indexed citations
13.
Pang, Zhanxi, et al.. (2023). Study on Hydrothermal Cracking of Heavy Oil under the Coexisting Conditions of Supercritical Water and Non-condensate Gas. ACS Omega. 8(20). 18029–18040. 5 indexed citations
15.
Aussel, Didier, Cong Tian, & Rossana Riccardi. (2022). Strategic decision in a two-period game using a multi-leader-follower approach. Part 2 – Decision making for the new player. SPIRE - Sciences Po Institutional REpository. 4(1). 1 indexed citations
16.
Yang, Kai, Cong Tian, Nan Zhang, Zhenhua Duan, & Hongwei Du. (2021). A CEGAR-Based Static–Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Transactions on Reliability. 70(4). 1455–1467.
17.
Duan, Zhenhua, et al.. (2019). ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(4). 830–842. 14 indexed citations
18.
Tian, Cong, et al.. (2018). Index set expressions can represent temporal logic formulas. Theoretical Computer Science. 788. 21–38. 1 indexed citations
19.
Duan, Zhenhua, et al.. (2017). A Runtime Optimization Approach for FPGA Routing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37(8). 1706–1710. 13 indexed citations
20.
Tian, Cong & Zhenhua Duan. (2008). Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.. 47–58. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026