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.
7091 Publications
2025 | Published | Journal Article | IST-REx-ID: 19672 | 
Polesello A, Charinti GA, Meroni AN, Muller CJ, Pasquero C. 2025. Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes. Journal of Advances in Modeling Earth Systems. 17(4), e2024MS004613.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D. 2025. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19670 |
Bartolucci G, Busiello DM, Ciarchi M, Corticelli A, Di Terlizzi I, Olmeda F, Revignas D, Schimmenti VM. 2025. Phase behavior of Cacio e Pepe sauce. Physics of Fluids. 37(4), 044122.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Yu E, Zikelic D, Henzinger TA. 2025. Neural control and certificate repair via runtime monitoring. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. 2025. Linear equations with min and max operators: Computational complexity. Proceedings of the 39th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Wang V. 2025. Prime Hasse principles via diophantine second moments. Journal of the Association for Mathematical Research. 3(1), 1–26.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19421 |
Chen H, Qi L, Zou M, Lu M, Kwiatkowski M, Pei Y, Jaworski K, Friml J. 2025. TIR1-produced cAMP as a second messenger in transcriptional auxin signalling. Nature.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | In Press | Journal Article | IST-REx-ID: 18823 |
Cao D, De Jaeger-Braet JG. Memory of maternal temperatures: DNA methylation alterations across generations. Plant Physiology. 197(1), kiae651.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19497 |
Kis-Tóth Á, Haiman Z, Frei Z. 2025. Can quasars, triggered by mergers, account for NANOGrav’s stochastic gravitational wave background? Classical and Quantum Gravity. 42(7), 075007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19508 |
Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. 2025. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19483 |
Chan S, Koymans P, Pagano C, Sofos E. 2025. 6-torision and integral points on quartic threefolds. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze., 18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 14647 |
Bose M, Suresh V, Mishra U, Talwar I, Yadav A, Biswas S, Hippenmeyer S, Tole S. 2025. Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. eLife. 13, 101851.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19433 |
Anastos M, Jin Z, Kwan MA, Sudakov B. 2025. Extremal, enumerative and probabilistic results on ordered hypergraph matchings. Forum of Mathematics, Sigma. 13, e55.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19529 |
Ozleyen A, Duran GN, Dönmez S, Ozbil M, Doveston RG, Tumer TB. 2025. Identification and inhibition of PIN1-NRF2 protein–protein interactions through computational and biophysical approaches. Scientific Reports. 15, 8907.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19531 |
Shiva Kumar A, Maslov M, Lemeshko M, Volosniev A, Alpichshev Z. 2025. Massive Dirac-Pauli physics in lead-halide perovskites. npj Quantum Materials. 10, 37.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19036 |
Naumann LB, Hertäg L, Müller J, Letzkus JJ, Sprekeler H. 2025. Layer-specific control of inhibition by NDNF interneurons. Proceedings of the National Academy of Sciences of the United States of America. 122(4), e2408966122.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19495 |
Cheng B. 2025. Latent Ewald summation for machine learning of long-range interactions. npj Computational Materials. 11, 80.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19496 |
Helfter M. 2025. Scales. Mathematische Zeitschrift. 310, 15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19499 |
Muroya Lei S, Chatterjee K, Henzinger TA. 2025. Hardware-optimal quantum algorithms. Proceedings of the National Academy of Sciences of the United States of America. 122(12), e2419273122.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19500 |
Erdös L, Ji HC. 2025. Density of Brown measure of free circular Brownian motion. Documenta Mathematica. 30(2), 417–453.
[Published Version]
View
| Files available
| DOI
| arXiv