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.
637 Publications
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17156 |
Equivariant cohomology and rings of functions
K.P. Rychlewicz, Equivariant Cohomology and Rings of Functions, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
K.P. Rychlewicz, Equivariant Cohomology and Rings of Functions, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18847 |
Smoke and mirrors in causal downstream tasks
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
[Published Version]
View
| Files available
| arXiv
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
2024 |
Research Data Reference |
IST-REx-ID: 18895 |
ISTAnt
R. Cadei, F. Locatello, S. Cremer, L. Lindorfer, C. Schmid, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Cadei, F. Locatello, S. Cremer, L. Lindorfer, C. Schmid, (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 18961 |
Deniability in automated contact tracing: Impossibilities and possibilities
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
[Published Version]
View
| Files available
| DOI
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18998 |
The shape of word embeddings: Quantifying non-isometry with topological data analysis
O. Draganov, S. Skiena, in:, Findings of the Association for Computational Linguistics: EMNLP 2024, Association for Computational Linguistics, 2024, pp. 12080–12099.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Draganov, S. Skiena, in:, Findings of the Association for Computational Linguistics: EMNLP 2024, Association for Computational Linguistics, 2024, pp. 12080–12099.
2024 |
Submitted |
Preprint |
IST-REx-ID: 18999 |
Chromatic topological data analysis
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
2024 |
Published |
Journal Article |
IST-REx-ID: 17283 |
Equivalence and similarity refutation for probabilistic programs
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
2024 |
Research Data |
IST-REx-ID: 17344 |
Mathematica notebook for 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'
P. Surendranadh, H. Sachdeva, (2024).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, H. Sachdeva, (2024).
2024 |
Research Data |
IST-REx-ID: 17488 |
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
[Published Version]
View
| Files available
| DOI
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
2024 |
Published |
Conference Paper |
IST-REx-ID: 18068 |
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
earlier version | 2024 |
Published |
Conference Paper |
IST-REx-ID: 18917 |
Eight-partitioning points in 3D, and efficiently too
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15.
earlier version | 2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
2024 |
Published |
Journal Article |
IST-REx-ID: 17278 |
Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures
X. Wang, B. Cheng, Journal of Chemical Physics 161 (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
X. Wang, B. Cheng, Journal of Chemical Physics 161 (2024).
2024 |
Submitted |
Preprint |
IST-REx-ID: 19063 |
Can LLMs separate instructions from data? And what do we even mean by that?
E. Zverev, S. Abdelnabi, S. Tabesh, M. Fritz, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| arXiv
E. Zverev, S. Abdelnabi, S. Tabesh, M. Fritz, C. Lampert, ArXiv (n.d.).
2024 |
Published |
Journal Article |
IST-REx-ID: 14687 |
To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition 63 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition 63 (2024).
2024 |
Research Data |
IST-REx-ID: 17362 |
Data for: "Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome"
M.N. Elkrewi, B. Vicoso, (2024).
[Published Version]
View
| Files available
| DOI
M.N. Elkrewi, B. Vicoso, (2024).
2024 |
Published |
Conference Paper |
IST-REx-ID: 18113 |
Extreme compression of large language models via additive quantization
V. Egiazarian, A. Panferov, D. Kuznedelev, E. Frantar, A. Babenko, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 12284–12303.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Egiazarian, A. Panferov, D. Kuznedelev, E. Frantar, A. Babenko, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 12284–12303.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18117 |
RoSA: Accurate parameter-efficient fine-tuning via robust adaptation
M. Nikdan, S. Tabesh, E. Crncevic, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 38187–38206.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
M. Nikdan, S. Tabesh, E. Crncevic, D.-A. Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 38187–38206.
2024 |
Submitted |
Preprint |
IST-REx-ID: 17136 |
Majority dynamics and internal partitions of random regular graphs: Experimental results
P. Arkhipov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Arkhipov, ArXiv (n.d.).