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.
10945 Publications
2025 | Published | Preprint | IST-REx-ID: 19717 | 
Varela-Martínez I, Villalba Requena A, Garcia-Marqués J, Hippenmeyer S, Nieto M. Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis. bioRxiv. 2025. doi:10.1101/2025.05.07.652665
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 | Published | Journal Article | IST-REx-ID: 10011 |
Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. 2025;130:209-268. doi:10.4310/jdg/1747065796
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration with guessing for Markov chains and Markov decision processes. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
Chalupa M, Richter C. BUBAAK: Dynamic cooperative verification. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15698. Springer Nature; 2025:212-216. doi:10.1007/978-3-031-90660-2_14
[Published Version]
View
| Files available
| DOI
2025 | Conference Paper | IST-REx-ID: 19738 |
Acharya A, Azari K, Baig MA, Hofheinz D, Kamath C. Securely instantiating ‘Half Gates’ garbling in the standard model. In: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. Vol 15677. Springer Nature; 2025:37-75. doi:10.1007/978-3-031-91829-2_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 | Published | Conference Paper | IST-REx-ID: 19743 |
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Fixed point certificates for reachability and expected rewards in MDPs. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19742 |
Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:167-190. doi:10.1007/978-3-031-90643-5_9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in probabilistic programs with conditioning. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Research Data Reference | IST-REx-ID: 19771 |
Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Submitted | Preprint | IST-REx-ID: 19762 |
Cárdenas A, Çelik I, Espinós A, et al. Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development. bioRxiv. doi:10.1101/2025.05.22.655488
[Preprint]
View
| DOI
| Download Preprint (ext.)
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 | 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