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 | Published | Conference Paper | IST-REx-ID: 17126 | 
Tairi, E., & Ünal, A. (2024). Lower bounds for lattice-based compact functional encryption. In Advances in Cryptology – EUROCRYPT 2024 (Vol. 14652, pp. 249–279). Zurich, Switzerland: Springer Nature. 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, O., Cheung, G. T., & Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature. 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, M., Hasani, R., Amini, A., Wang, T. H., Henzinger, T. A., & Rus, D. (2024). Overparametrization helps offline-to-online generalization of closed-loop control from pixels. In Proceedings of the 2024 IEEE International Conference on Robotics and Automation (pp. 2774–2782). Yokohama, Japan: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICRA57147.2024.10610284
View
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 17468 |
Mondal, S., Nguyen, H. T. K., Hauschild, R., & Freunberger, S. A. (n.d.). Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide. ChemRxiv. 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, D., Muller, C. J., & Locatello, F. (2024). Marrying causal representation learning with dynamical systems for science. In 38th Conference on Neural Information Processing Systems (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation.
[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. In Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 1016–1027). Barcelona, Spain: ACM. https://doi.org/10.1145/3637528.3671978
[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. In Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (pp. 1345–1360). Singapore, Singapore: ACM. https://doi.org/10.1145/3634737.3656997
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18922
Georgiadis, L., Italiano, G. F., & Kosinas, E. (2024). Computing the 3-edge-connected components of directed graphs in linear time. In 65th Annual Symposium on Foundations of Computer Science (pp. 62–85). Chicago, IL, United States: IEEE. https://doi.org/10.1109/focs61266.2024.00015
View
| DOI
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. In ICML 2024 Workshop AI4Science (Vol. 38). Curran Associates.
[Published Version]
View
| Files available
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 19547 |
Erdös, L., Henheik, S. J., & Riabov, V. (n.d.). Cusp universality for correlated random matrices. arXiv. https://doi.org/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, S. J. (n.d.). Eigenstate thermalisation at the edge for Wigner matrices. arXiv. https://doi.org/10.48550/arXiv.2309.05488
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 19551 |
Henheik, S. J., & Wessel, T. (n.d.). Response theory for locally gapped systems. arXiv. https://doi.org/10.48550/arXiv.2410.10809
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 19550 |
Henheik, S. J., Langmann, E., & Lauritsen, A. B. (n.d.). Multi-band superconductors have enhanced critical temperatures. arXiv. https://doi.org/10.48550/arXiv.2409.17297
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18758 |
Lill, J., Petrova, K. H., & Weber, S. (2024). Linear-time MaxCut in multigraphs parameterized above the Poljak-Turzík bound. In 19th International Symposium on Parameterized and Exact Computation (Vol. 321). Egham, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.IPEC.2024.2
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15083 |
Hübner, V., Staab, M., Hilbe, C., Chatterjee, K., & Kleshnina, M. (2024). Efficiency and resilience of cooperation in asymmetric social dilemmas. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2315558121
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Submitted | Preprint | IST-REx-ID: 18892 |
Dawson, E., Kampleitner, N., Robb, J., Strahodinsky, F., Grasse, A. V., & Cremer, S. (n.d.). Altruistic disease signalling in ant colonies. bioRxiv. https://doi.org/10.1101/2024.02.27.582277
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17202 |
Sagi, O., Crippa, A., Valentini, M., Janik, M., Baghumyan, L., Fabris, G., … Katsaros, G. (2024). A gate tunable transmon qubit in planar Ge. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-50763-6
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15033 |
Adamowski, M., Matijevic, I., & Friml, J. (2024). Developmental patterning function of GNOM ARF-GEF mediated from the cell periphery. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.68993
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Thesis | IST-REx-ID: 18076 |
Sagi, O. (2024). Hybrid circuits on planar Germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18076
[Published Version]
View
| Files available
| DOI