Max Planck Institut für Software Systeme is a
prestigious institution university
established in 2004 in Germany. It is represented
by 70 scientists in the AD Scientific Index. The
university’s scientists are particularly concentrated in
Engineering & Technology (36 scientists), Education (1 scientists), and Social Sciences and Humanities (1 scientists).
* Total H Index Rankings
Ranking Based
On Selection: 1
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privac
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
77
52
0.675
Get Full Access to Premium Data
* Total H Index Rankings
Ranking Based
On Selection: 2
Distributed system
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
70
30
0.429
* Total H Index Rankings
Ranking Based
On Selection: 3
verification
model checking
automated reasonin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
64
37
0.578
* Total H Index Rankings
Ranking Based
On Selection: 4
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Provin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
50
35
0.700
* Total H Index Rankings
Ranking Based
On Selection: 5
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer scienc
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
45
27
0.600
* Total H Index Rankings
Ranking Based
On Selection: 6
Programming languages
type systems
semantics
verificatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
44
35
0.795
* Total H Index Rankings
Ranking Based
On Selection: 7
Human-Centric ML
Machine Learnin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
42
35
0.833
* Total H Index Rankings
Ranking Based
On Selection: 8
real-time systems
operating systems
embedded systems
cyber-physical systems
verificatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
41
26
0.634
* Total H Index Rankings
Ranking Based
On Selection: 9
Security and Privacy
Digital Inequity
Sexual Abuse
Algorithmic Fairness
Survey Methodolog
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
37
36
0.973
* Total H Index Rankings
Ranking Based
On Selection: 10
Machine Teaching
AI for Education
Programming Education
Reinforcement Learnin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
33
0.917
Is Your University Ready for the Future?
Compare your institution’s global, national, and city-level ranking with its 20 closest competitors and set strategic goals.
Gain insights from detailed performance analyses of scientists across 13 major disciplines, identify your strengths, improve weaknesses, and gain a competitive edge.. Check Your Free Sample Performance Analysis
* Total H Index Rankings
Ranking Based
On Selection: 11
Formal Logic
Security
Privacy
Programming Language
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
24
0.667
* Total H Index Rankings
Ranking Based
On Selection: 12
Algorithmic Fairness
Interpretability
Ethical A
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
24
22
0.917
* Total H Index Rankings
Ranking Based
On Selection: 13
Formal Methods
Machine Learning
Logic
Artificial Intelligenc
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
24
21
0.875
* Total H Index Rankings
Ranking Based
On Selection: 14
Software engineering
Formal methods
Program analysis
Test generatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
18
0.783
* Total H Index Rankings
Ranking Based
On Selection: 15
programming languages
verificatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
15
0.682
* Total H Index Rankings
Ranking Based
On Selection: 16
Artificial Intelligenc
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
19
0.950
* Total H Index Rankings
Ranking Based
On Selection: 17
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theor
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
14
0.700
* Total H Index Rankings
Ranking Based
On Selection: 18
Systems
Networkin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
14
0.737
* Total H Index Rankings
Ranking Based
On Selection: 19
programming languages
verification
concurrency
operational semantic
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
18
18
1.000
* Total H Index Rankings
Ranking Based
On Selection: 20
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
15
0.938
* Total H Index Rankings
Ranking Based
On Selection: 21
AI and Society
Algorithmic Fairness
Human-AI Collaboratio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
* Total H Index Rankings
Ranking Based
On Selection: 22
Formal Methods and Testin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
14
0.933
* Total H Index Rankings
Ranking Based
On Selection: 23
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
14
0.933
* Total H Index Rankings
Ranking Based
On Selection: 24
Distributed Systems
Cloud Computin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
11
0.733
* Total H Index Rankings
Ranking Based
On Selection: 25
Computational Life Sciences
Social Computin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
9
0.600
Krishna P. Gummadi
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
77
52
0.675
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privac
Peter Druschel
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
70
30
0.429
Rupak Majumdar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
64
37
0.578
verification
model checking
automated reasonin
Viktor Vafeiadis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
50
35
0.700
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Provin
Joel Ouaknine
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
45
27
0.600
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer scienc
Derek Dreyer
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
44
35
0.795
Programming languages
type systems
semantics
verificatio
Manuel Gomez Rodriguez
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
42
35
0.833
Human-Centric ML
Machine Learnin
Björn B. Brandenburg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
41
26
0.634
real-time systems
operating systems
embedded systems
cyber-physical systems
verificatio
Elissa M. Redmiles
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
37
36
0.973
Security and Privacy
Digital Inequity
Sexual Abuse
Algorithmic Fairness
Survey Methodolog
Adish Singla
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
33
0.917
Machine Teaching
AI for Education
Programming Education
Reinforcement Learnin
Is Your University Ready for the Future?
Compare your institution’s global, national, and city-level ranking with its 20 closest competitors and set strategic goals.
Gain insights from detailed performance analyses of scientists across 13 major disciplines, identify your strengths, improve weaknesses, and gain a competitive edge.. Check Your Free Sample Performance Analysis
Deepak Garg
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
24
0.667
Formal Logic
Security
Privacy
Programming Language
Muhammad Bilal Zafar
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
24
22
0.917
Daniel Neider
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
24
21
0.875
Formal Methods
Machine Learning
Logic
Artificial Intelligenc
Maria Christakis
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
18
0.783
Software engineering
Formal methods
Program analysis
Test generatio
Damien Zufferey
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
15
0.682
programming languages
verificatio
Goran Radanović
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
19
0.950
Georg Zetzsche
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
20
14
0.700
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theor
Keon Jang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
14
0.737
Ralf Jung
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
18
18
1.000
programming languages
verification
concurrency
operational semantic
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
15
0.938
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computin
Nina Grgić-Hlača
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
AI and Society
Algorithmic Fairness
Human-AI Collaboratio
Fuyuan Zhang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
14
0.933
Anne-Kathrin Schmuck
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
14
0.933
Istemi Ekin Akkus
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
11
0.733
Distributed Systems
Cloud Computin
Denzil Correa
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
9
0.600