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.
5978 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19665 | 
Cano Cordoba, Filip, Thomas A Henzinger, Bettina Könighofer, Konstantin Kueffner, and Kaushik Mallik. “Fairness Shields: Safeguarding against Biased Decision Makers.” In Proceedings of the AAAI Conference on Artificial Intelligence, 39:15659–68. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i15.33719.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, and Dorde Zikelic. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” In Proceedings of the AAAI Conference on Artificial Intelligence, 39:11158–66. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33213.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Yu, Emily, Dorde Zikelic, and Thomas A Henzinger. “Neural Control and Certificate Repair via Runtime Monitoring.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:26409–17. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i25.34840.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Chatterjee, Krishnendu, Ruichen Luo, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Linear Equations with Min and Max Operators: Computational Complexity.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11150–57. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33212.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Wang, Victor. “Prime Hasse Principles via Diophantine Second Moments.” Journal of the Association for Mathematical Research. Association for Mathematical Research, 2025. https://doi.org/10.56994/JAMR.003.001.001.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19302
Sartoris, Linda. “The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19302.
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19483 |
Chan, Stephanie, Peter Koymans, Carlo Pagano, and Efthymios 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. https://doi.org/10.2422/2036-2145.202412_006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 14647 |
Bose, Mahima, Varun Suresh, Urvi Mishra, Ishita Talwar, Anuradha Yadav, Shiona Biswas, Simon Hippenmeyer, and Shubha Tole. “Dual Role of FOXG1 in Regulating Gliogenesis in the Developing Neocortex via the FGF Signalling Pathway.” ELife. eLife Sciences Publications, 2025. https://doi.org/10.7554/elife.101851.3.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Draft | Preprint | IST-REx-ID: 19398 |
Monzer, Aline, Ewa Mazur, Lesia Rodriguez Solovey, Michelle C Gallei, Minxia Zou, Michael Smejkal, Ema Cervenova, and Jiří Friml. “TMK Interacting Network of Receptor like Kinases for Auxin Canalization and Beyond.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2025.02.28.640727.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 19431
Hlavata, Annamaria. “Regulation of Cytoplasmic RNA Polymerase II.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/AT-ISTA-19431.
View
| Files available
| DOI