DR
Dagstuhl Research Online Publication Server
Repository157
Publications
39,415
Citations
Loading papers...
Search by keywords
Filter by Type
- Preprint (66)
- Article (33)
- Other (8)
- Report (8)
- Book (3)
Filter by Open Access Type
- Open Access (0)
- Closed Access (119)
Filter by Authors
- Schloss Dagstuhl Leibniz-Zentrum für Informatik (6)
- Schloss Dagstuhl – Leibniz-Zentrum für Informatik (4)
- Paola Busia (2)
- Lev Denisov (2)
- Davide Baroffio (2)
Filter by Topics
- Distributed systems and fault tolerance (8)
- Machine Learning and Algorithms (8)
- Logic, programming, and type systems (7)
- Formal Methods in Verification (7)
- Complexity and Algorithms in Graphs (7)