i10 Productivity
Rankings
Max Planck Institut für Software Systeme 70 Scientists i10 Productivity Rankings - 2025
Track ongoing research productivity with the 2025 i10 Index Productivity Rankings.
By counting the number of publications with at least 10 citations, the i10 index highlights steady scholarly output and publishing consistency. These rankings offer insight into researchers’ contribution frequency, beyond cumulative impact. The system is regularly refreshed to reflect current performance trends, enabling up-to-date comparisons across fields, institutions, and regions. Premium access includes productivity heatmaps, time-based output trends, and in-depth author benchmarks.
* Total i10 IndexRankings
Ranking Based On Selection: 1
verification
model checking
automated reasonin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
210
135
0.643
Get Full Access to Premium Data
* Total i10 IndexRankings
Ranking Based On Selection: 2
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privac
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
157
132
0.841
* Total i10 IndexRankings
Ranking Based On Selection: 3
Distributed system
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
134
63
0.470
* Total i10 IndexRankings
Ranking Based On Selection: 4
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer scienc
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
120
71
0.592
* Total i10 IndexRankings
Ranking Based On Selection: 5
Machine Teaching
AI for Education
Programming Education
Reinforcement Learnin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
86
73
0.849
* Total i10 IndexRankings
Ranking Based On Selection: 6
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Provin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
78
64
0.821
* Total i10 IndexRankings
Ranking Based On Selection: 7
real-time systems
operating systems
embedded systems
cyber-physical systems
verificatio
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
76
55
0.724
* Total i10 IndexRankings
Ranking Based On Selection: 8
Human-Centric ML
Machine Learnin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
70
66
0.943
* Total i10 IndexRankings
Ranking Based On Selection: 9
Programming languages
type systems
semantics
verificatio
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
69
60
0.870
* Total i10 IndexRankings
Ranking Based On Selection: 10
Formal Logic
Security
Privacy
Programming Language
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
61
42
0.689
Smart Institutional Plan
Powerful Insights + Smart Membership = Institutional Success
Unlock 360° Real-Time Institutional Analysis to identify your institution’s strengths and areas for improvement.
* Total i10 IndexRankings
Ranking Based On Selection: 11
Security and Privacy
Digital Inequity
Sexual Abuse
Algorithmic Fairness
Survey Methodolog
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
59
59
1.000
* Total i10 IndexRankings
Ranking Based On Selection: 12
Formal Methods
Machine Learning
Logic
Artificial Intelligenc
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
49
44
0.898
* Total i10 IndexRankings
Ranking Based On Selection: 13
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theor
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
37
25
0.676
* Total i10 IndexRankings
Ranking Based On Selection: 14
Software engineering
Formal methods
Program analysis
Test generatio
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
35
29
0.829
* Total i10 IndexRankings
Ranking Based On Selection: 15
Algorithmic Fairness
Interpretability
Ethical A
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
30
0.938
* Total i10 IndexRankings
Ranking Based On Selection: 16
programming languages
verificatio
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
30
18
0.600
* Total i10 IndexRankings
Ranking Based On Selection: 17
Artificial Intelligenc
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
28
27
0.964
* Total i10 IndexRankings
Ranking Based On Selection: 18
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
21
18
0.857
* Total i10 IndexRankings
Ranking Based On Selection: 19
Systems
Networkin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
21
15
0.714
* Total i10 IndexRankings
Ranking Based On Selection: 20
programming languages
verification
concurrency
operational semantic
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
20
20
1.000
* Total i10 IndexRankings
Ranking Based On Selection: 21
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
20
18
0.900
* Total i10 IndexRankings
Ranking Based On Selection: 22
Formal Methods and Testin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
19
18
0.947
* Total i10 IndexRankings
Ranking Based On Selection: 23
Formal verification
vector addition systems
weighted automat
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
13
0.722
* Total i10 IndexRankings
Ranking Based On Selection: 24
Computational Social Choice
Algorithmic Fairness
Reinforcement Learnin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
17
15
0.882
* Total i10 IndexRankings
Ranking Based On Selection: 25
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
16
15
0.938
Rupak Majumdar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
210
135
0.643
verification
model checking
automated reasonin
Krishna P. Gummadi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
157
132
0.841
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privac
Peter Druschel
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
134
63
0.470
Joel Ouaknine
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
120
71
0.592
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer scienc
Adish Singla
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
86
73
0.849
Machine Teaching
AI for Education
Programming Education
Reinforcement Learnin
Viktor Vafeiadis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
78
64
0.821
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Provin
Björn B. Brandenburg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
76
55
0.724
real-time systems
operating systems
embedded systems
cyber-physical systems
verificatio
Manuel Gomez Rodriguez
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
70
66
0.943
Human-Centric ML
Machine Learnin
Derek Dreyer
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
69
60
0.870
Programming languages
type systems
semantics
verificatio
Deepak Garg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
61
42
0.689
Formal Logic
Security
Privacy
Programming Language
Smart Institutional Plan
Powerful Insights + Smart Membership = Institutional Success
Unlock 360° Real-Time Institutional Analysis to identify your institution’s strengths and areas for improvement.
Elissa M. Redmiles
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
59
59
1.000
Security and Privacy
Digital Inequity
Sexual Abuse
Algorithmic Fairness
Survey Methodolog
Daniel Neider
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
49
44
0.898
Formal Methods
Machine Learning
Logic
Artificial Intelligenc
Georg Zetzsche
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
37
25
0.676
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theor
Maria Christakis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
35
29
0.829
Software engineering
Formal methods
Program analysis
Test generatio
Muhammad Bilal Zafar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
30
0.938
Damien Zufferey
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
30
18
0.600
programming languages
verificatio
Goran Radanović
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
28
27
0.964
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
21
18
0.857
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computin
Keon Jang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
21
15
0.714
Ralf Jung
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
20
20
1.000
programming languages
verification
concurrency
operational semantic
Anne-Kathrin Schmuck
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
20
18
0.900
Fuyuan Zhang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
19
18
0.947
Filip Mazowiecki
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
18
13
0.722
Formal verification
vector addition systems
weighted automat
Debmalya Mandal
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
17
15
0.882
Computational Social Choice
Algorithmic Fairness
Reinforcement Learnin
Moses Ganardi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
16
15
0.938