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.
5779 Publications
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18951 | 
Local dimer dynamics in higher dimensions
I. Hartarsky, L. Lichev, F.L. Toninelli, Annales de l’Institut Henri Poincaré D, Combinatorics, Physics and Their Interactions (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Hartarsky, L. Lichev, F.L. Toninelli, Annales de l’Institut Henri Poincaré D, Combinatorics, Physics and Their Interactions (2024).
2024 | Research Data Reference | IST-REx-ID: 19307 |
Data - The unreasonable efficiency of total rain evaporation removal in triggering convective self-aggregation
Y.-L. Hwong, C.J. Muller, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, C.J. Muller, (2024).
2024 | Published | Journal Article | IST-REx-ID: 18445 |
| 
|
Concerted transcriptional regulation of the morphogenesis of hypothalamic neurons by ONECUT3
M. Zupančič, E. Keimpema, E.O. Tretiakov, S.J. Eder, I. Lev, L. Englmaier, P. Bhandari, S.A. Fietz, W. Härtig, E. Renaux, A. Villunger, T. Hökfelt, M. Zimmer, F. Clotman, T. Harkany, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Zupančič, E. Keimpema, E.O. Tretiakov, S.J. Eder, I. Lev, L. Englmaier, P. Bhandari, S.A. Fietz, W. Härtig, E. Renaux, A. Villunger, T. Hökfelt, M. Zimmer, F. Clotman, T. Harkany, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18630 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.
2024 | Published | Thesis | IST-REx-ID: 18088 |
On the efficiency and security of secure group messaging
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17330 |
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, IEEE Transactions on Information Theory 70 (2024) 6211–6238.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
N. Resch, C. Yuan, Y. Zhang, IEEE Transactions on Information Theory 70 (2024) 6211–6238.
2024 | Published | Journal Article | IST-REx-ID: 17474 |
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, Information and Computation 301 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 15006 |
On the convergence time in graphical games: A locality-sensitive approach
J. Hirvonen, L. Schmid, K. Chatterjee, S. Schmid, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Hirvonen, L. Schmid, K. Chatterjee, S. Schmid, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
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 | Published | Book Chapter | IST-REx-ID: 17425
Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
View
| DOI
| PubMed | Europe PMC
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
2024 | Published | Conference Paper | IST-REx-ID: 17898
Overparametrization helps offline-to-online generalization of closed-loop control from pixels
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.
View
| DOI
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.
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.