Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10763 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17099 | 
Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. 2024. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 323, 5.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17164 |
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 | Conference Paper | IST-REx-ID: 17051 |
Auerbach B, Günther CU, Pietrzak KZ. 2024. Trapdoor memory-hard functions. 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 14653, 315–344.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Asadi A, Chatterjee K, Svoboda J, Saona Urmeneta RJ. 2024. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
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.)
2024 | Published | Book Chapter | IST-REx-ID: 17425
Miranda O, Cheung GT, Hippenmeyer S. 2024.Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In: Neuronal Morphogenesis. Methods in Molecular Biology, vol. 2831, 283–299.
View
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 17898
Lechner M, Hasani R, Amini A, Wang TH, Henzinger TA, Rus D. 2024. Overparametrization helps offline-to-online generalization of closed-loop control from pixels. Proceedings of the 2024 IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, 2774–2782.
View
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 17468 |
Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide. ChemRxiv, 10.26434/chemrxiv-2024-3vrzz.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 19005 |
Yao D, Muller CJ, Locatello F. 2024. Marrying causal representation learning with dynamical systems for science. 38th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.
[Published Version]
View
| Files available
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18906 |
Hanauer K, Henzinger M, Münk R, Räcke H, Vötsch M. 2024. Expander hierarchies for normalized cuts on graphs. Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. KDD: Knowledge Discovery and Data Mining, 1016–1027.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18913 |
Giuliari G, Sonnino A, Frei M, Streun F, Kokoris Kogias E, Perrig A. 2024. An empirical study of consensus protocols’ DoS resilience. Proceedings of the 19th ACM Asia Conference on Computer and Communications Security. ASIACCS: Asia Conference on Computer and Communications Security, 1345–1360.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 19028 |
Sakai H, Freude C, Auzinger T, Hahn D, Wimmer M. 2024. A statistical approach to Monte Carlo denoising. Proceedings - SIGGRAPH Asia 2024 Conference Papers. SA: SIGGRAPH Asia, 68.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 19470
Douglass AM, Kucukdereli H, Madara JC, Wang D, Wu C, Lowenstein ED, Tao J, Lowell BB. 2024. Acute and circadian feedforward regulation of agouti-related peptide hunger neurons. Cell Metabolism. 37(3), 708–722.e5.
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 19486 |
Chan S. 2024. The 3-isogeny selmer groups of the elliptic curves y2=x3+n2. International Mathematics Research Notices. 2024(9), 7571–7593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18847 |
Cadei R, Lindorfer L, Cremer S, Schmid C, Locatello F. 2024. Smoke and mirrors in causal downstream tasks. ICML 2024 Workshop AI4Science. ICML: International Conference on Machine Learning vol. 38.
[Published Version]
View
| Files available
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 19547 |
Erdös L, Henheik SJ, Riabov V. Cusp universality for correlated random matrices. arXiv, 10.48550/arXiv.2410.06813.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 19545 |
Cipolloni G, Erdös L, Henheik SJ. Eigenstate thermalisation at the edge for Wigner matrices. arXiv, 10.48550/arXiv.2309.05488.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 19551 |
Henheik SJ, Wessel T. Response theory for locally gapped systems. arXiv, 10.48550/arXiv.2410.10809.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv