ISTA Research Explorer

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.

6742 Publications

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

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

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

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

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

Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.

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

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

Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.

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

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

Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.

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

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

Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.

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

SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6
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

Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 543 (2025) 2670–2685.

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

Gravitational wave decoupling in retrograde circumbinary disks
D. O’Neill, C. Tiede, D.J. D’Orazio, Z. Haiman, A. MacFadyen, The Astrophysical Journal 993 (2025).

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

SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6
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 |

Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.

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

A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.

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

2025 | Submitted | Preprint | IST-REx-ID: 21211 |

Packing subdivisions into regular graphs
R. Montgomery, K.H. Petrova, A. Ranganathan, J. Tan, ArXiv (n.d.).

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

Charge distribution of the coating brush drives interchromosome attraction
V. Sorichetti, P. Robin, I. Palaia, A. Hernandez-Armendariz, S. Cuylen-Haering, A. Šarić, PRX Life 3 (2025).

[Published Version] View | Files available | DOI

Data-driven theory reveals protrusion and polarity interactions governing collision behavior of distinct motile cells
T. Brandstätter, E. Brieger, D. Brückner, G. Ladurner, J.O. Rädler, C.P. Broedersz, PRX Life 3 (2025).

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

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

Intelligent soft matter: Towards embodied intelligence
Baulin VA, Giacometti A, Fedosov DA, Ebbens S, Varela-Rosales NR, Feliu N, Chowdhury M, Hu M, Füchslin R, Dijkstra M, Mussel M, van Roij R, Xie D, Tzanov V, Zu M, Hidalgo-Caballero S, Yuan Y, Cocconi L, Ghim C-M, Cottin-Bizonne C, Miguel MC, Esplandiu MJ, Simmchen J, Parak WJ, Werner M, Gompper G, Hanczyc MM. 2025. Intelligent soft matter: Towards embodied intelligence. Soft Matter. (21), 4129–4145.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

A ZTF search for circumstellar debris transits in White Dwarfs: Six new candidates, one with gas disk emission, identified in a novel metric space
S. Bhattacharjee, Z.P. Vanderbosch, M.A. Hollands, P.-E. Tremblay, S. Xu, J.A. Guidry, J.J. Hermes, I. Caiazzo, A.C. Rodriguez, J. van Roestel, K. El-Badry, A.J. Drake, B.R. Roulston, R. Riddle, B. Rusholme, S.L. Groom, R. Smith, O. Toloza, Publications of the Astronomical Society of the Pacific 137 (2025).

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

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

RACS-SADL: Robust and understandable randomized consensus in the cloud
P. Tennage, A. Desjardins, E. Kokoris Kogias, in:, 2025 IEEE 18th International Conference on Cloud Computing, IEEE, 2025.

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

ISTA Research Explorer

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

6742 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

6742 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options