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, Fatichi S, Gessler A, McCarthy M, Pellicciotti F, Stocker B, Karger DN. 2025. Global increase in the occurrence and impact of multiyear droughts. Science. 387(6731), 278–284.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19271
Önal C. 2025. Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19661 | 
Cárdenas E, Mitrouskas DJ. 2025. The renormalized Nelson model in the weak coupling limit. Journal of Physics A: Mathematical and Theoretical. 58(17), 175201.
[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. 2025. Fairness shields: Safeguarding against biased decision makers. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19660 |
Mitrouskas DJ. 2025. The weakly coupled two-dimensional Fermi polaron. Archive for Rational Mechanics and Analysis. 249(3), 30.
[Published Version]
View
| Files available
| DOI
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 | Published | Thesis | IST-REx-ID: 19478
Chen H. 2025. The cAMP second messenger in auxin signalling. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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 | Published | Thesis | IST-REx-ID: 19302
Sartoris L. 2025. The effect of circadian rhythm on organisational immunity of ant colonies. Institute of Science and Technology Austria.
[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. 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