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
Networking
Social Networks
Information Retrieval
Security and Privacy
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
76
55
0.724
* Total H Index Rankings
Ranking Based
On Selection :2
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 :3
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 :4
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 :5
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 :6
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 :7
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 :8
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
40
26
0.650
* Total H Index Rankings
Ranking Based
On Selection :9
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 :10
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
35
35
1.000
* Total H Index Rankings
Ranking Based
On Selection :11
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 :12
Algorithmic Fairness
Interpretability
Ethical AI
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
22
0.957
* Total H Index Rankings
Ranking Based
On Selection :13
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 :14
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 :15
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 :16
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 :17
Systems
Networking
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
15
0.789
* Total H Index Rankings
Ranking Based
On Selection :18
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theory
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 semantics
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
16
1.000
* Total H Index Rankings
Ranking Based
On Selection :20
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 :21
Formal Methods and Testing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
* Total H Index Rankings
Ranking Based
On Selection :22
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 :23
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
13
0.929
* Total H Index Rankings
Ranking Based
On Selection :24
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 :25
Computational Life Sciences
Social Computing
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
10
0.714
Krishna P. Gummadi
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
76
55
0.724
Distributed Systems
Networking
Social Networks
Information Retrieval
Security and Privacy
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
Björn B. Brandenburg
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
40
26
0.650
real-time systems
operating systems
embedded systems
cyber-physical systems
verification
Deepak Garg
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
36
24
0.667
Formal Logic
Security
Privacy
Programming Languages
Elissa M. Redmiles
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
35
35
1.000
Security and Privacy
Digital Inequity
Sex Work
Algorithmic Fairness
Survey Methodology
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
Muhammad Bilal Zafar
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
23
22
0.957
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
Keon Jang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
15
0.789
Georg Zetzsche
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
19
14
0.737
Verification
Automata Theory
Logic
Formal Languages
Combinatorial Group Theory
Ralf Jung
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
16
16
1.000
programming languages
verification
concurrency
operational semantics
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
Fuyuan Zhang
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
15
15
1.000
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
Anne-Kathrin Schmuck
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
13
0.929
Istemi Ekin Akkus
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
11
0.786
Distributed Systems
Cloud Computing
Denzil Correa
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
14
10
0.714