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.
5954 Publications
2025 | Research Data Reference | IST-REx-ID: 19769 | 
Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). Zenodo. https://doi.org/10.5281/ZENODO.14602066
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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
| DOI
| Download Preprint (ext.)
2025 | Published | Journal Article | IST-REx-ID: 19783 |
Hurm, C., & Moser, M. (2025). Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model. GAMM-Mitteilungen. Wiley. https://doi.org/10.1002/gamm.70003
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18778 |
Tluckova, K., Kaczmarek, B. M., Testa Salmazo, A. P., & Bernecky, C. (2025). Mechanism of mammalian transcriptional repression by noncoding RNA. Nature Structural & Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-024-01448-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 18979 |
Draganov, O. (2025). Structures and computations in topological data analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18979
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19722
Inumella, S. (2025). Molecular mechanisms of microtubule reorganization in elongating root epidermal cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19722
[Published Version]
View
| Files available
| DOI
2025 | In Press | Journal Article | IST-REx-ID: 19507 |
Andersen, M. S., Ulyanchenko, S., Schweiger, P. J., Hannezo, E. B., Simons, B. D., & Jensen, K. B. (n.d.). Spatiotemporal switches in progenitor cell fate govern upper hair follicle growth and maintenance. Journal of Investigative Dermatology. Elsevier. https://doi.org/10.1016/j.jid.2025.01.034
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19731 |
Rayaroth Puthiyaveettil, A., Fiedler, C., & Ibáñez, M. (2025). Let us FIGURE it out: Why do scientists still make “bad” figures? ACS Materials Au. American Chemical Society. https://doi.org/10.1021/acsmaterialsau.5c00037
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19745
Canigova, N. (2025). Adaptive strategies of dendritic cell migration in response to environmental cues. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19745
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19859 |
Lichev, L., & Schapira, B. (2025). Color-avoiding percolation on the Erdős–Rényi random graph. Annales Henri Lebesgue. École normale supérieure de Rennes. https://doi.org/10.5802/ahl.228
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18807 |
Rus, S., Brückner, D., Minchington, T., Greunz, M., Merrin, J., Hannezo, E. B., & Kicheva, A. (2025). Self-organized pattern formation in the developing mouse neural tube by a temporal relay of BMP signaling. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2024.10.024
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 19666 |
Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Solving robust Markov decision processes: Generic, reliable, efficient. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26631–26641). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34865
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19936 |
Bedarkar, K., Elbeheiry, L., Sammler, M. J., Gäher, L., Brandenburg, B., Dreyer, D., & Garg, D. (2025). RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3729249
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19935 |
Spies, S., Mück, N., Zeng, H., Sammler, M. J., Lattuada, A., Müller, P., & Dreyer, D. (2025). Destabilizing Iris. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3729284
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19885 |
Saez Mollejo, J. (2025). Automated All-RF Tuning for Spin Qubit Readout and Control. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:19885
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19915 |
Springstein, B. L. (2025). Files for “Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:19915
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19906
Suresh, S. S. (2025). Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19906
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18848 |
Ocampo, R. F., Bravo, J. P. K., Dangerfield, T. L., Nocedal, I., Jirde, S. A., Alexander, L. M., … Taylor, D. W. (2025). DNA targeting by compact Cas9d and its resurrected ancestor. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-55573-4
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19662 |
| 
|
Gnanaraj, A. M., Bao, J., & Schmidt, H. (2025). The impact of the rotation rate on an aquaplanet’s radiant energy budget: Insights from experiments varying the Coriolis parameter. Weather and Climate Dynamics. Copernicus Publications. https://doi.org/10.5194/wcd-6-489-2025
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18855 |
Harris, D. G., & Kolmogorov, V. (2025). Parameter estimation for Gibbs distributions. ACM Transactions on Algorithms. Association for Computing Machinery. https://doi.org/10.1145/3685676
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv