Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5776 Publications
2025 | Published | Journal Article | IST-REx-ID: 18985
Chen L, Brun P, Buri P, et al. Global increase in the occurrence and impact of multiyear droughts. Science. 2025;387(6731):278-284. doi:10.1126/science.ado4245
View
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19271
Önal C. Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula. 2025. doi:10.15479/AT-ISTA-19271
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19661 | 
Cárdenas E, Mitrouskas DJ. The renormalized Nelson model in the weak coupling limit. Journal of Physics A: Mathematical and Theoretical. 2025;58(17). doi:10.1088/1751-8121/adcdd9
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19665 |
Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Fairness shields: Safeguarding against biased decision makers. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:15659-15668. doi:10.1609/aaai.v39i15.33719
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19660 |
Mitrouskas DJ. The weakly coupled two-dimensional Fermi polaron. Archive for Rational Mechanics and Analysis. 2025;249(3). doi:10.1007/s00205-025-02098-9
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19672 |
Polesello A, Charinti GA, Meroni AN, Muller CJ, Pasquero C. Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes. Journal of Advances in Modeling Earth Systems. 2025;17(4). doi:10.1029/2024MS004613
[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. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11158-11166. doi:10.1609/aaai.v39i11.33213
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19670 |
Bartolucci G, Busiello DM, Ciarchi M, et al. Phase behavior of Cacio e Pepe sauce. Physics of Fluids. 2025;37(4). doi:10.1063/5.0255841
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Yu E, Zikelic D, Henzinger TA. Neural control and certificate repair via runtime monitoring. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26409-26417. doi:10.1609/aaai.v39i25.34840
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Wang V. Prime Hasse principles via diophantine second moments. Journal of the Association for Mathematical Research. 2025;3(1):1-26. doi:10.56994/JAMR.003.001.001
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19671
Arpigiani D, Aschero V, Soler Schaller RM, Amoroso MM. A life-cycle approach to understand consequences of silvopastoral use on two native tree species of Northern Patagonia. Austral Ecology. 2025;50(4). doi:10.1111/aec.70058
View
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19421 |
Chen H, Qi L, Zou M, et al. TIR1-produced cAMP as a second messenger in transcriptional auxin signalling. Nature. 2025. doi:10.1038/s41586-025-08669-w
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Thesis | 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 | Journal Article | IST-REx-ID: 19497 |
Kis-Tóth Á, Haiman Z, Frei Z. Can quasars, triggered by mergers, account for NANOGrav’s stochastic gravitational wave background? Classical and Quantum Gravity. 2025;42(7). doi:10.1088/1361-6382/adbda6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19302
Sartoris L. The effect of circadian rhythm on organisational immunity of ant colonies. 2025. doi:10.15479/AT-ISTA-19302
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19508 |
Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. 2025. doi:10.1007/s13235-025-00636-4
[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. 6-torision and integral points on quartic threefolds. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. 2025. doi:10.2422/2036-2145.202412_006
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 14647 |
Bose M, Suresh V, Mishra U, et al. Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. eLife. 2025;13. doi:10.7554/elife.101851.3
[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. Extremal, enumerative and probabilistic results on ordered hypergraph matchings. Forum of Mathematics, Sigma. 2025;13. doi:10.1017/fms.2024.144
[Published Version]
View
| Files available
| DOI
| arXiv