Science Explorer Interactive view Map
Research facility · Saarbrücken · Germany

Max Planck Institute for Software Systems

In research, Max Planck Institute for Software Systems stands highest in Computer Science (#860 of 4,667 worldwide) and Physical Sciences (#5,986 of 12,888 worldwide), 2022–2025. Relative to its size it is most specialised in Computational Theory and Mathematics, Artificial Intelligence and Computer Science — Computational Theory and Mathematics is 43.2× its share of world research.

mpi-sws.org/index.phpROR OpenAlex
World rank, 2022–2025
#9,611
of 28,054 · #6,555 all time
Rank in Germany
#380
of 1,178
Research works
830
▲ 8% vs 2013–17
Citations
27k
32.3 per fractional work
Top-10% rate
26.4%
record average 16.5%
Open access
54%
world 28%

What is Max Planck Institute for Software Systems known for in research?

The fields where it stands highest, 2022–2025, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorksAll time
Computer ScienceField #860 of 4,667 26.3%143 #500
Physical SciencesDomain #5,986 of 12,888 24.5%165 #4333

Each strip is that field’s whole ranked pool, with the notch where Max Planck Institute for Software Systems sits in it, in the colour of the band that rank falls in. The track under the rate is the rate itself: it carries no world mark, because the world rate differs by field (from about 6% to 21% in this record).

What does Max Planck Institute for Software Systems specialise in?

Where its research is concentrated relative to its size: Computational Theory and Mathematics takes 43.2× the share of its output that it takes of world research.

  1. Computational Theory and MathematicsSubfield · 37.1 works43×
  2. Artificial IntelligenceSubfield · 49.7 works10×
  3. Computer ScienceField · 143.4 works9.2×
← less than its size predicts1×more →

Location quotient, a volume reading rather than an impact one. It surfaces small, lopsided specialities.

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Agricultural and Biological Sciences: 0.05× its world share, 0 worksAgricultural and Bio…Biochemistry, Genetics and Molecular Biology: 0.15× its world share, 2 worksBiochemistry, Geneti…Neuroscience: 0.40× its world share, 1 worksNeuroscienceChemistry: 0.05× its world share, 0 worksChemistryComputer Science: 9.18× its world share, 143 worksComputer ScienceEarth and Planetary Sciences: 0.04× its world share, 0 worksEarth and Planetary …Energy: 0.18× its world share, 0 worksEnergyEngineering: 0.40× its world share, 12 worksEngineeringEnvironmental Science: 0.04× its world share, 0 worksEnvironmental ScienceMaterials Science: 0.05× its world share, 0 worksMaterials ScienceMathematics: 2.74× its world share, 6 worksMathematicsPhysics and Astronomy: 0.47× its world share, 2 worksPhysics and AstronomyHealth Professions: 0.14× its world share, 1 worksHealth ProfessionsMedicine: 0.05× its world share, 2 worksMedicineBusiness, Management and Accounting: 0.61× its world share, 4 worksBusiness, Management…Decision Sciences: 4.09× its world share, 8 worksDecision SciencesEconomics, Econometrics and Finance: 0.51× its world share, 2 worksEconomics, Econometr…Psychology: 0.41× its world share, 2 worksPsychologySocial Sciences: 0.50× its world share, 13 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 9.2×. Every wedge is a field page.

Who are the top researchers at Max Planck Institute for Software Systems?

Ranked on the composite score, Krishna P. Gummadi, Manuel Gomez-Rodriguez and Rupak Majumdar lead among researchers whose main affiliation is Max Planck Institute for Software Systems.

  1. 1 Krishna P. Gummadi Germany · #4,648 worldwide 1.5k citations · 69 works
  2. 2 Manuel Gomez-Rodriguez Germany · #19,887 worldwide 653 citations · 48 works
  3. 3 Rupak Majumdar Germany · #30,771 worldwide 1.1k citations · 122 works
  4. 4 Rodrigo Rodrigues Germany · #35,210 worldwide 474 citations · 39 works
  5. 5 Viktor Vafeiadis Germany · #70,855 worldwide 377 citations · 28 works
  6. 6 Derek Dreyer Germany · #87,934 worldwide 315 citations · 27 works
  7. 7 Ruichuan Chen Germany · #108,392 worldwide 958 citations · 21 works
  8. 8 Muhammad Bilal Zafar Germany · #158,665 worldwide 288 citations · 19 works
  9. 9 Deepak Garg Germany · #404,561 worldwide 127 citations · 47 works
  10. 10 Elissa M. Redmiles Germany · #462,774 worldwide 76 citations · 32 works
All ranked researchers at Max Planck Institute for Software Systems

Which keywords describe research at Max Planck Institute for Software Systems?

By fractional works in 2022–2025, weighted toward what it does more of than the world: Model Checking, Temporal Logic, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Distributed Systems, Machine Learning and Static Analysis.

▲ more of its work than of the world’s◆ about the world’s share▼ less than the world’s

Size is fractional works in 2022–2025 in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Model Checking37▲ 408×3 topics
  2. Temporal Logic25▲ 384×2 topics
  3. Automata24▲ 441×2 topics
  4. Satisfiability Modulo Theories20▲ 567×1 topic
  5. Symbolic Model Checker20▲ 567×1 topic
  6. Machine Learning20▲ 3.0×25 topics
  7. Deep Learning16▲ 2.3×25 topics
  8. Distributed Systems13▲ 39×6 topics
  9. Static Analysis12▲ 326×2 topics
  10. Formal Verification12▲ 472×1 topic
  11. Type Inference12▲ 472×1 topic
  12. Neural Networks10▲ 3.3×10 topics
  13. Fault Tolerance10▲ 31×5 topics
  14. Consistency8▲ 229×1 topic
  15. Transactional Memory8▲ 229×1 topic
  16. Parallel Computing8▲ 33×3 topics
  17. Embedded Systems7▲ 82×2 topics
  18. Formal Methods7▲ 211×2 topics
  19. Virtualization7▲ 44×2 topics
  20. Supervisory Control7▲ 193×2 topics
  21. Deadlock Prevention6▲ 533×1 topic
  22. High-Performance Computing6▲ 38×2 topics
  23. Petri Nets6▲ 533×1 topic
  24. Knowledge Representation6▲ 33×2 topics
  25. Security6▲ 4.5×9 topics
  26. GPU Computing6▲ 77×1 topic
  27. Performance Optimization6▲ 46×1 topic
  28. Side-Channel Attacks6▲ 60×2 topics
  29. Multi-Agent Systems5▲ 14×5 topics
  30. Control-Flow Integrity5▲ 145×1 topic
  31. Security Policies5▲ 145×1 topic
  32. Answer Set Programming5▲ 172×1 topic
  33. Modal Logic5▲ 91×1 topic
  34. Formal Languages5▲ 223×1 topic
  35. Regular Expressions5▲ 223×1 topic
  36. Automated Testing4▲ 87×1 topic
  37. Software Fault Localization4▲ 87×1 topic
  38. Surveillance4▲ 8.2×3 topics
  39. Resource Allocation4▲ 11×4 topics
  40. High-Level Synthesis4▲ 94×1 topic

Which research topics does Max Planck Institute for Software Systems publish most on?

By volume in 2022–2025: Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance and Petri Nets in System Modeling.

Formal Methods in Verifi…20Formal Methods in Verification: 20 fractional worksLogic, programming, and type systems: 12 fractional worksDistributed systems and fault tolerance: 8 fractional worksPetri Nets in System Modeling: 6 fractional worksParallel Computing and Optimization Techniques: 6 fractional worksSecurity and Verification in Computing: 5 fractional worksLogic, Reasoning, and Knowledge: 5 fractional workssemigroups and automata theory: 5 fractional worksSoftware Testing and Debugging Techniques: 4 fractional worksEmbedded Systems Design Techniques: 4 fractional works
Computational Theory and MathematicsArtificial IntelligenceComputer Networks and CommunicationsHardware and Architecture1 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Formal Methods in Verification Computational Theory and Mathematics 20 works
  2. 2 Logic, programming, and type systems Artificial Intelligence 12 works
  3. 3 Distributed systems and fault tolerance Computer Networks and Communications 8 works
  4. 4 Petri Nets in System Modeling Computational Theory and Mathematics 6 works
  5. 5 Parallel Computing and Optimization Techniques Hardware and Architecture 6 works
  6. 6 Security and Verification in Computing Artificial Intelligence 5 works
  7. 7 Logic, Reasoning, and Knowledge Artificial Intelligence 5 works
  8. 8 semigroups and automata theory Computational Theory and Mathematics 5 works
  9. 9 Software Testing and Debugging Techniques Software 4 works
  10. 10 Embedded Systems Design Techniques Hardware and Architecture 4 works

How open and international is its research?

Against the world’s own shares — the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available54.1%not open45.9%

World: 28% of research is openly available.

with international co-authors49.4%domestic only50.6%

World: 19% is written across borders.

How has Max Planck Institute for Software Systems's research output changed?

Output in 2018–2022 was 8% higher than in 2013–2017.

20002005201020152020
grewheldshrank

The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.

Other research institutions in Saarbrücken

All research institutions in Saarbrücken

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners are in the interactive view on the map.