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.
579 Publications
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20737
Casado Polanco R. Role of NOTCH signaling in radial glial progenitor lineage progression. 2025. doi:10.15479/AT-ISTA-20737
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20741 |
Kojic M. Towards understanding the assembly mechanisms of the Z-ring in Archaea and Bacteria. 2025. doi:10.15479/AT-ISTA-20741
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 10045 |
Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2025;209:279-322. doi:10.1007/s10107-024-02064-5
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Abstract |
IST-REx-ID: 22120 |
Muñoz Hermosilla JM, Miles E, McCarthy M, et al. Towards reconstructing debris supply to reproduce the historic changes in debris extent at a Swiss glacier. In: EGU General Assembly 2025. European Geosciences Union; 2025. doi:10.5194/egusphere-egu25-17446
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 |
Draft |
Preprint |
IST-REx-ID: 21427 |
Dunajova Z, Tasciyan S, Majek J, et al. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. bioRxiv. doi:10.1101/2025.05.20.655037
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20364
Giannini C. Nuclear and cell surface auxin signaling in A. thaliana developmental transitions. 2025. doi:10.15479/AT-ISTA-20364
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20441 |
Naik S. Keratins act as global coordinators of tissue spreading through mechanosensitive feedback. 2025. doi:10.15479/AT-ISTA-20441
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19395 |
Monzer A. Cell-Surface Auxin Signaling: Linking molecular pathways to plant development. 2025. doi:10.15479/AT-ISTA-19395
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 19398 |
Monzer A, Mazur E, Rodriguez Solovey L, et al. TMK interacting network of receptor like kinases for auxin canalization and beyond. bioRxiv. doi:10.1101/2025.02.28.640727
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19478
Chen H. The cAMP second messenger in auxin signalling. 2025. doi:10.15479/AT-ISTA-19478
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20920 |
Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20920
[Published Version]
View
| Files available
| DOI
earlier version | 2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20556
Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20556
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20101 |
Baier F, Reinhard K, Nuttin B, et al. The neural basis of species-specific defensive behaviour in Peromyscus mice. Nature. 2025;645:439-447. doi:10.1038/s41586-025-09241-2
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Research Data Reference |
IST-REx-ID: 20883 |
Felix B, Reinhard K, Nuttin B, et al. The neural basis of species-specific defensive behaviour in Peromyscus mice. 2025. doi:10.5061/DRYAD.Q2BVQ83XC
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 2512.07087.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19759 |
Prach B. Robust image classification with 1-Lipschitz networks. 2025. doi:10.15479/10.15479/at-ista-19759
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
| 
|
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 2025;21(2). doi:10.46298/lmcs-21(2:2)2025
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 21858 |
Iofinova EB, Jovanovic A, Alistarh D-A. Position: It’s time to act on the risk of efficient personalized text generation. arXiv. doi:10.48550/arXiv.2502.06560
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138
[Published Version]
View
| Files available
| DOI