Max Planck Institut für Software Systeme is a
prestigious institution university
established in 2004 in Germany. It is represented
by 71 scientists in the AD Scientific Index. The
university’s scientists are particularly concentrated in
Engineering & Technology (37 scientists), Education (1 scientists), and Social Sciences and Humanities (1 scientists).
* Total H Index Rankings
Ranking Based
On Selection :1
Distributed systems
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
69
33
0.478
* Total H Index Rankings
Ranking Based
On Selection :2
verification
model checking
automated reasoning
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
63
37
0.587
* Total H Index Rankings
Ranking Based
On Selection :3
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
47
37
0.787
* Total H Index Rankings
Ranking Based
On Selection :4
Foundations of algorithmic verification
linear dynamical systems
model checking
logic
theoretical computer science
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
verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
43
34
0.791
* Total H Index Rankings
Ranking Based
On Selection :6
Machine Learning
Artificial Intelligence
Temporal Point Processes
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
42
39
0.929
* Total H Index Rankings
Ranking Based
On Selection :7
Formal Logic
Security
Privacy
Programming Languages
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
24
0.667
* Total H Index Rankings
Ranking Based
On Selection :8
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
34
31
0.912
* Total H Index Rankings
Ranking Based
On Selection :9
Logic
Machine Learning
Verification
Artificial Intelligence
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
21
0.913
* Total H Index Rankings
Ranking Based
On Selection :10
Software engineering
Formal methods
Program analysis
Test generation
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
18
0.818
* Total H Index Rankings
Ranking Based
On Selection :11
programming languages
verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
21
15
0.714
* Total H Index Rankings
Ranking Based
On Selection :12
Artificial Intelligence
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
19
1.000
* Total H Index Rankings
Ranking Based
On Selection :13
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
* Total H Index Rankings
Ranking Based
On Selection :14
Algorithmic Fairness
Human-AI Interaction
Human-Centered AI
Human-AI Collaboration
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
14
1.000
* Total H Index Rankings
Ranking Based
On Selection :15
Distributed Systems
Cloud Computing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
* Total H Index Rankings
Ranking Based
On Selection :16
Machine learning
Graph Theory
Modeling
Point Processes
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
* Total H Index Rankings
Ranking Based
On Selection :17
Computational Social Choice
Algorithmic Fairness
Reinforcement Learning
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
* Total H Index Rankings
Ranking Based
On Selection :18
Formal verification
vector addition systems
weighted automata
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
11
0.917
* Total H Index Rankings
Ranking Based
On Selection :19
Computer Science
Distributed Systems
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
11
0.917
* Total H Index Rankings
Ranking Based
On Selection :20
Compiler
Memory Consistency Model
Programming Language
Software Engineering
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
Compilers
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
* Total H Index Rankings
Ranking Based
On Selection :22
Privacy
Human-Computer Interaction
Information Systems
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
10
1.000
* Total H Index Rankings
Ranking Based
On Selection :23
Machine Learning
Complex Networks
Visual Tracking
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total H Index Rankings
Ranking Based
On Selection :24
Program verification
separation logics
relaxed memory models
type systems
Rust programming
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total H Index Rankings
Ranking Based
On Selection :25
Software Testing
Software Verification
Artificial Intelligence
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
9
1.000
Peter Druschel
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
69
33
0.478
Rupak Majumdar
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
63
37
0.587
verification
model checking
automated reasoning
Viktor Vafeiadis
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
47
37
0.787
Software Verification
Program Logic
Concurrency
Weak Memory Models
Interactive Theorem Proving
Joel Ouaknine
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 science
Derek Dreyer
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
43
34
0.791
Programming languages
type systems
semantics
verification
Manuel Gomez Rodriguez
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
42
39
0.929
Machine Learning
Artificial Intelligence
Temporal Point Processes
Deepak Garg
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
24
0.667
Formal Logic
Security
Privacy
Programming Languages
Adish Singla
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
34
31
0.912
Machine Teaching
AI for Education
Programming Education
Reinforcement Learning
Daniel Neider
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
21
0.913
Logic
Machine Learning
Verification
Artificial Intelligence
Maria Christakis
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
22
18
0.818
Software engineering
Formal methods
Program analysis
Test generation
Damien Zufferey
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
21
15
0.714
programming languages
verification
Goran Radanović
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
19
1.000
Johnnatan Messias|Johnnatan Messias Peixoto Afonso
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
Computer Science
Socially disruptive technologies
Blockchains
Data Analysis
Social Computing
Nina Grgić-Hlača
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
14
1.000
Algorithmic Fairness
Human-AI Interaction
Human-Centered AI
Human-AI Collaboration
Istemi Ekin Akkus
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
Distributed Systems
Cloud Computing
Utkarsh Upadhyay
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
Machine learning
Graph Theory
Modeling
Point Processes
Debmalya Mandal
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
Computational Social Choice
Algorithmic Fairness
Reinforcement Learning
Filip Mazowiecki
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
11
0.917
Formal verification
vector addition systems
weighted automata
Paarijaat Aditya
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
12
11
0.917
Computer Science
Distributed Systems
Soham Sundar Chakraborty
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
Compiler
Memory Consistency Model
Programming Language
Software Engineering
Antoine Kaufmann
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
11
10
0.909
Operating Systems
Networks
Computer Architecture
Distributed Systems
Compilers
Oshrat Ayalon
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
10
1.000
Privacy
Human-Computer Interaction
Information Systems
Ali Zarezade
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Machine Learning
Complex Networks
Visual Tracking
Hai Dang
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 programming
Hasan Ferit Eniser
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
9
1.000
Software Testing
Software Verification
Artificial Intelligence