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
L. Chen et al., “Global increase in the occurrence and impact of multiyear droughts,” Science, vol. 387, no. 6731. AAAS, pp. 278–284, 2025.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19271
C. Önal, “Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19661 | 
E. Cárdenas and D. J. Mitrouskas, “The renormalized Nelson model in the weak coupling limit,” Journal of Physics A: Mathematical and Theoretical, vol. 58, no. 17. IOP Publishing, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19665 |
F. Cano Cordoba, T. A. Henzinger, B. Könighofer, K. Kueffner, and K. Mallik, “Fairness shields: Safeguarding against biased decision makers,” in Proceedings of the AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 15, pp. 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19660 |
D. J. Mitrouskas, “The weakly coupled two-dimensional Fermi polaron,” Archive for Rational Mechanics and Analysis, vol. 249, no. 3. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19672 |
A. Polesello, G. A. Charinti, A. N. Meroni, C. J. Muller, and C. Pasquero, “Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes,” Journal of Advances in Modeling Earth Systems, vol. 17, no. 4. Wiley, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
K. Chatterjee, E. Goharshady, M. Karrabi, H. J. Motwani, M. Seeliger, and D. Zikelic, “Quantified linear and polynomial arithmetic satisfiability via template-based skolemization,” in Proceedings of the AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19670 |
G. Bartolucci et al., “Phase behavior of Cacio e Pepe sauce,” Physics of Fluids, vol. 37, no. 4. AIP Publishing, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
E. Yu, D. Zikelic, and T. A. Henzinger, “Neural control and certificate repair via runtime monitoring,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 25, pp. 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
K. Chatterjee, R. Luo, R. J. Saona Urmeneta, and J. Svoboda, “Linear equations with min and max operators: Computational complexity,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
V. Wang, “Prime Hasse principles via diophantine second moments,” Journal of the Association for Mathematical Research, vol. 3, no. 1. Association for Mathematical Research, pp. 1–26, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19671
D. Arpigiani, V. Aschero, R. M. Soler Schaller, and M. M. Amoroso, “A life-cycle approach to understand consequences of silvopastoral use on two native tree species of Northern Patagonia,” Austral Ecology, vol. 50, no. 4. Wiley, 2025.
View
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19421 |
H. Chen et al., “TIR1-produced cAMP as a second messenger in transcriptional auxin signalling,” Nature. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19478
H. Chen, “The cAMP second messenger in auxin signalling,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19497 |
Á. Kis-Tóth, Z. Haiman, and Z. Frei, “Can quasars, triggered by mergers, account for NANOGrav’s stochastic gravitational wave background?,” Classical and Quantum Gravity, vol. 42, no. 7. IOP Publishing, 2025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19302
L. Sartoris, “The effect of circadian rhythm on organisational immunity of ant colonies,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19508 |
L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Random zero-sum dynamic games on infinite directed graphs,” Dynamic Games and Applications. Springer Nature, 2025.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19483 |
S. Chan, P. Koymans, C. Pagano, and E. Sofos, “6-torision and integral points on quartic threefolds,” Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. Scuola Normale Superiore - Edizioni della Normale, 2025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 14647 |
M. Bose et al., “Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway,” eLife, vol. 13. eLife Sciences Publications, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19433 |
M. Anastos, Z. Jin, M. A. Kwan, and B. Sudakov, “Extremal, enumerative and probabilistic results on ordered hypergraph matchings,” Forum of Mathematics, Sigma, vol. 13. Cambridge University Press, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv