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.




6404 Publications

2025 | Published | Conference Paper | IST-REx-ID: 21327 | OA
Maddipatla SA, Sellam NE, Bojan MI, Vedula S, Schanda P, Marx A, Bronstein AM. 2025. Inverse problems with experiment-guided AlphaFold. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 42366–42393.
[Published Version] View | Files available | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21328 | OA
Kovačević F, Yihan Z, Mondelli M. 2025. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. Proceedings of 38th Conference on Learning Theory. COLT: Conference on Learning Theory, PMLR, vol. 291, 3354–3404.
[Published Version] View | Files available | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21343 | OA | PlanS
Browning TD, Chan S. 2025. Solubility of a resultant equation and applications. Journal de l’ecole polytechnique mathematiques. 12, 1677–1691.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21399 | OA
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. 2025. Boosting payment channel network liquidity with topology optimization and transaction selection. 39th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 356, 23.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21413 | OA | PlanS
Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Meggendorfer T, Parker D, Ujma M. 2025. Learning algorithms for verification of Markov decision processes. TheoretiCS. 4, 10.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 17094 | OA | PlanS
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025. Information-flow interfaces. Formal Methods in System Design. 66, 3–48.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 17149 | OA
Edelsbrunner H, Nikitenko A. 2025. Average and expected distortion of Voronoi paths and scapes. Discrete & Computational Geometry. 73, 490–499.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 17293 | OA
Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, Kulik A, de la Ossa L, Moreno‐Martínez AE, Alberquilla S, García‐Carracedo L, Fernández M, Fajardo‐Serrano A, Aso E, Shigemoto R, Martín ED, Fukazawa Y, Ciruela F, Luján R. 2025. Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. Brain Pathology. 35(2), e13279.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 17459 | OA
Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. 2025. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. 39(2), 278–289.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 8616 | OA
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 2774–2787.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21435 | OA
Sun Y, Ahn Y, Sapkota D, Arachchige HS, Xue R, Mozaffari S, Mandrus DG, Zhao L, Orenstein J, Sunko V. Strain-induced multiferroicity in Cr1/3NbS2. arXiv, 2510.11619.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21437 | OA
Sunko V, Orenstein J. Linear magneto-birefringence as a probe of altermagnetism. arXiv, 2511.16421.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Research Data | IST-REx-ID: 20842 | OA
Agafonova S. 2025. Research Data for: ‘One-milligram torsional pendulum toward experiments at the quantum-gravity interface’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-20842.
View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 17884 | OA
Obr M, Percipalle M, Chernikova D, Yang H, Thader A, Pinke G, Porley Esteves D, Mansky LM, Dick RA, Schur FK. 2025. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. 32, 268–276.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Draft | Preprint | IST-REx-ID: 21427 | OA
Dunajova Z, Tasciyan S, Majek J, Merrin J, Sahai E, Sixt MK, Hannezo EB. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. 10.1101/2025.05.20.655037.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2025 | Published | Conference Paper | IST-REx-ID: 21474 | OA
Rao P, Meka A, Zhou X, Fox G, Mallikarjun BR, Zhan F, Weyrich T, Bickel B, Pfister H, Matusik W, Beeler T, Elgharib M, Habermann M, Theobalt C. 2025. 3DPR: Single image 3D portrait relighting with generative priors. Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. SA: SIGGRAPH Asia, 108.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak M, Figueroa-Reid T, Hamadani R, Hwang B-H, Karunus E, Kolmogorov V, Meiburg A, Nelson A, Nelson P, Sandey M, Sergeev I. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv, 10.48550/arXiv.2509.20539.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 20326 | OA | PlanS
Liu Y, Kleinhanns T, Horta S, Dutkiewicz E, Lu S, Spadaro MC, Genç A, Chen L, Lim KH, Hong M, Arbiol J, Ibáñez M. 2025. Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical Society. 147(35), 32199–32208.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed