ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6079 Publications

2025 | Published | Conference Paper | IST-REx-ID: 20684 |

Kurtic, E., Marques, A., Pandit, S., Kurtz, M., & Alistarh, D.-A. (2025). “Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization. In Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (pp. 26872–26886). Vienna, Austria: Association for Computational Linguistics.

[Published Version] View | Files available | arXiv

2025 | Published | Thesis | IST-REx-ID: 20357

Ruzickova, N. (2025). Effect propagation in biological networks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20357

[Published Version] View | Files available | DOI

Mondal, S., Nguyen, H. T. K., Hauschild, R., & Freunberger, S. A. (2025). Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. Springer Nature. https://doi.org/10.1038/s41586-025-09587-7

2025 | Published | Thesis | IST-REx-ID: 20556 |

Hoffmann, C. (2025). Theory and applications of verifiable delay functions. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20556

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 19778 |

Hoffmann, C., & Pietrzak, K. Z. (2025). Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography (Vol. 15674, pp. 36–66). Roros, Norway: Springer Nature. https://doi.org/10.1007/978-3-031-91820-9_2

[Preprint] View | Files available | DOI | Download Preprint (ext.)

Jikko, Y., Deguchi, E., Matsuda, K., Hino, N., Tsukiji, S., Matsuda, M., & Terai, K. (2025). Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.263779

Vedula, S., Bronstein, A. M., & Marx, A. (2025). Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment. Computational and Structural Biotechnology Journal. Elsevier. https://doi.org/10.1016/j.csbj.2025.07.039

[Published Version] View | Files available | DOI | WoS

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |

Groechenig, M., & Shen, S. (2025). Complex K-theory of moduli spaces of Higgs bundles. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/jems/1601

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2025 | Research Data Reference | IST-REx-ID: 20103 |

Vedula, S., Bronstein, A. M., & Marx, A. (2025). Replication Data for: “Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment.” Harvard Dataverse. https://doi.org/10.7910/DVN/DYEBVM

[Published Version] View | Files available | DOI | Download Published Version (ext.)

Stöllner, A., Lenton, I. C., Volosniev, A., Millen, J., Shibuya, R., Ishii, H., … Waitukaitis, S. R. (2025). Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air. Physical Review Letters. American Physical Society. https://doi.org/10.1103/5xd9-4tjj

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20707 |

Gahtan, B., Vedula, S., Samuelly Leichtag, G., Kodesh, E., & Bronstein, A. M. (2025). From lab to wrist: Bridging metabolic monitoring and consumer wearables for heart rate and oxygen consumption modeling. In Proceedings of the 27th International Conference on Multimodal Interaction (pp. 60–77). Canberra, Australia: Association for Computing Machinery. https://doi.org/10.1145/3716553.3750815

[Published Version] View | Files available | DOI | arXiv

Martinet, Q., Li, Y. I., Aubret, A., Hannezo, E. B., & Palacci, J. A. (2025). Emergent dynamics of active elastic microbeams. Physical Review X. American Physical Society. https://doi.org/10.1103/rjk2-q2wh

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Journal Article | IST-REx-ID: 20702 |

King, D. S., Grzenda, D., Zhu, R., Hudson, N., Foster, I., Cheng, B., & Gagliardi, L. (2025). Cartesian equivariant representations for learning and understanding molecular orbitals. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2510235122

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Brighi, P., Ljubotina, M., Roccati, F., & Balducci, F. (2025). Finite steady-state current defies non-Hermitian many-body localization. Physical Review Research. American Physical Society. https://doi.org/10.1103/crwj-x7j8

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20253 |

Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2025). Quantitative language automata. In 36th International Conference on Concurrency Theory (Vol. 348). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2025.21

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20225 |

Henzinger, T. A., Mallik, K., Sadeghi, P., & Zikelic, D. (2025). Supermartingale certificates for quantitative omega-regular verification and control. In 37th International Conference on Computer Aided Verification (Vol. 15932, pp. 29–55). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98679-6_2

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20189 |

Froleyks, N., Yu, E., Preiner, M., Biere, A., & Heljanko, K. (2025). Introducing certificates to the hardware model checking competition. In 37th International Conference on Computer Aided Verification (Vol. 15931, pp. 281–295). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98668-0_14

[Published Version] View | Files available | DOI | WoS

Puixeu Sala, G., & Hayward, L. (2025). The relationship between sexual dimorphism and intersex correlation: Do models support intuition? Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyaf175

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2025 | Published | Conference Paper | IST-REx-ID: 20224 |

Martynov, P., Buzdalov, M., Pankratov, S., Aksenov, V., & Schmid, S. (2025). In the search of optimal tree networks: Hardness and heuristics. In Proceedings of the 2025 Genetic and Evolutionary Computation Conference (pp. 249–257). Malaga, Spain: Association for Computing Machinery. https://doi.org/10.1145/3712256.3726425

[Published Version] View | Files available | DOI | WoS

Cipolloni, G., Erdös, L., & Xu, Y. (2025). Optimal decay of eigenvector overlap for non-Hermitian random matrices. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2025.111180

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6079 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6079 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options