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.
6217 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20690 | 
Brihaye, Thomas, Krishnendu Chatterjee, Stefanie Mohr, and Maximilian Weininger. “Risk-Aware Markov Decision Processes Using Cumulative Prospect Theory.” In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 458–71. IEEE, 2025. https://doi.org/10.1109/lics65433.2025.00041.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20689 |
Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer. “Multiplicative Rewards in Markovian Models.” In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 499–512. IEEE, 2025. https://doi.org/10.1109/lics65433.2025.00044.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20688 |
Grobelna, Marta, Jan Kretinsky, and Maximilian Weininger. “Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.” In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 568–80. IEEE, 2025. https://doi.org/10.1109/lics65433.2025.00049.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20684 |
Kurtic, Eldar, Alexandre Marques, Shubhra Pandit, Mark Kurtz, and Dan-Adrian Alistarh. “‘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, 26872–86. Association for Computational Linguistics, 2025.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20357
Ruzickova, Natalia. “Effect Propagation in Biological Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20357.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 17468 |
| 
|
Mondal, Soumyadip, Huyen T.K. Nguyen, Robert Hauschild, and Stefan Alexander Freunberger. “Marcus Kinetics Control Singlet and Triplet Oxygen Evolving from Superoxide.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-09587-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 20556 |
Hoffmann, Charlotte. “Theory and Applications of Verifiable Delay Functions.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20556.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
Hoffmann, Charlotte, and Krzysztof Z Pietrzak. “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, 15674:36–66. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-91820-9_2.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20188 |
|
|
Jikko, Yuya, Eriko Deguchi, Kimiya Matsuda, Naoya Hino, Shinya Tsukiji, Michiyuki Matsuda, and Kenta Terai. “Front-Biased Activation of the Ras-Rab5-Rac1 Loop Coordinates Collective Cell Migration.” Journal of Cell Science. The Company of Biologists, 2025. https://doi.org/10.1242/jcs.263779.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20100 |
|
|
Vedula, Sanketh, Alex M. Bronstein, and Ailie Marx. “Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment.” Computational and Structural Biotechnology Journal. Elsevier, 2025. 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, Michael, and Shiyu Shen. “Complex K-Theory of Moduli Spaces of Higgs Bundles.” Journal of the European Mathematical Society. European Mathematical Society, 2025. 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, Sanketh, Alex M. Bronstein, and Ailie Marx. “Replication Data for: ‘Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment.’” Harvard Dataverse, 2025. https://doi.org/10.7910/DVN/DYEBVM.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20705 |
|
|
Stöllner, Andrea, Isaac C Lenton, Artem Volosniev, James Millen, Renjiro Shibuya, Hisao Ishii, Dmytro Rak, et al. “Using Optical Tweezers to Simultaneously Trap, Charge, and Measure the Charge of a Microparticle in Air.” Physical Review Letters. American Physical Society, 2025. https://doi.org/10.1103/5xd9-4tjj.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20707 |
Gahtan, Barak, Sanketh Vedula, Gil Samuelly Leichtag, Einat Kodesh, and Alex M. Bronstein. “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, 60–77. Association for Computing Machinery, 2025. https://doi.org/10.1145/3716553.3750815.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20708 |
|
|
Martinet, Quentin, Yuting I Li, A. Aubret, Edouard B Hannezo, and Jérémie A Palacci. “Emergent Dynamics of Active Elastic Microbeams.” Physical Review X. American Physical Society, 2025. https://doi.org/10.1103/rjk2-q2wh.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20702 |
King, Daniel S., Daniel Grzenda, Ray Zhu, Nathaniel Hudson, Ian Foster, Bingqing Cheng, and Laura Gagliardi. “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, 2025. https://doi.org/10.1073/pnas.2510235122.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20709 |
|
|
Brighi, Pietro, Marko Ljubotina, Federico Roccati, and Federico Balducci. “Finite Steady-State Current Defies Non-Hermitian Many-Body Localization.” Physical Review Research. American Physical Society, 2025. https://doi.org/10.1103/crwj-x7j8.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20253 |
Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Language Automata.” In 36th International Conference on Concurrency Theory, Vol. 348. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. 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, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” In 37th International Conference on Computer Aided Verification, 15932:29–55. Springer Nature, 2025. 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, Nils, Emily Yu, Mathias Preiner, Armin Biere, and Keijo Heljanko. “Introducing Certificates to the Hardware Model Checking Competition.” In 37th International Conference on Computer Aided Verification, 15931:281–95. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-98668-0_14.
[Published Version]
View
| Files available
| DOI
| WoS