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.
10932 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 | Conference Paper | IST-REx-ID: 19778 |
Hoffmann C, Pietrzak KZ. 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. Springer Nature; 2025:36-66. doi: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. 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 | Journal Article | IST-REx-ID: 18778 |
Tluckova K, Kaczmarek BM, Testa Salmazo AP, Bernecky C. Mechanism of mammalian transcriptional repression by noncoding RNA. Nature Structural & Molecular Biology. 2025;32:607-612. doi: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. 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 | In Press | Journal Article | IST-REx-ID: 19507 |
Andersen MS, Ulyanchenko S, Schweiger PJ, Hannezo EB, Simons BD, Jensen KB. Spatiotemporal switches in progenitor cell fate govern upper hair follicle growth and maintenance. Journal of Investigative Dermatology. doi: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. 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 | Thesis | IST-REx-ID: 19745
Canigova N. Adaptive strategies of dendritic cell migration in response to environmental cues. 2025. doi:10.15479/AT-ISTA-19745
[Published Version]
View
| Files available
| DOI
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 | Journal Article | IST-REx-ID: 18807 |
Rus S, Brückner D, Minchington T, et al. Self-organized pattern formation in the developing mouse neural tube by a temporal relay of BMP signaling. Developmental Cell. 2025;60(4):567-580. doi: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. 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