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.
334 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18068 | 
Henzinger TA, Mazzocchi NA, Sarac NE. Strategic dominance: A new preorder for nondeterministic processes. In: 35th International Conference on Concurrency Theory. Vol 311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.CONCUR.2024.29
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18847 |
Cadei R, Lindorfer L, Cremer S, Schmid C, Locatello F. Smoke and mirrors in causal downstream tasks. In: ICML 2024 Workshop AI4Science. Vol 38. Curran Associates; 2024.
[Published Version]
View
| Files available
| arXiv
2024 | Research Data Reference | IST-REx-ID: 18895 |
Cadei R, Locatello F, Cremer S, Lindorfer L, Schmid C. ISTAnt. 2024. doi:10.6084/M9.FIGSHARE.26484934.V2
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 18917 |
Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. Eight-partitioning points in 3D, and efficiently too. In: 40th International Symposium on Computational Geometry. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024:8:1-8:15. doi:10.4230/LIPIcs.SoCG.2024.8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18129
Janik M. Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. 2024. doi:10.15479/at:ista:18129
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18961 |
Günther CU, Pietrzak KZ. Deniability in automated contact tracing: Impossibilities and possibilities. Proceedings on Privacy Enhancing Technologies. 2024;2024(4):636-648. doi:10.56553/popets-2024-0134
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17426 |
Prach B, Brau F, Buttazzo G, Lampert C. 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. Computer Vision Foundation; 2024:24574-24583. doi:10.1109/CVPR52733.2024.02320
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18891 |
Súkeník P, Lampert C, Mondelli M. Neural collapse vs. low-rank bias: Is deep neural collapse really optimal? In: 38th Annual Conference on Neural Information Processing Systems. Vol 38. Curran Associates; 2024.
[Published Version]
View
| Files available
2024 | Published | Conference Paper | IST-REx-ID: 18890 |
Beaglehole D, Súkeník P, Mondelli M, Belkin M. Average gradient outer product as a mechanism for deep neural collapse. In: 38th Annual Conference on Neural Information Processing Systems. Vol 38. Curran Associates; 2024.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17141 |
Zhang Z, Chen H, Peng S, Han H. Slow and rapid auxin responses in Arabidopsis. Journal of Experimental Botany. 2024;75(18). doi:10.1093/jxb/erae246
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 15094 |
Cultrera di Montesano S. Persistence and Morse theory for discrete geometric structures. 2024. doi:10.15479/at:ista:15094
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18998 |
Draganov O, Skiena S. The shape of word embeddings: Quantifying non-isometry with topological data analysis. In: Findings of the Association for Computational Linguistics: EMNLP 2024. Association for Computational Linguistics; 2024:12080-12099. doi:10.18653/v1/2024.findings-emnlp.705
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 18999 |
Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. Chromatic topological data analysis. arXiv. doi:10.48550/ARXIV.2406.04102
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18104
Puglia D. Everyday electromechanics: Capacitive strong coupling to mechanical motion. 2024. doi:10.15479/at:ista:18104
[Published Version]
View
| Files available
| DOI
2024 | Published | Preprint | IST-REx-ID: 19063 |
Zverev E, Abdelnabi S, Tabesh S, Fritz M, Lampert C. Can LLMs separate instructions from data? And what do we even mean by that? arXiv. 2024. doi:10.48550/arXiv.2403.06833
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18766 |
Datler J. Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM. 2024. doi:10.15479/at:ista:18766
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17202 |
Sagi O, Crippa A, Valentini M, et al. A gate tunable transmon qubit in planar Ge. Nature Communications. 2024;15. doi:10.1038/s41467-024-50763-6
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18076 |
Sagi O. Hybrid circuits on planar Germanium. 2024. doi:10.15479/at:ista:18076
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17196 |
Sagi O. A gate-tunable transmon in planar Ge. 2024. doi:10.15479/AT:ISTA:17196
[Published Version]
View
| Files available
| DOI