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.
11357 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 21007 |
| 
|
A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT
V. Kolmogorov, ACM Transactions on Algorithms 21 (2025) 1–22.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Kolmogorov, ACM Transactions on Algorithms 21 (2025) 1–22.
2025 |
Submitted |
Preprint |
IST-REx-ID: 21016 |
Identifying cobordisms using kernel persistence
Y. Bleile, L. Fajstrup, T. Heiss, A.M. Svane, S.S. Sørensen, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Bleile, L. Fajstrup, T. Heiss, A.M. Svane, S.S. Sørensen, ArXiv (n.d.).
2025 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21017 |
|
|
Kauri: BFT consensus with pipelined tree-based dissemination and aggregation
R. Neiheiser, M. Matos, L. Rodrigues, ACM Transactions on Computer Systems (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Neiheiser, M. Matos, L. Rodrigues, ACM Transactions on Computer Systems (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21049 |
How to probe: Simple yet effective techniques for improving post-hoc explanations
S. Gairola, M. Böhle, F. Locatello, B. Schiele, in:, 13th International Conference on Learning Representations, ICLR, 2025.
[Published Version]
View
| Files available
| arXiv
S. Gairola, M. Böhle, F. Locatello, B. Schiele, in:, 13th International Conference on Learning Representations, ICLR, 2025.
2025 |
Draft |
Preprint |
IST-REx-ID: 21050 |
Counting equilibria of the electrostatic potential
H. Edelsbrunner, C.D. Fillmore, G. Olivera, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, C.D. Fillmore, G. Olivera, ArXiv (n.d.).
2025 |
Published |
Journal Article |
IST-REx-ID: 21052 |
|
|
Program logics à la Carte
M. Vistrup, M.J. Sammler, R. Jung, Proceedings of the ACM on Programming Languages 9 (2025) 300–331.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Vistrup, M.J. Sammler, R. Jung, Proceedings of the ACM on Programming Languages 9 (2025) 300–331.
2025 |
Published |
Journal Article |
IST-REx-ID: 21053
|
Formal foundations for translational separation logic verifiers
T. Dardinier, M.J. Sammler, G. Parthasarathy, A.J. Summers, P. Müller, Proceedings of the ACM on Programming Languages 9 (2025) 569–599.
[Published Version]
View
| DOI
| arXiv
T. Dardinier, M.J. Sammler, G. Parthasarathy, A.J. Summers, P. Müller, Proceedings of the ACM on Programming Languages 9 (2025) 569–599.
2025 |
Published |
Journal Article |
IST-REx-ID: 21057 |
|
|
Little Red Dots at an inflection point: Ubiquitous v-shaped turnover consistently occurs at the Balmer limit
Setton DJ, Greene JE, de Graaff A, Ma Y逸伦, Leja J, Matthee JJ, Bezanson R, Boogaard LA, Cleri NJ, Katz H, Labbe I, Maseda MV, McConachie I, Miller TB, Price SH, Suess KA, van Dokkum P, Wang 王 B冰洁, Weibel A, Whitaker KE, Williams CC. 2025. Little Red Dots at an inflection point: Ubiquitous v-shaped turnover consistently occurs at the Balmer limit. The Astrophysical Journal. 995(1), 118.
[Published Version]
View
| Files available
| DOI
| arXiv
Setton DJ, Greene JE, de Graaff A, Ma Y逸伦, Leja J, Matthee JJ, Bezanson R, Boogaard LA, Cleri NJ, Katz H, Labbe I, Maseda MV, McConachie I, Miller TB, Price SH, Suess KA, van Dokkum P, Wang 王 B冰洁, Weibel A, Whitaker KE, Williams CC. 2025. Little Red Dots at an inflection point: Ubiquitous v-shaped turnover consistently occurs at the Balmer limit. The Astrophysical Journal. 995(1), 118.
2025 |
Published |
Journal Article |
IST-REx-ID: 21058 |
|
|
A confirmed deficit of hot and cold dust emission in the most luminous Little Red Dots
Setton DJ, Greene JE, Spilker JS, Williams CC, Labbé I, Ma Y逸伦, Wang B冰洁, Whitaker KE, Leja J, de Graaff A, Alberts S, Bezanson R, Boogaard LA, Brammer G, Cutler SE, Cleri NJ, Cooper OR, Dayal P, Fujimoto S, Furtak LJ, Goulding AD, Hirschmann M, Kokorev V, Maseda MV, McConachie I, Matthee JJ, Miller TB, Naidu RP, Oesch PA, Pan R, Price SH, Suess KA, Weaver JR, Xiao M, Zhang Y, Zitrin A. 2025. A confirmed deficit of hot and cold dust emission in the most luminous Little Red Dots. The Astrophysical Journal Letters. 991, L10.
[Published Version]
View
| Files available
| DOI
| arXiv
Setton DJ, Greene JE, Spilker JS, Williams CC, Labbé I, Ma Y逸伦, Wang B冰洁, Whitaker KE, Leja J, de Graaff A, Alberts S, Bezanson R, Boogaard LA, Brammer G, Cutler SE, Cleri NJ, Cooper OR, Dayal P, Fujimoto S, Furtak LJ, Goulding AD, Hirschmann M, Kokorev V, Maseda MV, McConachie I, Matthee JJ, Miller TB, Naidu RP, Oesch PA, Pan R, Price SH, Suess KA, Weaver JR, Xiao M, Zhang Y, Zitrin A. 2025. A confirmed deficit of hot and cold dust emission in the most luminous Little Red Dots. The Astrophysical Journal Letters. 991, L10.
2025 |
Published |
Journal Article |
IST-REx-ID: 21060 |
|
|
Little impact of mergers and galaxy morphology on the production and escape of ionizing photons in the early Universe
Mascia S, Pentericci L, Llerena M, Calabrò A, Matthee JJ, Flury S, Pacucci F, Jaskot A, Amorín RO, Bhatawdekar R, Castellano M, Cleri N, Costantin L, Davis K, Di Cesare C, Dickinson M, Fontana A, Guo Y, Giavalisco M, Holwerda BW, Hu W, Huertas-Company M, Jung I, Kartaltepe J, Kashino D, Koekemoer AM, Lucas RA, Lotz J, Napolitano L, Jogee S, Wilkins S. 2025. Little impact of mergers and galaxy morphology on the production and escape of ionizing photons in the early Universe. Astronomy & Astrophysics. 701, A122.
[Published Version]
View
| Files available
| DOI
| arXiv
Mascia S, Pentericci L, Llerena M, Calabrò A, Matthee JJ, Flury S, Pacucci F, Jaskot A, Amorín RO, Bhatawdekar R, Castellano M, Cleri N, Costantin L, Davis K, Di Cesare C, Dickinson M, Fontana A, Guo Y, Giavalisco M, Holwerda BW, Hu W, Huertas-Company M, Jung I, Kartaltepe J, Kashino D, Koekemoer AM, Lucas RA, Lotz J, Napolitano L, Jogee S, Wilkins S. 2025. Little impact of mergers and galaxy morphology on the production and escape of ionizing photons in the early Universe. Astronomy & Astrophysics. 701, A122.
2025 |
Published |
Journal Article |
IST-REx-ID: 21061 |
|
|
GLIMPSE: An ultrafaint ≃10^5 M⊙ Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z ≃ 6–7
Fujimoto S, Naidu RP, Chisholm J, Atek H, Endsley R, Kokorev V, Furtak LJ, Pan R, Liu B, Bromm V, Venditti A, Visbal E, Sarmento R, Weibel A, Oesch PA, Brammer G, Schaerer D, Adamo A, Berg DA, Bezanson R, Bouwens R, Chemerynska I, Claeyssens A, Dessauges-Zavadsky M, Frebel A, Korber D, Labbe I, Marques-Chaves R, Matthee JJ, McQuinn KBW, Muñoz JB, Natarajan P, Saldana-Lopez A, Suess KA, Volonteri M, Zitrin A. 2025. GLIMPSE: An ultrafaint ≃10^5 M⊙ Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z ≃ 6–7. The Astrophysical Journal. 989, 46.
[Published Version]
View
| Files available
| DOI
Fujimoto S, Naidu RP, Chisholm J, Atek H, Endsley R, Kokorev V, Furtak LJ, Pan R, Liu B, Bromm V, Venditti A, Visbal E, Sarmento R, Weibel A, Oesch PA, Brammer G, Schaerer D, Adamo A, Berg DA, Bezanson R, Bouwens R, Chemerynska I, Claeyssens A, Dessauges-Zavadsky M, Frebel A, Korber D, Labbe I, Marques-Chaves R, Matthee JJ, McQuinn KBW, Muñoz JB, Natarajan P, Saldana-Lopez A, Suess KA, Volonteri M, Zitrin A. 2025. GLIMPSE: An ultrafaint ≃10^5 M⊙ Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z ≃ 6–7. The Astrophysical Journal. 989, 46.
2025 |
Published |
Journal Article |
IST-REx-ID: 21062 |
|
|
Environmental evidence for overly massive Black Holes in low-mass galaxies and a Black Hole–Halo mass relation at z ∼ 5
J.J. Matthee, R.P. Naidu, G. Kotiwale, L.J. Furtak, I. Kramarenko, R. Mackenzie, J. Greene, A. Adamo, R.J. Bouwens, C. Di Cesare, A.-C. Eilers, A. de Graaff, K.E. Heintz, D. Kashino, M.V. Maseda, S. Tacchella, A. Torralba Torregrosa, The Astrophysical Journal 988 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
J.J. Matthee, R.P. Naidu, G. Kotiwale, L.J. Furtak, I. Kramarenko, R. Mackenzie, J. Greene, A. Adamo, R.J. Bouwens, C. Di Cesare, A.-C. Eilers, A. de Graaff, K.E. Heintz, D. Kashino, M.V. Maseda, S. Tacchella, A. Torralba Torregrosa, The Astrophysical Journal 988 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21063 |
|
|
Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of Hα in submm galaxy HDF850.1 and the surrounding overdense structures
Herard-Demanche T, Bouwens RJ, Oesch PA, Naidu RP, Decarli R, Nelson EJ, Brammer G, Weibel A, Xiao M, Stefanon M, Walter F, Matthee JJ, Meyer RA, Wuyts S, Reddy N, Rowland L, van Leeuwen I, Haro PA, Dannerbauer H, Shapley AE, Chisholm J, van Dokkum P, Labbe I, Illingworth G, Schaerer D, Shivaei I. 2025. Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of Hα in submm galaxy HDF850.1 and the surrounding overdense structures. Monthly Notices of the Royal Astronomical Society. 537(2), 788–808.
[Published Version]
View
| Files available
| DOI
| arXiv
Herard-Demanche T, Bouwens RJ, Oesch PA, Naidu RP, Decarli R, Nelson EJ, Brammer G, Weibel A, Xiao M, Stefanon M, Walter F, Matthee JJ, Meyer RA, Wuyts S, Reddy N, Rowland L, van Leeuwen I, Haro PA, Dannerbauer H, Shapley AE, Chisholm J, van Dokkum P, Labbe I, Illingworth G, Schaerer D, Shivaei I. 2025. Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of Hα in submm galaxy HDF850.1 and the surrounding overdense structures. Monthly Notices of the Royal Astronomical Society. 537(2), 788–808.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21066 |
Score matching through the roof: Linear, nonlinear, and latent variables causal discovery
F. Montagna, P. Faller, P. Blöbaum, E. Kirschbaum, F. Locatello, in:, Proceedings of the Fourth Conference on Causal Learning and Reasoning, ML Research Press, 2025, pp. 552–605.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
F. Montagna, P. Faller, P. Blöbaum, E. Kirschbaum, F. Locatello, in:, Proceedings of the Fourth Conference on Causal Learning and Reasoning, ML Research Press, 2025, pp. 552–605.
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21068 |
The third pillar of causal analysis? A measurement perspective on causal representations
D. Yao, S. Huang, R. Cadei, K. Zhang, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
D. Yao, S. Huang, R. Cadei, K. Zhang, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21070 |
Out-of-Distribution detection with relative angles
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21072 |
Head pursuit: Probing attention specialization in multimodal transformers
L. Basile, V. Maiorca, D. Doimo, F. Locatello, A. Cazzaniga, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
L. Basile, V. Maiorca, D. Doimo, F. Locatello, A. Cazzaniga, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21074 |
Connecting neural models latent geometries with relative geodesic representations
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version]
View
| Files available
| arXiv
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Epub ahead of print |
Conference Paper |
IST-REx-ID: 21076 |
Prediction-powered causal inferences
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
[Published Version]
View
| Files available
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21089 |
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.