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.

12247 Publications


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
Montagna F, Faller P, Blöbaum P, Kirschbaum E, Locatello F. 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. ML Research Press; 2025:552-605.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Chalupa M, Henzinger TA, Oliveira da Costa AA. Flavors of quantifiers in hyperlogics. In: 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 360. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:20:1-20:18. doi:10.4230/LIPICS.FSTTCS.2025.20
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger TA, Kueffner K, Yu E. Formal verification of neural certificates done dynamically. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:54-72. doi:10.1007/978-3-032-05435-7_4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
Henzinger TA, Kueffner K, Singh V, Sun I. Alignment monitoring. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:140-159. doi:10.1007/978-3-032-05435-7_9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Chalupa M, Henzinger TA, Oliveira da Costa AA. Monitoring hypernode logic over infinite domains. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:417-437. doi:10.1007/978-3-032-05435-7_23
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2025 | Published | Journal Article | IST-REx-ID: 21122 | OA | PlanS
Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers. Monthly Notices of the Royal Astronomical Society. 2025;543(3):2670-2685. doi:10.1093/mnras/staf1583
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21123 | OA | PlanS
O’Neill D, Tiede C, D’Orazio DJ, Haiman Z, MacFadyen A. Gravitational wave decoupling in retrograde circumbinary disks. The Astrophysical Journal. 2025;993(2). doi:10.3847/1538-4357/ae0ca8
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21124 | OA | PlanS
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: 21125 | OA
Sabyr A, Hill JC, Haiman Z. Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments. Physical Review D. 2025;111(10). doi:10.1103/physrevd.111.103536
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21126 | OA
Park K, Xin C, Davelaar J, Haiman Z. Self-lensing flares from black hole binaries. IV. The number of detectable shadows. Physical Review D. 2025;111(6). doi:10.1103/physrevd.111.063011
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21127 | OA | PlanS
Su K-Y, Bryan GL, Haiman Z. Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation. Monthly Notices of the Royal Astronomical Society. 2025;538(1):11-30. doi:10.1093/mnras/staf228
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21128 | OA | PlanS
Epstein-Martin M, Tagawa H, Haiman Z, Perna R. Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes. Monthly Notices of the Royal Astronomical Society. 2025;537(4):3396-3420. doi:10.1093/mnras/staf237
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21129 | OA | PlanS
DeLaurentiis S, Haiman Z, Westernacher-Schneider JR, et al. Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics. The Astrophysical Journal. 2025;980(1). doi:10.3847/1538-4357/ada612
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21131 | OA | PlanS
Kia M, Mirian MS, Soori S, et al. Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation. Frontiers in Human Neuroscience. 2025;19. doi:10.3389/fnhum.2025.1566566
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 21136 | OA
Monzer A, Friml J. Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling. npj Science of Plants. 2025;1(1):2. doi:10.1038/s44383-025-00002-8
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 21143 | OA | PlanS
Harris DG, Iliopoulos F, Kolmogorov V. A new notion of commutativity for the algorithmic Lovász Local Lemma. Theory of Computing. 2025;21(5):1-34. doi:10.4086/toc.2025.v021a005
[Published Version] View | Files available | DOI | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21211 | OA
Montgomery R, Petrova KH, Ranganathan A, Tan J. Packing subdivisions into regular graphs. arXiv. doi:10.48550/arXiv.2508.00480
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21235 | OA | PlanS
Sorichetti V, Robin P, Palaia I, Hernandez-Armendariz A, Cuylen-Haering S, Šarić A. Charge distribution of the coating brush drives interchromosome attraction. PRX Life. 2025;3(3). doi:10.1103/41fd-r847
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed