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
2023 |
Published |
Journal Article |
IST-REx-ID: 17078 |
A. V. Dass et al., “RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces,” ChemSystemsChem, vol. 5, no. 1. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
A. Serebryakov, N. Simm, and G. Dubach, “Characteristic polynomials of random truncations: Moments, duality and asymptotics,” Random Matrices: Theory and Applications, vol. 12, no. 01. World Scientific Publishing, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
G. Giambartolomei, F. M.-T. Frederik Mallmann-Trenn, and R. J. Saona Urmeneta, “Prophet inequalities: Separating random order from order selection,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
J. Reker, “Multi-point functional central limit theorem for Wigner Matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
L. Erdös, S. J. Henheik, J. Reker, and V. Riabov, “Prethermalization for deformed Wigner Matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17351 |
F. Pedrotti, “Contractive coupling rates and curvature lower bounds for Markov chains,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 17378 |
E. Frantar, S. Ashkboos, T. Hoefler, and D.-A. Alistarh, “OPTQ: Accurate post-training quantization for generative pre-trained transformers,” in 11th International Conference on Learning Representations , Kigali, Rwanda, 2023.
[Published Version]
View
| Files available
2023 |
Published |
Book Chapter |
IST-REx-ID: 17380 |
S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, and M. Pauly, “BamX: Rethinking Deployability in Architecture through Weaving,” in Advances in Architectural Geometry 2023, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, and T. Wortmann, Eds. De Gruyter, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17498 |
A. Guéneau, J. Hostert, S. Spies, M. J. Sammler, L. Birkedal, and D. Dreyer, “Melocoton: A program logic for verified interoperability between OCaml and C,” Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2. Association for Computing Machinery, pp. 716–744, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17499 |
Y. Song, M. Cho, D. Lee, C.-K. Hur, M. J. Sammler, and D. Dreyer, “Conditional contextual refinement,” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL. Association for Computing Machinery, pp. 1121–1151, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17500 |
M. J. Sammler et al., “DimSum: A decentralized approach to multi-language semantics and verification,” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL. Association for Computing Machinery, pp. 775–805, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17507 |
H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Observable signatures of stellar-mass black holes in active galactic nuclei,” The Astrophysical Journal Letters, vol. 946, no. 1. American Astronomical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17513 |
V. Gayathri et al., “Gravitational wave source populations: Disentangling an AGN component,” The Astrophysical Journal Letters, vol. 945, no. 2. American Astronomical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17514 |
S. Naoz and Z. Haiman, “The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries,” The Astrophysical Journal Letters, vol. 955, no. 2. American Astronomical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17521 |
L. M. Krauth, J. Davelaar, J. R. Westernacher-Schneider, Z. Haiman, J. Zrake, and A. MacFadyen, “Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries,” Monthly Notices of the Royal Astronomical Society, vol. 526, no. 4. Oxford University Press, pp. 5441–5454, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17522 |
K.-Y. Su, G. L. Bryan, Z. Haiman, R. S. Somerville, C. C. Hayward, and C.-A. Faucher-Giguère, “Self-regulation of black hole accretion via jets in early protogalaxies,” Monthly Notices of the Royal Astronomical Society, vol. 520, no. 3. Oxford University Press, pp. 4258–4275, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17527 |
H. Tagawa and Z. Haiman, “Flares from stars crossing active galactic nucleus discs on low-inclination orbits,” Monthly Notices of the Royal Astronomical Society, vol. 526, no. 1. Oxford University Press, pp. 69–79, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)