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.

4553 Publications

2023 | Conference Paper | IST-REx-ID: 12735 | OA
Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
View | DOI | Download Preprint (ext.) | arXiv
2023 | Conference Poster | IST-REx-ID: 12736 | OA
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
View | DOI | Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12760 | OA
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
View | Files available | DOI | arXiv
2023 | Journal Article | IST-REx-ID: 12763
The reach of subsets of manifolds
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology (2023).
View | DOI
2023 | Journal Article | IST-REx-ID: 12786 | OA
Modulatory mechanisms of TARP γ8-selective AMPA receptor therapeutics
D. Zhang, R. Lape, S.A. Shaikh, B.K. Kohegyi, J. Watson, O. Cais, T. Nakagawa, I.H. Greger, Nature Communications 14 (2023).
View | Files available | DOI

Filters and Search Terms



Filter Publications