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, Kamil P. “Equivariant Cohomology and Rings of Functions.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17156.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour, Borzoo, Anik Momtaz, Dejan Nickovic, and Naci E Sarac. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” In 24th International Conference on Runtime Verification, 15191:282–301. Springer Nature, 2024. 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, Riccardo, Lukas Lindorfer, Sylvia Cremer, Cordelia Schmid, and Francesco Locatello. “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 | OA
Cadei, Riccardo, Francesco Locatello, Sylvia Cremer, Lukas Lindorfer, and Cordelia Schmid. “ISTAnt.” Institute of Science and Technology Austria, 2024. 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, Christoph Ullrich, and Krzysztof Z Pietrzak. “Deniability in Automated Contact Tracing: Impossibilities and Possibilities.” Proceedings on Privacy Enhancing Technologies. Privacy Enhancing Technologies Symposium Advisory Board, 2024. https://doi.org/10.56553/popets-2024-0134.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18998 | OA
Draganov, Ondrej, and Steven Skiena. “The Shape of Word Embeddings: Quantifying Non-Isometry with Topological Data Analysis.” In Findings of the Association for Computational Linguistics: EMNLP 2024, 12080–99. Association for Computational Linguistics, 2024. 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, Sebastiano, Ondrej Draganov, Herbert Edelsbrunner, and Morteza Saghafian. “Chromatic Topological Data Analysis.” ArXiv, n.d. 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, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656462.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Research Data | IST-REx-ID: 17344 | OA
Surendranadh, Parvathy, and Himani Sachdeva. “Mathematica Notebook for ‘Effect of Assortative Mating and Sexual Selection on Polygenic Barriers to Gene Flow.’” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17344.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, Roshan K, Maximilian A Jösch, Olga Symonova, and Victoria Pokusaeva. “Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17488.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “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. 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, Boris, Abdul Basit, Indu Ramesh, Gianluca Tasinato, and Uli Wagner. “Eight-Partitioning Points in 3D, and Efficiently Too.” In 40th International Symposium on Computational Geometry, 293:8:1-8:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. 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, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, n.d. 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, Xiaoyu, and Bingqing Cheng. “Integrating Molecular Dynamics Simulations and Experimental Data for Azeotrope Predictions in Binary Mixtures.” Journal of Chemical Physics. AIP Publishing, 2024. 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, Egor, Sahar Abdelnabi, Soroush Tabesh, Mario Fritz, and Christoph Lampert. “Can LLMs Separate Instructions from Data? And What Do We Even Mean by That?” ArXiv, n.d. https://doi.org/10.48550/arXiv.2403.06833.
[Preprint] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14687 | OA
Jethwa, Rajesh B, Soumyadip Mondal, Bhargavi Pant, and Stefan Alexander Freunberger. “To DISP or Not? The Far‐reaching Reaction Mechanisms Underpinning Lithium‐air Batteries.” Angewandte Chemie International Edition. Wiley, 2024. 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, Marwan N, and Beatriz Vicoso. “Data for: ‘Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.’” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:17362.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18113 | OA
Egiazarian, Vage, Andrei Panferov, Denis Kuznedelev, Elias Frantar, Artem Babenko, and Dan-Adrian Alistarh. “Extreme Compression of Large Language Models via Additive Quantization.” In Proceedings of the 41st International Conference on Machine Learning, 235:12284–303. ML Research Press, 2024.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18117 | OA
Nikdan, Mahdi, Soroush Tabesh, Elvir Crncevic, and Dan-Adrian Alistarh. “RoSA: Accurate Parameter-Efficient Fine-Tuning via Robust Adaptation.” In Proceedings of the 41st International Conference on Machine Learning, 235:38187–206. ML Research Press, 2024.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2024 | Submitted | Preprint | IST-REx-ID: 17136 | OA
Arkhipov, Pavel. “Majority Dynamics and Internal Partitions of Random Regular Graphs: Experimental Results.” ArXiv, n.d. 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: Chicago

Export / Embed