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 | Journal Article | IST-REx-ID: 17474 | 
Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer. “Entropic Risk for Turn-Based Stochastic Games.” Information and Computation. Elsevier, 2024. https://doi.org/10.1016/j.ic.2024.105214.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 15006 |
Hirvonen, Juho, Laura Schmid, Krishnendu Chatterjee, and Stefan Schmid. “On the Convergence Time in Graphical Games: A Locality-Sensitive Approach.” In 27th International Conference on Principles of Distributed Systems, Vol. 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.OPODIS.2023.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 15008 |
Goranci, Gramoz, Monika Henzinger, Harald Räcke, Sushant Sachdeva, and A. R. Sricharan. “Electrical Flows for Polylogarithmic Competitive Oblivious Routing.” In 15th Innovations in Theoretical Computer Science Conference, Vol. 287. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.ITCS.2024.55.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15001 |
Curk, Samo, Johannes Krausser, Georg Meisl, Daan Frenkel, Sara Linse, Thomas C.T. Michaels, Tuomas P.J. Knowles, and Anđela Šarić. “Self-Replication of Aβ42 Aggregates Occurs on Small and Isolated Fibril Sites.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2024. https://doi.org/10.1073/pnas.2220075121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15172 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” IEEE Transactions on Information Theory. IEEE, 2024. https://doi.org/10.1109/TIT.2024.3367767.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17099 |
Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms.” In 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 323. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.FSTTCS.2024.5.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17164 |
Reker, Jana. “Central Limit Theorems for Random Matrices: From Resolvents to Free Probability.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17164.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17051 |
Auerbach, Benedikt, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Trapdoor Memory-Hard Functions.” In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 14653:315–44. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-58734-4_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Asadi, Ali, Krishnendu Chatterjee, Jakub Svoboda, and Raimundo J Saona Urmeneta. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.” In 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 2024. https://doi.org/10.1145/3661814.3662080.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Tairi, Erkan, and Akin Ünal. “Lower Bounds for Lattice-Based Compact Functional Encryption.” In Advances in Cryptology – EUROCRYPT 2024, 14652:249–79. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-58723-8_9.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2024 | Published | Book Chapter | IST-REx-ID: 17425
Miranda, Osvaldo, Giselle T Cheung, and Simon Hippenmeyer. “Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers.” In Neuronal Morphogenesis, edited by Kazuhito Toyooka, 1st ed., 2831:283–99. MIMB. New York, NY: Springer Nature, 2024. https://doi.org/10.1007/978-1-0716-3969-6_19.
View
| DOI
| PubMed | Europe PMC
2024 | Published | Conference Paper | IST-REx-ID: 17898
Lechner, Mathias, Ramin Hasani, Alexander Amini, Tsun Hsuan Wang, Thomas A Henzinger, and Daniela Rus. “Overparametrization Helps Offline-to-Online Generalization of Closed-Loop Control from Pixels.” In Proceedings of the 2024 IEEE International Conference on Robotics and Automation, 2774–82. Institute of Electrical and Electronics Engineers, 2024. https://doi.org/10.1109/ICRA57147.2024.10610284.
View
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 17468 |
Mondal, Soumyadip, Huyen T.K. Nguyen, Robert Hauschild, and Stefan Alexander Freunberger. “Individual Marcus-Type Kinetics Controls Singlet and Triplet Oxygen Evolution from Superoxide.” ChemRxiv, n.d. https://doi.org/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, Dingling, Caroline J Muller, and Francesco Locatello. “Marrying Causal Representation Learning with Dynamical Systems for Science.” In 38th Conference on Neural Information Processing Systems, Vol. 37. Neural Information Processing Systems Foundation, 2024.
[Published Version]
View
| Files available
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18906 |
Hanauer, Kathrin, Monika Henzinger, Robin Münk, Harald Räcke, and Maximilian Vötsch. “Expander Hierarchies for Normalized Cuts on Graphs.” In Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 1016–27. ACM, 2024. https://doi.org/10.1145/3637528.3671978.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18913 |
Giuliari, Giacomo, Alberto Sonnino, Marc Frei, Fabio Streun, Eleftherios Kokoris Kogias, and Adrian Perrig. “An Empirical Study of Consensus Protocols’ DoS Resilience.” In Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 1345–60. ACM, 2024. https://doi.org/10.1145/3634737.3656997.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18922
Georgiadis, Loukas, Giuseppe F. Italiano, and Evangelos Kosinas. “Computing the 3-Edge-Connected Components of Directed Graphs in Linear Time.” In 65th Annual Symposium on Foundations of Computer Science, 62–85. IEEE, 2024. https://doi.org/10.1109/focs61266.2024.00015.
View
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 19028 |
Sakai, Hiroyuki, Christian Freude, Thomas Auzinger, David Hahn, and Michael Wimmer. “A Statistical Approach to Monte Carlo Denoising.” In Proceedings - SIGGRAPH Asia 2024 Conference Papers. Association for Computing Machinery, 2024. https://doi.org/10.1145/3680528.3687591.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 19470
Douglass, Amelia M., Hakan Kucukdereli, Joseph C. Madara, Daqing Wang, Chen Wu, Elijah D. Lowenstein, Jenkang Tao, and Bradford B. Lowell. “Acute and Circadian Feedforward Regulation of Agouti-Related Peptide Hunger Neurons.” Cell Metabolism. Elsevier, 2024. https://doi.org/10.1016/j.cmet.2024.11.009.
View
| DOI
| PubMed | Europe PMC