Citation Rankings
Highly Cited Researchers
Institute of Software, Chinese Academy of Sciences Highly Cited Researchers Citation Rankings 2025
The Citation Rankings (Highly Cited Researchers) highlight the most cited and influential researchers across a vast range of scientific fields, covering 197 main and sub-disciplines, including the Art and Humanities Citation Rankings and Social Sciences and Humanities Citation Rankings. This service, offered exclusively by AD Scientific Index, aims to provide a balanced perspective by excluding data from CERN and other statistical sources that disproportionately favor certain researchers, particularly in the social sciences and humanities. This unique approach addresses the advantages researchers with multi-author publications and CERN involvement hold over others. Furthermore, citation rankings help uncover rule violations and unethical practices within the research community. For more detailed citation analyses, explore the Scientists Last 6 Years Citation Index, Universities Total Citations Rankings 2025, and Universities Last 6 Years Citations Rankings 2025.
* Total Citation Counts Rankings
Ranking Based On Selection :1
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
54,525
39,691
0.728
* Total Citation Counts Rankings
Ranking Based On Selection :2
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
5,108
3,193
0.625
* Total Citation Counts Rankings
Ranking Based On Selection :3
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3,403
2,449
0.720
* Total Citation Counts Rankings
Ranking Based On Selection :4
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,866
1,680
0.586
* Total Citation Counts Rankings
Ranking Based On Selection :5
software testing
static analysis
software evolution
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,973
581
0.294
* Total Citation Counts Rankings
Ranking Based On Selection :6
Software Engineering
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,668
855
0.513
* Total Citation Counts Rankings
Ranking Based On Selection :7
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,311
904
0.690
* Total Citation Counts Rankings
Ranking Based On Selection :8
Software engineering
Computer science
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,238
664
0.536
* Total Citation Counts Rankings
Ranking Based On Selection :9
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,157
591
0.511
* Total Citation Counts Rankings
Ranking Based On Selection :10
Artificial Intelligence
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
987
855
0.866
* Total Citation Counts Rankings
Ranking Based On Selection :11
Formal Verification
Probabilistic Systems
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
968
641
0.662
* Total Citation Counts Rankings
Ranking Based On Selection :12
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
939
272
0.290
* Total Citation Counts Rankings
Ranking Based On Selection :13
Formal Methods
Autonomous Systems
AI
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
830
705
0.849
* Total Citation Counts Rankings
Ranking Based On Selection :14
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
799
288
0.360
* Total Citation Counts Rankings
Ranking Based On Selection :15
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
719
405
0.563
* Total Citation Counts Rankings
Ranking Based On Selection :16
Computer Science
Quantum Computing
Quantum Information
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
642
641
0.998
* Total Citation Counts Rankings
Ranking Based On Selection :17
Quantum computing
Formal Verification
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
580
563
0.971
* Total Citation Counts Rankings
Ranking Based On Selection :18
Computational Logic
Program Analysis and Verification
Automata Theory
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
550
384
0.698
* Total Citation Counts Rankings
Ranking Based On Selection :19
Interactive Theorem Proving
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
459
421
0.917
* Total Citation Counts Rankings
Ranking Based On Selection :20
software engineering
heuristic algorithm
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
445
362
0.813
* Total Citation Counts Rankings
Ranking Based On Selection :21
software testing
fault localization
software debugging
combinatorial testing
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
444
186
0.419
* Total Citation Counts Rankings
Ranking Based On Selection :22
Model Checking
Software Testing
Formal Methods
Machine Learning
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
419
157
0.375
* Total Citation Counts Rankings
Ranking Based On Selection :23
Multi-view learning
Deep learning
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
312
312
1.000
* Total Citation Counts Rankings
Ranking Based On Selection :24
Probabilistic model checking
DNN verification
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
300
292
0.973
* Total Citation Counts Rankings
Ranking Based On Selection :25
Quantum computation and information
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
267
256
0.959
* Total Citation Counts Rankings
Rankings
8,663
239
1
Ranking Based On Selection: 1
Lijun Zhang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
54,525
39,691
0.728
* Total Citation Counts Rankings
Rankings
199,929
8,919
2
Ranking Based On Selection: 2
Yi-Dong Shen
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
5,108
3,193
0.625
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
* Total Citation Counts Rankings
Rankings
289,436
13,312
3
Ranking Based On Selection: 3
Shaowei Cai
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3,403
2,449
0.720
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
* Total Citation Counts Rankings
Rankings
334,008
15,557
4
Ranking Based On Selection: 4
Naijun Zhan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,866
1,680
0.586
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
* Total Citation Counts Rankings
Rankings
443,753
20,912
5
Ranking Based On Selection: 5
Zhenyu (Charles) Zhang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,973
581
0.294
software testing
static analysis
software evolution
* Total Citation Counts Rankings
Rankings
498,517
23,548
6
Ranking Based On Selection: 6
Jun Yan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,668
855
0.513
* Total Citation Counts Rankings
Rankings
580,807
27,113
7
Ranking Based On Selection: 7
Yan Cai
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,311
904
0.690
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
* Total Citation Counts Rankings
Rankings
601,084
27,959
8
Ranking Based On Selection: 8
Haiming Chen
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,238
664
0.536
Software engineering
Computer science
* Total Citation Counts Rankings
Rankings
625,136
28,970
9
Ranking Based On Selection: 9
Wencheng Wang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,157
591
0.511
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
* Total Citation Counts Rankings
Rankings
682,302
31,307
10
Ranking Based On Selection: 10
Feifei Ma
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
987
855
0.866
* Total Citation Counts Rankings
Rankings
689,352
31,598
11
Ranking Based On Selection: 11
Andrea Turrini
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
968
641
0.662
Formal Verification
Probabilistic Systems
* Total Citation Counts Rankings
Rankings
700,460
32,043
12
Ranking Based On Selection: 12
George Barmpalias
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
939
272
0.290
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
* Total Citation Counts Rankings
Rankings
744,660
33,800
13
Ranking Based On Selection: 13
Bai Xue
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
830
705
0.849
Formal Methods
Autonomous Systems
AI
* Total Citation Counts Rankings
Rankings
758,573
34,333
14
Ranking Based On Selection: 14
夏盟佶 Xia, Mingji
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
799
288
0.360
* Total Citation Counts Rankings
Rankings
795,120
35,800
15
Ranking Based On Selection: 15
Rongjie Yan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
719
405
0.563
* Total Citation Counts Rankings
Rankings
833,244
37,414
16
Ranking Based On Selection: 16
Kean Chen
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
642
641
0.998
Computer Science
Quantum Computing
Quantum Information
* Total Citation Counts Rankings
Rankings
866,250
38,855
17
Ranking Based On Selection: 17
Li Zhou
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
580
563
0.971
* Total Citation Counts Rankings
Rankings
883,210
39,633
18
Ranking Based On Selection: 18
Zhilin Wu
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
550
384
0.698
Computational Logic
Program Analysis and Verification
Automata Theory
* Total Citation Counts Rankings
Rankings
950,262
42,526
19
Ranking Based On Selection: 19
Bohua Zhan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
459
421
0.917
Interactive Theorem Proving
* Total Citation Counts Rankings
Rankings
962,790
43,086
20
Ranking Based On Selection: 20
Jinkun Lin
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
445
362
0.813
software engineering
heuristic algorithm
* Total Citation Counts Rankings
Rankings
964,110
43,138
21
Ranking Based On Selection: 21
Zhiqiang Zhang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
444
186
0.419
software testing
fault localization
software debugging
combinatorial testing
* Total Citation Counts Rankings
Rankings
987,285
44,121
22
Ranking Based On Selection: 22
Peng Wu
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
419
157
0.375
Model Checking
Software Testing
Formal Methods
Machine Learning
* Total Citation Counts Rankings
Rankings
1,103,581
49,093
23
Ranking Based On Selection: 23
Runwu Zhou
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
312
312
1.000
Multi-view learning
Deep learning
* Total Citation Counts Rankings
Rankings
1,119,653
49,726
24
Ranking Based On Selection: 24
Pengfei Yang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
300
292
0.973
Probabilistic model checking
DNN verification
* Total Citation Counts Rankings
Rankings
1,167,739
51,669
25
Ranking Based On Selection: 25
Ji Guan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
267
256
0.959