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.




6754 Publications

2024 | Published | Journal Article | IST-REx-ID: 17283 | OA
Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2024. Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. 8, 232.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 14820 | OA
Schmid S, Svoboda J, Yeo MX. 2024. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. Theoretical Computer Science. 989, 114353.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Conference Paper | IST-REx-ID: 17126 | OA
Tairi E, Ünal A. 2024. Lower bounds for lattice-based compact functional encryption. Advances in Cryptology – EUROCRYPT 2024. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 14652, 249–279.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2024 | Published | Conference Paper | IST-REx-ID: 18755 | OA
Ebrahimi E, Yadav A. 2024. Strongly secure universal thresholdizer. 30th International Conference on the Theory and Application of Cryptology and Information Security. ASIACRYPT: Conference on the Theory and Application of Cryptology and Information Security vol. 15486, 207–239.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2024 | Published | Conference Paper | IST-REx-ID: 18974 | OA
Svoboda J, Bansal S, Chatterjee K. 2024. Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance. 41st International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 235, 47331–47344.
[Preprint] View | Download Preprint (ext.)
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18088 | OA
Pascual Perez G. 2024. On the efficiency and security of secure group messaging. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ. 2024. DeCAF: Decentralizable CGKA with fast healing. Security and Cryptography for Networks: 14th International Conference. SCN: Security and Cryptography for Networks, LNCS, vol. 14974, 294–313.
View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 18961 | OA
Günther CU, Pietrzak KZ. 2024. Deniability in automated contact tracing: Impossibilities and possibilities. Proceedings on Privacy Enhancing Technologies. 2024(4), 636–648.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18554 | OA
Erdös L, Riabov V. 2024. Eigenstate Thermalization Hypothesis for Wigner-type matrices. Communications in Mathematical Physics. 405(12), 282.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 13975 | OA
Campbell AJ, O’Rourke S. 2024. Spectrum of Lévy–Khintchine random laplacian matrices. Journal of Theoretical Probability. 37, 933–973.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17281 | OA
Campbell AJ, O’Rourke S, Renfrew DT. 2024. The fractional free convolution of R-diagonal elements and random polynomials under repeated differentiation. International Mathematics Research Notices. 2024(13), 10189–10218.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 14408 | OA
Cipolloni G, Erdös L, Schröder DJ. 2024. Mesoscopic central limit theorem for non-Hermitian random matrices. Probability Theory and Related Fields. 188, 1131–1182.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17375 | OA
Cipolloni G, Erdös L, Xu Y. 2024. Precise asymptotics for the spectral radius of a large random matrix. Journal of Mathematical Physics. 65(6), 063302.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 15025 | OA
Erdös L, McKenna B. 2024. Extremal statistics of quadratic forms of GOE/GUE eigenvectors. Annals of Applied Probability. 34(1B), 1623–1662.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 17164 | OA
Reker J. 2024. Central limit theorems for random matrices: From resolvents to free probability. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 17049 | OA
Cipolloni G, Erdös L, Henheik SJ, Schröder DJ. 2024. Optimal lower bound on eigenvector overlaps for non-Hermitian random matrices. Journal of Functional Analysis. 287(4), 110495.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 15378 | OA
Erdös L, Ji HC. 2024. Wegner estimate and upper bound on the eigenvalue condition number of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 77(9), 3785–3840.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18762 | OA
Reker J. 2024. Multi-point functional central limit theorem for Wigner matrices. Electronic Journal of Probability. 29, 191.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 17154 | OA
Reker J. 2024. Fluctuation moments for regular functions of Wigner Matrices. Mathematical Physics, Analysis and Geometry. 27(3), 10.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18656 | OA
Cipolloni G, Erdös L, Henheik SJ. 2024. Out-of-time-ordered correlators for Wigner matrices. Advances in Theoretical and Mathematical Physics. 28(6), 2025–2083.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed