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, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). Strategic dominance: A new preorder for nondeterministic processes. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2024). Smoke and mirrors in causal downstream tasks. In ICML 2024 Workshop AI4Science (Vol. 38). Curran Associates.
[Published Version]
View
| Files available
| arXiv
2024 | Research Data Reference | IST-REx-ID: 18895 |

Cadei, R., Locatello, F., Cremer, S., Lindorfer, L., & Schmid, C. (2024). ISTAnt. Institute of Science and Technology Austria. https://doi.org/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. (2024). Eight-partitioning points in 3D, and efficiently too. In 40th International Symposium on Computational Geometry (Vol. 293, p. 8:1-8:15). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |

Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18129
Janik, M. (2024). Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18129
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18961 |

Günther, C. U., & Pietrzak, K. Z. (2024). Deniability in automated contact tracing: Impossibilities and possibilities. Proceedings on Privacy Enhancing Technologies. Bristol, UK/Virtual: Privacy Enhancing Technologies Symposium Advisory Board. https://doi.org/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. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Seattle, WA, United States: Computer Vision Foundation. https://doi.org/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. (2024). Neural collapse vs. low-rank bias: Is deep neural collapse really optimal? In 38th Annual Conference on Neural Information Processing Systems (Vol. 38). Vancouver, Canada: Curran Associates.
[Published Version]
View
| Files available
2024 | Published | Conference Paper | IST-REx-ID: 18890 |

Beaglehole, D., Súkeník, P., Mondelli, M., & Belkin, M. (2024). Average gradient outer product as a mechanism for deep neural collapse. In 38th Annual Conference on Neural Information Processing Systems (Vol. 38). Vancouver, Canada: Curran Associates.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17141 |

Zhang, Z., Chen, H., Peng, S., & Han, H. (2024). Slow and rapid auxin responses in Arabidopsis. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/erae246
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 15094 |

Cultrera di Montesano, S. (2024). Persistence and Morse theory for discrete geometric structures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15094
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18998 |

Draganov, O., & Skiena, S. (2024). The shape of word embeddings: Quantifying non-isometry with topological data analysis. In Findings of the Association for Computational Linguistics: EMNLP 2024 (pp. 12080–12099). Miami, FL, United States: Association for Computational Linguistics. https://doi.org/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. (n.d.). Chromatic topological data analysis. arXiv. https://doi.org/10.48550/ARXIV.2406.04102
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18104
Puglia, D. (2024). Everyday electromechanics: Capacitive strong coupling to mechanical motion. Institute of Science and Technology Austria. https://doi.org/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. (2024). Can LLMs separate instructions from data? And what do we even mean by that? arXiv. https://doi.org/10.48550/arXiv.2403.06833
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18766 |

Datler, J. (2024). Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM. Institute of Science and Technology Austria. https://doi.org/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., 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
| arXiv
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
2024 | Research Data | IST-REx-ID: 17196 |

Sagi, O. (2024). A gate-tunable transmon in planar Ge. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17196
[Published Version]
View
| Files available
| DOI