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.
10717 Publications
2025 | Published | Journal Article | IST-REx-ID: 19713 | 
Talaei S, Ansaripour M, Nadiradze G, Alistarh D-A. Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. Proceedings of the39th AAAI Conference on Artificial Intelligence. 2025;39(19):20778-20786. doi:10.1609/aaai.v39i19.34290
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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: 19728 |
Zhang Y, Bao Z, Smoljan A, Liu Y, Wang H, Friml J. Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism. Proceedings of the National Academy of Sciences of the United States of America. 2025;122(20). doi:10.1073/pnas.2427315122
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19729 |
De Leo A, Brizzolara S, Cavaiola M, He J, Stocchino A. Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow. Journal of Fluid Mechanics. 2025;1011. doi:10.1017/jfm.2025.362
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19730 |
Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Feigenbaum universality in subcritical Taylor-Couette flow. Journal of Fluid Mechanics. 2025;1010. doi:10.1017/jfm.2025.278
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19726
Mejia-Centeno KV, Montaña-Mora G, Chacón-Borrero J, et al. Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework. Chemical Engineering Journal. 2025;515. doi:10.1016/j.cej.2025.163491
View
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19735 |
Bett VK, Trejo Arellano MS, Vicoso B. Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana. Molecular Biology and Evolution. 2025;42(5). doi:10.1093/molbev/msaf085
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19732 |
Wang B, Ayats López R, Deguchi K, Meseguer A, Mellibovsky F. Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow. Journal of Fluid Mechanics. 2025;1011. doi:10.1017/jfm.2025.151
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19733 |
Kun D, Strömberg KT, Spagnolo M, Dakić B, Rozema LA, Walther P. Direct and efficient detection of quantum superposition. Physical Review A. 2025;111(5). doi:10.1103/PhysRevA.111.L050402
[Published Version]
View
| Files available
| DOI
| arXiv
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 | Journal Article | IST-REx-ID: 19736
Vanneste S, Pei Y, Friml J. Mechanisms of auxin action in plant growth and development. Nature Reviews Molecular Cell Biology. 2025. doi:10.1038/s41580-025-00851-2
View
| DOI
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19727 |
Wang V. Asymptotic growth of translation-dilation orbits. Advances in Mathematics. 2025;475. doi:10.1016/j.aim.2025.110341
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19737 |
Cipolloni G, Erdös L, Ji HC. Non–Hermitian spectral universality at critical points. Probability Theory and Related Fields. 2025. doi:10.1007/s00440-025-01384-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
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 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of quantitative automata with QuAK. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv