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.

634 Publications


2024 | Research Data Reference | IST-REx-ID: 18895 | OA
Cadei, Riccardo, et al. ISTAnt. Institute of Science and Technology Austria, 2024, doi: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, vol. 2024, no. 4, Privacy Enhancing Technologies Symposium Advisory Board, 2024, pp. 636–48, doi: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.” Findings of the Association for Computational Linguistics: EMNLP 2024, Association for Computational Linguistics, 2024, pp. 12080–99, doi: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, et al. “Chromatic Topological Data Analysis.” ArXiv, 2406.04102, doi:10.48550/ARXIV.2406.04102.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17283 | OA
Chatterjee, Krishnendu, et al. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages, vol. 8, 232, Association for Computing Machinery, 2024, doi: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, doi:10.15479/AT:ISTA:17344.
[Published Version] View | Files available | DOI
 

2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, Roshan K., et al. Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17488.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi: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, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” 40th International Symposium on Computational Geometry, vol. 293, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15, doi: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, 2409.08119, doi: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, vol. 161, no. 3, 034111, AIP Publishing, 2024, doi: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, et al. “Can LLMs Separate Instructions from Data? And What Do We Even Mean by That?” ArXiv, 2403.06833, doi:10.48550/arXiv.2403.06833.
[Preprint] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14687 | OA
Jethwa, Rajesh B., et al. “To DISP or Not? The Far‐reaching Reaction Mechanisms Underpinning Lithium‐air Batteries.” Angewandte Chemie International Edition, vol. 63, no. 28, e202316476, Wiley, 2024, doi: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, doi:10.15479/AT:ISTA:17362.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18113 | OA
Egiazarian, Vage, et al. “Extreme Compression of Large Language Models via Additive Quantization.” Proceedings of the 41st International Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 12284–303.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18117 | OA
Nikdan, Mahdi, et al. “RoSA: Accurate Parameter-Efficient Fine-Tuning via Robust Adaptation.” Proceedings of the 41st International Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 38187–206.
[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, 2406.07026, doi:10.48550/arXiv.2406.07026.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18174 | OA
Wassermair, Michael, et al. “Fingerprints of Ordered Self-Assembled Structures in the Liquid Phase of a Hard-Core, Square-Shoulder System.” The Journal of Chemical Physics, vol. 161, no. 12, 124503, AIP Publishing, 2024, doi:10.1063/5.0226954.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14653 | OA
Kluibenschedl, Florian, et al. “Advanced Motion Tracking for Interactive Mass Spectrometry Imaging (IMSI).” International Journal of Mass Spectrometry, vol. 495, 117168, Elsevier, 2024, doi:10.1016/j.ijms.2023.117168.
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 15407 | OA
Finžgar, Jernej Rudi, et al. “Quantum-Informed Recursive Optimization Algorithms.” PRX Quantum, vol. 5, no. 2, 020327, American Physical Society, 2024, doi:10.1103/PRXQuantum.5.020327.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed