Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4119 Publications
2018 | Journal Article | IST-REx-ID: 738 | 
Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
2018 | Conference Paper | IST-REx-ID: 7407 |
Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
View
| Files available
| DOI
| Download Published Version (ext.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
2018 | Journal Article | IST-REx-ID: 742 |
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
View
| Files available
| DOI
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
2018 | Preprint | IST-REx-ID: 75 |
Convex fair partitions into arbitrary number of pieces
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
View
| Files available
| Download Preprint (ext.)
| arXiv
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
2018 | Journal Article | IST-REx-ID: 76 |
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
View
| Files available
| DOI
C. Lenzen, J. Rybicki, Distributed Computing (2018).