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 | Conference Paper | IST-REx-ID: 21090 | OA
F. Cano Cordoba, T. A. Henzinger, and K. Kueffner, “Algorithmic fairness: A runtime perspective,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 1–21.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
T. A. Henzinger, K. Kueffner, and E. Yu, “Formal verification of neural certificates done dynamically,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 54–72.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
T. A. Henzinger, K. Kueffner, V. Singh, and I. Sun, “Alignment monitoring,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 140–159.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
M. Chalupa, T. A. Henzinger, and A. A. Oliveira da Costa, “Monitoring hypernode logic over infinite domains,” in 25th International Conference on Runtime Verification, Graz, Austria, 2025, vol. 16087, pp. 417–437.
[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
L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake, and A. MacFadyen, “Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers,” Monthly Notices of the Royal Astronomical Society, vol. 543, no. 3. Oxford University Press, pp. 2670–2685, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21123 | OA | PlanS
D. O’Neill, C. Tiede, D. J. D’Orazio, Z. Haiman, and A. MacFadyen, “Gravitational wave decoupling in retrograde circumbinary disks,” The Astrophysical Journal, vol. 993, no. 2. IOP Publishing, 2025.
[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
A. Sabyr, J. C. Hill, and Z. Haiman, “Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments,” Physical Review D, vol. 111, no. 10. American Physical Society, 2025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21126 | OA
K. Park, C. Xin, J. Davelaar, and Z. Haiman, “Self-lensing flares from black hole binaries. IV. The number of detectable shadows,” Physical Review D, vol. 111, no. 6. American Physical Society, 2025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21127 | OA | PlanS
K.-Y. Su, G. L. Bryan, and Z. Haiman, “Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation,” Monthly Notices of the Royal Astronomical Society, vol. 538, no. 1. Oxford University Press, pp. 11–30, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21128 | OA | PlanS
M. Epstein-Martin, H. Tagawa, Z. Haiman, and R. Perna, “Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes,” Monthly Notices of the Royal Astronomical Society, vol. 537, no. 4. Oxford University Press, pp. 3396–3420, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21129 | OA | PlanS
S. DeLaurentiis et al., “Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics,” The Astrophysical Journal, vol. 980, no. 1. IOP Publishing, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21131 | OA | PlanS
M. Kia et al., “Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation,” Frontiers in Human Neuroscience, vol. 19. Frontiers Media, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 21136 | OA
A. Monzer and J. Friml, “Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.,” npj Science of Plants, vol. 1, no. 1. Springer Nature, p. 2, 2025.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 21143 | OA | PlanS
D. G. Harris, F. Iliopoulos, and V. Kolmogorov, “A new notion of commutativity for the algorithmic Lovász Local Lemma,” Theory of Computing, vol. 21, no. 5. University of Chicago Press, pp. 1–34, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
V. Kolmogorov, S. Naldi, and J. Zapata, “Certifying solutions of degenerate semidefinite programs,” SIAM Journal on Optimization, vol. 35, no. 3. Society for Industrial and Applied Mathematics, pp. 1630–1654, 2025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21207 | OA
H. Zakerinia, J. A. Scott, and C. Lampert, “Federated learning with unlabeled clients: Personalization can happen in low dimensions,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Submitted | Preprint | IST-REx-ID: 21211 | OA
R. Montgomery, K. H. Petrova, A. Ranganathan, and J. Tan, “Packing subdivisions into regular graphs,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21235 | OA | PlanS
V. Sorichetti, P. Robin, I. Palaia, A. Hernandez-Armendariz, S. Cuylen-Haering, and A. Šarić, “Charge distribution of the coating brush drives interchromosome attraction,” PRX Life, vol. 3, no. 3. American Physical Society, 2025.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed