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 | OA | PlanS
V. Kolmogorov, “A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT,” ACM Transactions on Algorithms, vol. 21, no. 4. Association for Computing Machinery, pp. 1–22, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21016 | OA
Y. Bleile, L. Fajstrup, T. Heiss, A. M. Svane, and S. S. Sørensen, “Identifying cobordisms using kernel persistence,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 21017 | OA | PlanS
R. Neiheiser, M. Matos, and L. Rodrigues, “Kauri: BFT consensus with pipelined tree-based dissemination and aggregation,” ACM Transactions on Computer Systems. Association for Computing Machinery, 2025.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 21049 | OA
S. Gairola, M. Böhle, F. Locatello, and B. Schiele, “How to probe: Simple yet effective techniques for improving post-hoc explanations,” in 13th International Conference on Learning Representations, Singapore, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21050 | OA
H. Edelsbrunner, C. D. Fillmore, and G. Olivera, “Counting equilibria of the electrostatic potential,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21052 | OA | PlanS
M. Vistrup, M. J. Sammler, and R. Jung, “Program logics à la Carte,” Proceedings of the ACM on Programming Languages, vol. 9, no. POPL. Association for Computing Machinery, pp. 300–331, 2025.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 21053 | PlanS
T. Dardinier, M. J. Sammler, G. Parthasarathy, A. J. Summers, and P. Müller, “Formal foundations for translational separation logic verifiers,” Proceedings of the ACM on Programming Languages, vol. 9, no. POPL. Association for Computing Machinery, pp. 569–599, 2025.
[Published Version] View | DOI | arXiv
 

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

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

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

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

2025 | Published | Journal Article | IST-REx-ID: 21062 | OA | PlanS
J. J. Matthee et al., “Environmental evidence for overly massive Black Holes in low-mass galaxies and a Black Hole–Halo mass relation at z ∼ 5,” The Astrophysical Journal, vol. 988, no. 2. IOP Publishing, 2025.
[Published Version] View | Files available | DOI | arXiv
 

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

2025 | Published | Conference Paper | IST-REx-ID: 21066 | OA
F. Montagna, P. Faller, P. Blöbaum, E. Kirschbaum, and F. Locatello, “Score matching through the roof: Linear, nonlinear, and latent variables causal discovery,” in Proceedings of the Fourth Conference on Causal Learning and Reasoning, Lausanne, Switzerland, 2025, vol. 275, pp. 552–605.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21068 | OA
D. Yao, S. Huang, R. Cadei, K. Zhang, and F. Locatello, “The third pillar of causal analysis? A measurement perspective on causal representations,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21070 | OA
B. Demirel, M. Fumero, and F. Locatello, “Out-of-Distribution detection with relative angles,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21072 | OA
L. Basile, V. Maiorca, D. Doimo, F. Locatello, and A. Cazzaniga, “Head pursuit: Probing attention specialization in multimodal transformers,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21074 | OA
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, and M. Fumero, “Connecting neural models latent geometries with relative geodesic representations,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38.
[Published Version] View | Files available | arXiv
 

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21076 | OA
R. Cadei et al., “Prediction-powered causal inferences,” in 39th Annual Conference on Neural Information Processing Systems, San Diego, CA, United States, 2025, vol. 38.
[Published Version] View | Files available
 

2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
M. Chalupa, T. A. Henzinger, and A. A. Oliveira da Costa, “Flavors of quantifiers in hyperlogics,” in 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Pilani, India, 2025, vol. 360, p. 20:1-20:18.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed