Skip to content

Research facility · founded 2000

Max Planck Institute for Software Systems

Saarbrücken, Germany · mpi-sws.org/index.php

Part of Max Planck Society

Manage this page

Citations, last 5 years: 4 393
Works, last 5 years: 1 061
h-index: 154
Scientists listed: 62
Grants since 2016: 0

Strongest research topics

Formal Methods in Verification967Computer Science
Logic, programming, and type systems842Computer Science
semigroups and automata theory370Computer Science
Distributed systems and fault tolerance298Computer Science
Software Testing and Debugging Techniques279Computer Science
Petri Nets in System Modeling194Computer Science

Most cited scientists, last five years

Derek R. DreyerMax Planck Institute for Software Systems · GermanyComputer Science454citations, 5 yrs31works, 5 yrs40h-index Adish Kumar SinglaMax Planck Institute for Software Systems · GermanyComputer Science424citations, 5 yrs82works, 5 yrs24h-index Victor-Alexandru PădureanMax Planck Institute for Software Systems · GermanyComputer Science225citations, 5 yrs24works, 5 yrs6h-index Tung PhungMax Planck Institute for Software Systems · GermanyComputer Science215citations, 5 yrs10works, 5 yrs5h-index Mariya TonevaMax Planck Institute for Software Systems · GermanyComputer Science197citations, 5 yrs48works, 5 yrs12h-index Andrea LattuadaMax Planck Institute for Software Systems · GermanyComputer Science162citations, 5 yrs18works, 5 yrs7h-index Deepak GargMax Planck Institute for Software Systems · GermanyComputer Science159citations, 5 yrs30works, 5 yrs27h-index Viktor VafeiadisMax Planck Institute for Software Systems · GermanyComputer Science147citations, 5 yrs37works, 5 yrs42h-index

All 62 scientists