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 system
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
70
30
0.429
Get Full Access to Premium Data
* Total H Index Rankings
Ranking Based
On Selection: 2
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: 3
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: 4
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: 5
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: 6
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: 7
Machine Teaching
AI for Education
Programming Education
Reinforcement Learnin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
33
0.917
* Total H Index Rankings
Ranking Based
On Selection: 8
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: 9
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: 10
Software engineering
Formal methods
Program analysis
Test generatio
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
18
0.783
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
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: 12
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: 13
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: 14
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: 15
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: 16
Machine learning
Graph Theory
Modeling
Point Processe
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
13
0.929
* Total H Index Rankings
Ranking Based
On Selection: 17
Formal verification
vector addition systems
weighted automat
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
* Total H Index Rankings
Ranking Based
On Selection: 18
Computational Social Choice
Algorithmic Fairness
Reinforcement Learnin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
11
0.846
* Total H Index Rankings
Ranking Based
On Selection: 19
Computer Science
Distributed System
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
10
0.769
* Total H Index Rankings
Ranking Based
On Selection: 20
Compiler
Memory Consistency Model
Programming Language
Software Engineerin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
* Total H Index Rankings
Ranking Based
On Selection: 21
Operating Systems
Networks
Computer Architecture
Distributed Systems
Compiler
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
* Total H Index Rankings
Ranking Based
On Selection: 22
Software Testing
Software Verification
Artificial Intelligenc
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
11
1.000
* Total H Index Rankings
Ranking Based
On Selection: 23
Privacy
Human-Computer Interaction
Information System
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
10
1.000
* Total H Index Rankings
Ranking Based
On Selection: 24
Machine Learning
Complex Networks
Visual Trackin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total H Index Rankings
Ranking Based
On Selection: 25
Program verification
separation logics
relaxed memory models
type systems
Rust programmin
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
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
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
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
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
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
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
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
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
Utkarsh Upadhyay
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
13
0.929
Machine learning
Graph Theory
Modeling
Point Processe
Filip Mazowiecki
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
Formal verification
vector addition systems
weighted automat
Debmalya Mandal
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
11
0.846
Computational Social Choice
Algorithmic Fairness
Reinforcement Learnin
Paarijaat Aditya
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
10
0.769
Computer Science
Distributed System
Soham Sundar Chakraborty
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
Compiler
Memory Consistency Model
Programming Language
Software Engineerin
Antoine Kaufmann
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
Operating Systems
Networks
Computer Architecture
Distributed Systems
Compiler
Hasan Ferit Eniser
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
11
1.000
Software Testing
Software Verification
Artificial Intelligenc
Oshrat Ayalon
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
10
1.000
Privacy
Human-Computer Interaction
Information System
Ali Zarezade
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Machine Learning
Complex Networks
Visual Trackin
Hai Dang
Max Planck Institut für Software Systeme
Kaiserslautern, Germany
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Program verification
separation logics
relaxed memory models
type systems
Rust programmin