Productivity Rankings is an exclusive service provided by AD Scientific Index. This ranking system, derived from the i10 index, highlights the productivity of scientists in publishing impactful scientific articles. Productivity Rankings serves as a tool to identify highly productive scientists across specific areas, disciplines, universities, and countries, and supports the creation of effective incentives and academic policies. The global, regional, and institutional rankings of scientists in this table are calculated based on their total i10 index. Moreover, you can explore special rankings derived from Productivity Rankings, such as Scientists Last 6 Years' i10 Index, Universities Total i10 Index Rankings 2025, Universities Last 6 Years' i10 Index Rankings 2025, Art and Humanities i10 Productivity Rankings, and Social Sciences and Humanities i10 Productivity Rankings.
* Total i10 IndexRankings
Ranking Based On Selection :1
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
826
643
0.778
* Total i10 IndexRankings
Ranking Based On Selection :2
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
76
70
0.921
* Total i10 IndexRankings
Ranking Based On Selection :3
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
75
41
0.547
* Total i10 IndexRankings
Ranking Based On Selection :4
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
72
53
0.736
* Total i10 IndexRankings
Ranking Based On Selection :5
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
41
20
0.488
* Total i10 IndexRankings
Ranking Based On Selection :6
Software Engineering
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
36
27
0.750
* Total i10 IndexRankings
Ranking Based On Selection :7
Software engineering
Computer science
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
33
24
0.727
* Total i10 IndexRankings
Ranking Based On Selection :8
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
24
0.750
* Total i10 IndexRankings
Ranking Based On Selection :9
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
6
0.188
* Total i10 IndexRankings
Ranking Based On Selection :10
software testing
static analysis
software evolution
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
30
17
0.567
* Total i10 IndexRankings
Ranking Based On Selection :11
Formal Methods
Autonomous Systems
AI
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
26
25
0.962
* Total i10 IndexRankings
Ranking Based On Selection :12
Formal Verification
Probabilistic Systems
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
26
14
0.538
* Total i10 IndexRankings
Ranking Based On Selection :13
Artificial Intelligence
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
21
16
0.762
* Total i10 IndexRankings
Ranking Based On Selection :14
Interactive Theorem Proving
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
15
0.833
* Total i10 IndexRankings
Ranking Based On Selection :15
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
11
0.611
* Total i10 IndexRankings
Ranking Based On Selection :16
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
10
0.556
* Total i10 IndexRankings
Ranking Based On Selection :17
Computational Logic
Program Analysis and Verification
Automata Theory
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
17
12
0.706
* Total i10 IndexRankings
Ranking Based On Selection :18
Quantum computing
Formal Verification
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
* Total i10 IndexRankings
Ranking Based On Selection :19
software engineering
heuristic algorithm
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
12
12
1.000
* Total i10 IndexRankings
Ranking Based On Selection :20
Model Checking
Software Testing
Formal Methods
Machine Learning
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
12
7
0.583
* Total i10 IndexRankings
Ranking Based On Selection :21
Quantum computation and information
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total i10 IndexRankings
Ranking Based On Selection :22
Software Testing
Program Analysis
Mobile Application
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
9
8
0.889
* Total i10 IndexRankings
Ranking Based On Selection :23
software testing
fault localization
software debugging
combinatorial testing
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
9
6
0.667
* Total i10 IndexRankings
Ranking Based On Selection :24
Computer Science
Quantum Computing
Quantum Information
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
* Total i10 IndexRankings
Ranking Based On Selection :25
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
8
1
0.125
Lijun Zhang
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
826
643
0.778
Shaowei Cai
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
76
70
0.921
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
Yi-Dong Shen
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
75
41
0.547
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
Naijun Zhan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
72
53
0.736
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
Wencheng Wang
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
41
20
0.488
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
Jun Yan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
36
27
0.750
Haiming Chen
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
33
24
0.727
Software engineering
Computer science
Yan Cai
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
24
0.750
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
George Barmpalias
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
6
0.188
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
Zhenyu (Charles) Zhang
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
30
17
0.567
software testing
static analysis
software evolution
Bai Xue
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
26
25
0.962
Formal Methods
Autonomous Systems
AI
Andrea Turrini
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
26
14
0.538
Formal Verification
Probabilistic Systems
Feifei Ma
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
21
16
0.762
Bohua Zhan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
15
0.833
Interactive Theorem Proving
Rongjie Yan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
11
0.611
夏盟佶 Xia, Mingji
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
10
0.556
Zhilin Wu
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
17
12
0.706
Computational Logic
Program Analysis and Verification
Automata Theory
Li Zhou
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
Jinkun Lin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
12
12
1.000
software engineering
heuristic algorithm
Peng Wu
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
12
7
0.583
Model Checking
Software Testing
Formal Methods
Machine Learning
Ji Guan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Jiwei Yan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
9
8
0.889
Software Testing
Program Analysis
Mobile Application
Zhiqiang Zhang
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
9
6
0.667
software testing
fault localization
software debugging
combinatorial testing
Kean Chen
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
Computer Science
Quantum Computing
Quantum Information
Xue-Yang Zhu
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
8
1
0.125