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.
6173 Publications
2025 | Research Data Reference | IST-REx-ID: 19769 | 
Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 19783 |
Hurm C, Moser M. Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model. GAMM-Mitteilungen. 2025;48(2). doi:10.1002/gamm.70003
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 18979 |
Draganov O. Structures and computations in topological data analysis. 2025. doi:10.15479/at:ista:18979
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19722
Inumella S. Molecular mechanisms of microtubule reorganization in elongating root epidermal cells. 2025. doi:10.15479/AT-ISTA-19722
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19731 |
Rayaroth Puthiyaveettil A, Fiedler C, Ibáñez M. Let us FIGURE it out: Why do scientists still make “bad” figures? ACS Materials Au. 2025;5(3):438-440. doi:10.1021/acsmaterialsau.5c00037
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19859 |
Lichev L, Schapira B. Color-avoiding percolation on the Erdős–Rényi random graph. Annales Henri Lebesgue. 2025;8:35-65. doi:10.5802/ahl.228
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19666 |
Meggendorfer T, Weininger M, Wienhöft P. Solving robust Markov decision processes: Generic, reliable, efficient. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26631-26641. doi: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 MJ, et al. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. 2025;9(PLDI):73-97. doi:10.1145/3729249
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19935 |
Spies S, Mück N, Zeng H, et al. Destabilizing Iris. Proceedings of the ACM on Programming Languages. 2025;9(PLDI):848-873. doi:10.1145/3729284
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19885 |
Saez Mollejo J. Automated All-RF Tuning for Spin Qubit Readout and Control. 2025. doi:10.15479/AT:ISTA:19885
[Published Version]
View
| Files available
| DOI
2025 | Research Data | IST-REx-ID: 19915 |
Springstein BL. Files for “Evolutionary repurposing of a DNA segregation machinery into a cytoskeletal system controlling cyanobacterial cell shape.” 2025. doi:10.15479/AT:ISTA:19915
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19906
Suresh SS. Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote. 2025. doi:10.15479/AT-ISTA-19906
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18848 |
Ocampo RF, Bravo JPK, Dangerfield TL, et al. DNA targeting by compact Cas9d and its resurrected ancestor. Nature Communications. 2025;16. doi:10.1038/s41467-024-55573-4
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19662 |
| 
|
Gnanaraj AM, Bao J, Schmidt H. The impact of the rotation rate on an aquaplanet’s radiant energy budget: Insights from experiments varying the Coriolis parameter. Weather and Climate Dynamics. 2025;6(2):489-503. doi:10.5194/wcd-6-489-2025
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18855 |
Harris DG, Kolmogorov V. Parameter estimation for Gibbs distributions. ACM Transactions on Algorithms. 2025;21(1). doi:10.1145/3685676
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18866 |
Scalco M, Gerasimov R, Bedin LR, et al. JWST photometry and astrometry of 47 Tucanae. Discontinuity in the stellar sequence at the star--brown dwarf transition. Astronomy & Astrophysics. 2025;694. doi:10.1051/0004-6361/202452907
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18853
Zeng G, Sun Q, Horta S, et al. Modulating the solvation structure to enhance amorphous solid electrolyte interface formation for ultra-stable aqueous zinc anode. Energy and Environmental Science. 2025;18(4):1683-1695. doi:10.1039/d4ee03750b
View
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 18880 |
Campbell AJ, Luh K, Margarint V. Rate of convergence in multiple SLE using random matrix theory. Random Matrices: Theory and Application. 2025;14(1). doi:10.1142/S201032632450028X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 19546 |
Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Eigenvector decorrelation for random matrices. arXiv. doi:10.48550/arXiv.2410.10718
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 19552 |
Henheik SJ, Poudyal B, Tumulka R. How a space-time singularity helps remove the ultraviolet divergence problem. arXiv. doi:10.48550/arXiv.2409.00677
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv