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 | OA
Rychlewicz, K. P. (2024). Equivariant cohomology and rings of functions. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17156
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour, B., Momtaz, A., Nickovic, D., & Sarac, N. E. (2024). Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In 24th International Conference on Runtime Verification (Vol. 15191, pp. 282–301). Istanbul, Turkey: Springer Nature. https://doi.org/10.1007/978-3-031-74234-7_18
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18847 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 18961 | OA
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: 18998 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 17283 | OA
Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2024). Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656462
[Published Version] View | Files available | DOI | arXiv
 

2024 | Research Data | IST-REx-ID: 17344 | OA
Surendranadh, P., & Sachdeva, H. (2024). Mathematica notebook for “Effect of assortative mating and sexual selection on polygenic barriers to gene flow.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17344
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
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 | WoS | arXiv
 

earlier version | 2024 | Published | Conference Paper | IST-REx-ID: 18917 | OA
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
 

earlier version | 2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak, M., & Kolmogorov, V. (n.d.). Duality theory in linear optimization and its extensions -- formally  verified. arXiv. https://doi.org/10.48550/arXiv.2409.08119
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17278 | OA
Wang, X., & Cheng, B. (2024). Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures. Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0217232
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2024 | Submitted | Preprint | IST-REx-ID: 19063 | OA
Zverev, E., Abdelnabi, S., Tabesh, S., Fritz, M., & Lampert, C. (n.d.). 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 | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14687 | OA
Jethwa, R. B., Mondal, S., Pant, B., & Freunberger, S. A. (2024). To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202316476
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Research Data | IST-REx-ID: 17362 | OA
Elkrewi, M. N., & Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17362
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18113 | OA
Egiazarian, V., Panferov, A., Kuznedelev, D., Frantar, E., Babenko, A., & Alistarh, D.-A. (2024). Extreme compression of large language models via additive quantization. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 12284–12303). Vienna, Austria: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18117 | OA
Nikdan, M., Tabesh, S., Crncevic, E., & Alistarh, D.-A. (2024). RoSA: Accurate parameter-efficient fine-tuning via robust adaptation. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 38187–38206). Vienna, Austria: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2024 | Submitted | Preprint | IST-REx-ID: 17136 | OA
Arkhipov, P. (n.d.). Majority dynamics and internal partitions of random regular graphs: Experimental results. arXiv. https://doi.org/10.48550/arXiv.2406.07026
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed