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.
6035 Publications
2025 | Published | Journal Article | IST-REx-ID: 18849 | 
Sokolowski, T. R., Gregor, T., Bialek, W., & Tkačik, G. (2025). Deriving a genetic regulatory network from an optimization principle. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2402925121
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19557
Schwarz, L. A. (2025). Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19557
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18112 |
Henheik, S. J. (2025). Deformational rigidity of integrable metrics on the torus. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2024.48
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 19621 |
Nessonov, N., & Ngo, N. T. (2025). Indecomposable characters of inductive limits of symmetric groups. Representation Theory. American Mathematical Society. https://doi.org/10.1090/ert/689
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19639 |
Tenhuisen, S. F. R., Pan, G. A., Song, Q., Baykusheva, D. R., Ferenc Segedin, D., Goodge, B. H., … Mitrano, M. (2025). Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.111.165145
View
| DOI
| Download None (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19665 |
Cano Cordoba, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2025). Fairness shields: Safeguarding against biased decision makers. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 39, pp. 15659–15668). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i15.33719
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
Chatterjee, K., Goharshady, E., Karrabi, M., Motwani, H. J., Seeliger, M., & Zikelic, D. (2025). Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11158–11166). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33213
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Yu, E., Zikelic, D., & Henzinger, T. A. (2025). Neural control and certificate repair via runtime monitoring. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26409–26417). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/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, R. J., & Svoboda, J. (2025). Linear equations with min and max operators: Computational complexity. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11150–11157). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33212
[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. Association for Mathematical Research. https://doi.org/10.56994/JAMR.003.001.001
[Published Version]
View
| Files available
| DOI
| 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. 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, 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. Scuola Normale Superiore - Edizioni della Normale. 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, M., Suresh, V., Mishra, U., Talwar, I., Yadav, A., Biswas, S., … Tole, S. (2025). Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. ELife. eLife Sciences Publications. 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, A., Mazur, E., Rodriguez Solovey, L., Gallei, M. C., Zou, M., Smejkal, M., … Friml, J. (n.d.). TMK interacting network of receptor like kinases for auxin canalization and beyond. bioRxiv. Cold Spring Harbor Laboratory. 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, A. (2025). Regulation of Cytoplasmic RNA Polymerase II. Institute of Science and Technology Austria. https://doi.org/10.15479/10.15479/AT-ISTA-19431
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19684 |
Yalniz, G. (2025). Transition to turbulence : Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19684
[Published Version]
View
| Files available
| DOI
2025 | Submitted | Preprint | IST-REx-ID: 19674 |
Basile, L., Maiorca, V., Bortolussi, L., Rodolà, E., & Locatello, F. (n.d.). ResiDual transformer alignment with spectral decomposition. arXiv. https://doi.org/10.48550/arXiv.2411.00246
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 8125 |
Podlaski, W. F., Agnes, E. J., & Vogels, T. P. (2025). High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.15.011057
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 10045 |
Dvorak, M., & Kolmogorov, V. (2025). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02064-5
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 15128 |
Riabov, V. (2025). Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/23-AIHP1438
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv