Citation Rankings
Highly Cited Researchers
Highly Cited Researchers 71 Scientists Citation Rankings - 2025
The Citation Rankings (Highly Cited Researchers) list 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
Distributed systems
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
46,369
3,858
0.083
* Total Citation Counts Rankings
Ranking Based On Selection: 2
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
42,862
13,948
0.325
* Total Citation Counts Rankings
Ranking Based On Selection: 3
Machine learning
Graph Theory
Modeling
Point Processes
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
35,206
34,413
0.977
* Total Citation Counts Rankings
Ranking Based On Selection: 4
verification
model checking
automated reasoning
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
18,551
4,720
0.254
* Total Citation Counts Rankings
Ranking Based On Selection: 5
Machine Learning
Artificial Intelligence
Temporal Point Processes
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
12,910
7,820
0.606
* Total Citation Counts Rankings
Ranking Based On Selection: 6
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,799
3,032
0.446
* Total Citation Counts Rankings
Ranking Based On Selection: 7
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,685
2,179
0.326
* Total Citation Counts Rankings
Ranking Based On Selection: 8
Programming languages
type systems
semantics
verification
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,653
3,891
0.585
* Total Citation Counts Rankings
Ranking Based On Selection: 9
Algorithmic Fairness
Interpretability
Ethical AI
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,083
4,865
0.800
* Total Citation Counts Rankings
Ranking Based On Selection: 10
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
5,241
2,025
0.386
* Total Citation Counts Rankings
Ranking Based On Selection: 11
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
4,562
3,303
0.724
* Total Citation Counts Rankings
Ranking Based On Selection: 12
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
4,066
3,692
0.908
* Total Citation Counts Rankings
Ranking Based On Selection: 13
Systems
Networking
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3,959
1,692
0.427
* Total Citation Counts Rankings
Ranking Based On Selection: 14
Formal Logic
Security
Privacy
Programming Languages
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3,490
1,707
0.489
* Total Citation Counts Rankings
Ranking Based On Selection: 15
Machine Learning
Complex Networks
Visual Tracking
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,692
1,344
0.499
* Total Citation Counts Rankings
Ranking Based On Selection: 16
programming languages
verification
concurrency
operational semantics
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,511
2,028
0.808
* Total Citation Counts Rankings
Ranking Based On Selection: 17
Formal Methods
Machine Learning
Logic
Artificial Intelligence
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,140
1,601
0.748
* Total Citation Counts Rankings
Ranking Based On Selection: 18
Formal Methods and Testing
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,043
1,743
0.853
* Total Citation Counts Rankings
Ranking Based On Selection: 19
Software engineering
Formal methods
Program analysis
Test generation
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,783
1,306
0.732
* Total Citation Counts Rankings
Ranking Based On Selection: 20
Algorithmic Fairness
AI and Society
Human-AI Collaboration
Human-Centered AI
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,672
1,516
0.907
* Total Citation Counts Rankings
Ranking Based On Selection: 21
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,666
1,234
0.741
* Total Citation Counts Rankings
Ranking Based On Selection: 22
Artificial Intelligence
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,664
1,344
0.808
* Total Citation Counts Rankings
Ranking Based On Selection: 23
programming languages
verification
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,641
735
0.448
* Total Citation Counts Rankings
Ranking Based On Selection: 24
Computer Science
Distributed Systems
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,583
889
0.562
* Total Citation Counts Rankings
Ranking Based On Selection: 25
Programming languages
Formal methods
Concurrency
Parallelism
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,425
560
0.393
* Total Citation Counts Rankings
Rankings
11,573
485
1
Ranking Based On Selection: 1
Peter Druschel
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
46,369
3,858
0.083
* Total Citation Counts Rankings
Rankings
13,153
558
2
Ranking Based On Selection: 2
Krishna P. Gummadi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
42,862
13,948
0.325
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
* Total Citation Counts Rankings
Rankings
17,983
786
3
Ranking Based On Selection: 3
Utkarsh Upadhyay
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
35,206
34,413
0.977
Machine learning
Graph Theory
Modeling
Point Processes
* Total Citation Counts Rankings
Rankings
46,090
1,986
4
Ranking Based On Selection: 4
Rupak Majumdar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
18,551
4,720
0.254
verification
model checking
automated reasoning
* Total Citation Counts Rankings
Rankings
74,339
3,266
5
Ranking Based On Selection: 5
Manuel Gomez Rodriguez
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
12,910
7,820
0.606
Machine Learning
Artificial Intelligence
Temporal Point Processes
* Total Citation Counts Rankings
Rankings
154,136
6,497
6
Ranking Based On Selection: 6
Viktor Vafeiadis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,799
3,032
0.446
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
* Total Citation Counts Rankings
Rankings
156,872
6,616
7
Ranking Based On Selection: 7
Joel Ouaknine
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,685
2,179
0.326
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
* Total Citation Counts Rankings
Rankings
157,604
6,649
8
Ranking Based On Selection: 8
Derek Dreyer
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,653
3,891
0.585
Programming languages
type systems
semantics
verification
* Total Citation Counts Rankings
Rankings
172,650
7,238
9
Ranking Based On Selection: 9
Muhammad Bilal Zafar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
6,083
4,865
0.800
* Total Citation Counts Rankings
Rankings
199,923
8,202
10
Ranking Based On Selection: 10
Björn B. Brandenburg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
5,241
2,025
0.386
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
* Total Citation Counts Rankings
Rankings
228,211
9,184
11
Ranking Based On Selection: 11
Adish Singla
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
4,562
3,303
0.724
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
* Total Citation Counts Rankings
Rankings
253,923
10,090
12
Ranking Based On Selection: 12
Elissa M. Redmiles
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
4,066
3,692
0.908
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
* Total Citation Counts Rankings
Rankings
260,086
10,315
13
Ranking Based On Selection: 13
Keon Jang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3,959
1,692
0.427
* Total Citation Counts Rankings
Rankings
290,015
11,341
14
Ranking Based On Selection: 14
Deepak Garg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3,490
1,707
0.489
Formal Logic
Security
Privacy
Programming Languages
* Total Citation Counts Rankings
Rankings
359,340
13,620
15
Ranking Based On Selection: 15
Ali Zarezade
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,692
1,344
0.499
Machine Learning
Complex Networks
Visual Tracking
* Total Citation Counts Rankings
Rankings
379,289
14,274
16
Ranking Based On Selection: 16
Ralf Jung
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,511
2,028
0.808
programming languages
verification
concurrency
operational semantics
* Total Citation Counts Rankings
Rankings
427,463
15,808
17
Ranking Based On Selection: 17
Daniel Neider
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,140
1,601
0.748
Formal Methods
Machine Learning
Logic
Artificial Intelligence
* Total Citation Counts Rankings
Rankings
442,016
16,248
18
Ranking Based On Selection: 18
Fuyuan Zhang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,043
1,743
0.853
* Total Citation Counts Rankings
Rankings
486,050
17,596
19
Ranking Based On Selection: 19
Maria Christakis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,783
1,306
0.732
Software engineering
Formal methods
Program analysis
Test generation
* Total Citation Counts Rankings
Rankings
507,552
18,244
20
Ranking Based On Selection: 20
Nina Grgić-Hlača
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,672
1,516
0.907
Algorithmic Fairness
AI and Society
Human-AI Collaboration
Human-Centered AI
* Total Citation Counts Rankings
Rankings
508,798
18,286
21
Ranking Based On Selection: 21
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,666
1,234
0.741
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
* Total Citation Counts Rankings
Rankings
509,218
18,299
22
Ranking Based On Selection: 22
Goran Radanović
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,664
1,344
0.808
* Total Citation Counts Rankings
Rankings
514,114
18,444
23
Ranking Based On Selection: 23
Damien Zufferey
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,641
735
0.448
programming languages
verification
* Total Citation Counts Rankings
Rankings
526,134
18,797
24
Ranking Based On Selection: 24
Paarijaat Aditya
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,583
889
0.562
Computer Science
Distributed Systems
* Total Citation Counts Rankings
Rankings
562,163
19,879
25
Ranking Based On Selection: 25
Aaron Turon
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,425
560
0.393