Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10932 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19665 | 
Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Fairness shields: Safeguarding against biased decision makers. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:15659-15668. doi: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 HJ, Seeliger M, Zikelic D. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11158-11166. doi: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 TA. Neural control and certificate repair via runtime monitoring. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26409-26417. doi: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 RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Wang V. Prime Hasse principles via diophantine second moments. Journal of the Association for Mathematical Research. 2025;3(1):1-26. doi:10.56994/JAMR.003.001.001
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19302
Sartoris L. The effect of circadian rhythm on organisational immunity of ant colonies. 2025. doi: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. 6-torision and integral points on quartic threefolds. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. 2025. doi: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, et al. Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. eLife. 2025;13. doi: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, et al. TMK interacting network of receptor like kinases for auxin canalization and beyond. bioRxiv. doi: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. Regulation of Cytoplasmic RNA Polymerase II. 2025. doi:10.15479/10.15479/AT-ISTA-19431
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19684 |
Yalniz G. Transition to turbulence : Data-, solution-, and pattern-driven approaches. 2025. doi: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. ResiDual transformer alignment with spectral decomposition. arXiv. doi:10.48550/arXiv.2411.00246
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 8125 |
Podlaski WF, Agnes EJ, Vogels TP. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. Physical Review X. 2025;15. doi:10.1103/PhysRevX.15.011057
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 10045 |
Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2025;209:279-322. doi:10.1007/s10107-024-02064-5
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 15128 |
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2025;61(1):129-154. doi:10.1214/23-AIHP1438
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 17293 |
Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, et al. Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. Brain Pathology. 2025;35(2). doi:10.1111/bpa.13279
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 17884 |
Obr M, Percipalle M, Chernikova D, et al. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. 2025;32:268-276. doi:10.1038/s41594-024-01390-8
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 18631 |
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
2025 | Published | Journal Article | IST-REx-ID: 17459 |
Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. 2025;39(2):278-289. doi:10.1111/jdv.20291
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 18619 |
Wei H, Zhu H, Ying W, et al. Structural insights into brassinosteroid export mediated by the Arabidopsis ABC transporter ABCB1. Plant Communications. 2025;6(1). doi:10.1016/j.xplc.2024.101181
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC