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.

6617 Publications


2025 | Published | Conference Paper | IST-REx-ID: 21327 | OA
Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided AlphaFold. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:42366-42393.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21328 | OA
Kovačević F, Yihan Z, Mondelli M. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In: Proceedings of 38th Conference on Learning Theory. Vol 291. ML Research Press; 2025:3354-3404.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21343 | OA | PlanS
Browning TD, Chan S. Solubility of a resultant equation and applications. Journal de l’ecole polytechnique mathematiques. 2025;12:1677-1691. doi:10.5802/jep.320
[Published Version] View | Files available | DOI | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. doi:10.48550/arXiv.2509.20539
[Preprint] View | Files available | DOI | Download Preprint (ext.) | 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. Boosting payment channel network liquidity with topology optimization and transaction selection. In: 39th International Symposium on Distributed Computing. Vol 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.DISC.2025.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, et al. Learning algorithms for verification of Markov decision processes. TheoretiCS. 2025;4. doi:10.46298/theoretics.25.10
[Published Version] View | Files available | DOI | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21427 | OA
Dunajova Z, Tasciyan S, Majek J, et al. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. doi:10.1101/2025.05.20.655037
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Submitted | Preprint | IST-REx-ID: 21435 | OA
Sun Y, Ahn Y, Sapkota D, et al. Strain-induced multiferroicity in Cr1/3NbS2. arXiv. doi:10.48550/arXiv.2510.11619
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21474 | OA
Rao P, Meka A, Zhou X, et al. 3DPR: Single image 3D portrait relighting with generative priors. In: Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. Association for Computing Machinery; 2025. doi:10.1145/3757377.3763962
[Published Version] View | Files available | DOI | arXiv
 

2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Hartmanns A, Junges S, Quatmann T, Weininger M. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. 2025. doi:10.5281/ZENODO.14500423
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 21706 | OA | PlanS
Kwan MA, Sauermann L. Resolution of the quadratic Littlewood–Offord problem. Compositio Mathematica. 2025;161(12):3089-3139. doi:10.1112/S0010437X25102789
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21724 | OA | PlanS
Lee ME, Haiman Z, Pandey S, Genel S. The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations. The Astrophysical Journal. 2025;996(1). doi:10.3847/1538-4357/ae1ca7
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21727 | OA | PlanS
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 21768 | OA
Yamagishi S. Birch’s theorem on forms in many variables with a Hessian condition. Acta Arithmetica. 2025;221(2):141-151. doi:10.4064/aa241029-19-8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21858 | OA
Iofinova EB, Jovanovic A, Alistarh D-A. Position: It’s time to act on the risk of efficient personalized text generation. arXiv. doi:10.48550/arXiv.2502.06560
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21885
Henzinger TA. Neural Certificates. In: Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE; 2025. doi:10.1109/SYNASC69064.2025.00008
View | DOI
 

2025 | Submitted | Preprint | IST-REx-ID: 21920 | OA
Ignatyev Y, Papadopoulos S, Soretić M, et al. Innovations in spinal cord cell type heterogeneity across vertebrate evolution. bioRxiv. doi:10.1101/2025.10.09.680955
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 | OA
Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. Inventiones Mathematicae. 2025. doi:10.1007/s00222-025-01397-y
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 14647 | OA
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
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed