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.
6092 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19665 | 
Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Neural control and certificate repair via runtime monitoring
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Linear equations with min and max operators: Computational complexity
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Prime Hasse principles via diophantine second moments
V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.
2025 | Published | Thesis | IST-REx-ID: 19302
The effect of circadian rhythm on organisational immunity of ant colonies
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
L. Sartoris, The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies, Institute of Science and Technology Austria, 2025.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19483 |
6-torision and integral points on quartic threefolds
S. Chan, P. Koymans, C. Pagano, E. Sofos, Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Chan, P. Koymans, C. Pagano, E. Sofos, Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze (2025).
2025 | Published | Journal Article | IST-REx-ID: 14647 |
Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, ELife 13 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, ELife 13 (2025).
2025 | Draft | Preprint | IST-REx-ID: 19398 |
TMK interacting network of receptor like kinases for auxin canalization and beyond
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
2025 | Published | Thesis | IST-REx-ID: 19431
Regulation of Cytoplasmic RNA Polymerase II
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
View
| Files available
| DOI
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19684 |
Transition to turbulence : Data-, solution-, and pattern-driven approaches
G. Yalniz, Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Yalniz, Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
2025 | Submitted | Preprint | IST-REx-ID: 19674 |
ResiDual transformer alignment with spectral decomposition
L. Basile, V. Maiorca, L. Bortolussi, E. Rodolà, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Basile, V. Maiorca, L. Bortolussi, E. Rodolà, F. Locatello, ArXiv (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 8125 |
High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, Physical Review X 15 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
W.F. Podlaski, E.J. Agnes, T.P. Vogels, Physical Review X 15 (2025).
2025 | Published | Journal Article | IST-REx-ID: 10045 |
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
2025 | Published | Journal Article | IST-REx-ID: 15128 |
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.
2025 | Published | Journal Article | IST-REx-ID: 17293 |
Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology
A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).
2025 | Published | Journal Article | IST-REx-ID: 17884 |
Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276.
2025 | Published | Journal Article | IST-REx-ID: 18631 |
Efficient formation of a massive quiescent galaxy at redshift 4.9
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
2025 | Published | Journal Article | IST-REx-ID: 17459 |
Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.
2025 | Published | Journal Article | IST-REx-ID: 18619 |
Structural insights into brassinosteroid export mediated by the Arabidopsis ABC transporter ABCB1
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications 6 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications 6 (2025).