ISTA Research Explorer

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.

6436 Publications

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

Matthee, J. J., Naidu, R. P., Kotiwale, G., Furtak, L. J., Kramarenko, I., Mackenzie, R., … Torralba Torregrosa, A. (2025). Environmental evidence for overly massive Black Holes in low-mass galaxies and a Black Hole–Halo mass relation at z ∼ 5. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ade886

[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.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21066 |

Montagna, F., Faller, P., Blöbaum, P., Kirschbaum, E., & Locatello, F. (2025). Score matching through the roof: Linear, nonlinear, and latent variables causal discovery. In Proceedings of the Fourth Conference on Causal Learning and Reasoning (Vol. 275, pp. 552–605). Lausanne, Switzerland: ML Research Press.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21068 |

Yao, D., Huang, S., Cadei, R., Zhang, K., & Locatello, F. (2025). The third pillar of causal analysis? A measurement perspective on causal representations. In 39th Annual Conference on Neural Information Processing Systems (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21070 |

Demirel, B., Fumero, M., & Locatello, F. (2025). Out-of-Distribution detection with relative angles. In 39th Annual Conference on Neural Information Processing Systems (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21072 |

Basile, L., Maiorca, V., Doimo, D., Locatello, F., & Cazzaniga, A. (2025). Head pursuit: Probing attention specialization in multimodal transformers. In 39th Annual Conference on Neural Information Processing Systems (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21074 |

Yu, H., Inal, B., Arvanitidis, G., Hauberg, S., Locatello, F., & Fumero, M. (2025). Connecting neural models latent geometries with relative geodesic representations. In 39th Annual Conference on Neural Information Processing Systems (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.

[Published Version] View | Files available | arXiv

2025 | Epub ahead of print | Conference Paper | IST-REx-ID: 21076 |

Cadei, R., Demirel, I., De Bartolomeis, P., Lindorfer, L., Cremer, S., Schmid, C., & Locatello, F. (2025). Prediction-powered causal inferences. In 39th Annual Conference on Neural Information Processing Systems (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.

[Published Version] View | Files available

2025 | Published | Conference Paper | IST-REx-ID: 21089 |

Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. A. (2025). Flavors of quantifiers in hyperlogics. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 20:1-20:18). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.FSTTCS.2025.20

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21090 |

Cano Cordoba, F., Henzinger, T. A., & Kueffner, K. (2025). Algorithmic fairness: A runtime perspective. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 1–21). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_1

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21091 |

Henzinger, T. A., Kueffner, K., & Yu, E. (2025). Formal verification of neural certificates done dynamically. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 54–72). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_4

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21092 |

Henzinger, T. A., Kueffner, K., Singh, V., & Sun, I. (2025). Alignment monitoring. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 140–159). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_9

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21093 |

Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. A. (2025). Monitoring hypernode logic over infinite domains. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 417–437). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_23

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

Silverman JD, Li J, Ding X, Onoue M, Strauss MA, Matsuoka Y, Izumi T, Jahnke K, Treu T, Volonteri M, Phillips CL, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fan X, Fujimoto S, Habouzit M, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Lee C-H, Lupi A, Nagao T, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Walter F, Wang F, Yang J. 2025. SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6. The Astrophysical Journal Letters. 995(2), L67.

[Published Version] View | Files available | DOI | arXiv

Krauth, L. M., Davelaar, J., Haiman, Z., Westernacher-Schneider, J. R., Zrake, J., & MacFadyen, A. (2025). Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/staf1583

[Published Version] View | Files available | DOI | arXiv

O’Neill, D., Tiede, C., D’Orazio, D. J., Haiman, Z., & MacFadyen, A. (2025). Gravitational wave decoupling in retrograde circumbinary disks. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ae0ca8

[Published Version] View | Files available | DOI | arXiv

Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Yang L, Jahnke K, Phillips CL, Treu T, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fujimoto S, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kartaltepe J, Kashikawa N, Kawaguchi T, Li J, Lee C-H, Lupi A, Schindler J-T, Schramm M, Shimasaku K, Shuntov M, Tanaka TS, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Wang F, Yang J. 2025. SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6. The Astrophysical Journal. 993(1), 91.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Journal Article | IST-REx-ID: 21136 |

Monzer, A., & Friml, J. (2025). Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling. Npj Science of Plants. Springer Nature. https://doi.org/10.1038/s44383-025-00002-8

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Harris, D. G., Iliopoulos, F., & Kolmogorov, V. (2025). A new notion of commutativity for the algorithmic Lovász Local Lemma. Theory of Computing. University of Chicago Press. https://doi.org/10.4086/toc.2025.v021a005

[Published Version] View | Files available | DOI | arXiv

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options