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.
4387 Publications
2018 | Conference Paper | IST-REx-ID: 7407 | 
Pietrzak KZ. Proofs of catalytic space. In: 10th Innovations in Theoretical Computer Science Conference (ITCS 2019). Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:59:1-59:25. doi:10.4230/LIPICS.ITCS.2019.59
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Thesis | IST-REx-ID: 52 |
Moser T. Point interactions in systems of fermions. 2018. doi:10.15479/AT:ISTA:th_1043
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 742 |
Dotterrer D, Kaufman T, Wagner U. On expansion and topological overlap. Geometriae Dedicata. 2018;195(1):307–317. doi:10.1007/s10711-017-0291-4
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 324 |
Chen C. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. 2018. doi:10.15479/AT:ISTA:th_997
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 76 |
Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
View
| Files available
| DOI