MP
Max Planck Institute for Software Systems
Saarbrücken, Germany
2,603
Publications
138,279
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (1,487)
- Preprint (399)
- Book Chapter (282)
- Other (32)
- Dataset (27)
Filter by Open Access Type
- Open Access (949)
- Closed Access (1,310)
Filter by Authors
- Rupak Majumdar (260)
- Krishna P. Gummadi (203)
- Viktor Vafeiadis (119)
- Derek Dreyer (113)
- Deepak Garg (108)
Filter by Topics
- Formal Methods in Verification (502)
- Logic, programming, and type systems (381)
- Distributed systems and fault tolerance (302)
- Security and Verification in Computing (231)
- Parallel Computing and Optimization Techniques (208)