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.
7152 Publications
2024 | Published | Conference Paper | IST-REx-ID: 15008 | 
Electrical flows for polylogarithmic competitive oblivious routing
G. Goranci, M. Henzinger, H. Räcke, S. Sachdeva, A.R. Sricharan, in:, 15th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Goranci, M. Henzinger, H. Räcke, S. Sachdeva, A.R. Sricharan, in:, 15th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15001 |
Self-replication of Aβ42 aggregates occurs on small and isolated fibril sites
S. Curk, J. Krausser, G. Meisl, D. Frenkel, S. Linse, T.C.T. Michaels, T.P.J. Knowles, A. Šarić, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Curk, J. Krausser, G. Meisl, D. Frenkel, S. Linse, T.C.T. Michaels, T.P.J. Knowles, A. Šarić, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15172 |
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, IEEE Transactions on Information Theory 70 (2024) 3823–3839.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.R. Esposito, M. Mondelli, IEEE Transactions on Information Theory 70 (2024) 3823–3839.
2024 | Published | Conference Paper | IST-REx-ID: 17099 |
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, in:, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Thesis | IST-REx-ID: 17164 |
Central limit theorems for random matrices: From resolvents to free probability
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17051 |
Trapdoor memory-hard functions
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Lower bounds for lattice-based compact functional encryption
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
2024 | Submitted | Preprint | IST-REx-ID: 17468 |
Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
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
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.
2024 | Published | Conference Paper | IST-REx-ID: 19005 |
Marrying causal representation learning with dynamical systems for science
D. Yao, C.J. Muller, F. Locatello, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.
[Published Version]
View
| Files available
| arXiv
D. Yao, C.J. Muller, F. Locatello, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18906 |
Expander hierarchies for normalized cuts on graphs
K. Hanauer, M. Henzinger, R. Münk, H. Räcke, M. Vötsch, in:, Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, ACM, 2024, pp. 1016–1027.
[Published Version]
View
| Files available
| DOI
K. Hanauer, M. Henzinger, R. Münk, H. Räcke, M. Vötsch, in:, Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, ACM, 2024, pp. 1016–1027.
2024 | Published | Conference Paper | IST-REx-ID: 18913 |
An empirical study of consensus protocols’ DoS resilience
G. Giuliari, A. Sonnino, M. Frei, F. Streun, E. Kokoris Kogias, A. Perrig, in:, Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, ACM, 2024, pp. 1345–1360.
[Published Version]
View
| Files available
| DOI
G. Giuliari, A. Sonnino, M. Frei, F. Streun, E. Kokoris Kogias, A. Perrig, in:, Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, ACM, 2024, pp. 1345–1360.
2024 | Published | Conference Paper | IST-REx-ID: 19028 |
A statistical approach to Monte Carlo denoising
H. Sakai, C. Freude, T. Auzinger, D. Hahn, M. Wimmer, in:, Proceedings - SIGGRAPH Asia 2024 Conference Papers, Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
H. Sakai, C. Freude, T. Auzinger, D. Hahn, M. Wimmer, in:, Proceedings - SIGGRAPH Asia 2024 Conference Papers, Association for Computing Machinery, 2024.
2024 | Published | Journal Article | IST-REx-ID: 19486 |
The 3-isogeny selmer groups of the elliptic curves y2=x3+n2
S. Chan, International Mathematics Research Notices 2024 (2024) 7571–7593.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Chan, International Mathematics Research Notices 2024 (2024) 7571–7593.
2024 | Published | Conference Paper | IST-REx-ID: 18847 |
Smoke and mirrors in causal downstream tasks
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
[Published Version]
View
| Files available
| arXiv
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
2024 | Draft | Preprint | IST-REx-ID: 19547 |
Cusp universality for correlated random matrices
L. Erdös, S.J. Henheik, V. Riabov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, S.J. Henheik, V. Riabov, ArXiv (n.d.).
2024 | Draft | Preprint | IST-REx-ID: 19545 |
Eigenstate thermalisation at the edge for Wigner matrices
G. Cipolloni, L. Erdös, S.J. Henheik, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, S.J. Henheik, ArXiv (n.d.).
2024 | Draft | Preprint | IST-REx-ID: 19551 |
Response theory for locally gapped systems
S.J. Henheik, T. Wessel, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S.J. Henheik, T. Wessel, ArXiv (n.d.).
2024 | Draft | Preprint | IST-REx-ID: 19550 |
Multi-band superconductors have enhanced critical temperatures
S.J. Henheik, E. Langmann, A.B. Lauritsen, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S.J. Henheik, E. Langmann, A.B. Lauritsen, ArXiv (n.d.).