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.
10151 Publications
2023 | Published | Journal Article | IST-REx-ID: 11741 | 
Quenched universality for deformed Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
2023 | Published | Journal Article | IST-REx-ID: 11999 |
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
2023 | Published | Journal Article | IST-REx-ID: 17074 |
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
2023 | Published | Journal Article | IST-REx-ID: 17078 |
RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces
A.V. Dass, S. Wunnava, J. Langlais, B. von der Esch, M. Krusche, L. Ufer, N. Chrisam, R.C.A. Dubini, F. Gartner, S. Angerpointner, C.F. Dirscherl, P. Rovo, C.B. Mast, J.E. Šponer, C. Ochsenfeld, E. Frey, D. Braun, ChemSystemsChem 5 (2023).
[Published Version]
View
| Files available
| DOI
A.V. Dass, S. Wunnava, J. Langlais, B. von der Esch, M. Krusche, L. Ufer, N. Chrisam, R.C.A. Dubini, F. Gartner, S. Angerpointner, C.F. Dirscherl, P. Rovo, C.B. Mast, J.E. Šponer, C. Ochsenfeld, E. Frey, D. Braun, ChemSystemsChem 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17079 |
Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
2023 | Submitted | Preprint | IST-REx-ID: 17100 |
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
2023 | Published | Preprint | IST-REx-ID: 17112 |
Type III-B CRISPR-Cas signaling-based cascade of proteolytic cleavages
J.A. Steens, J.P.K. Bravo, C.R.P. Salazar, C. Yildiz, A.M. Amieiro, S. Köstlbacher, S.H.P. Prinsen, C. Patinios, A. Bardis, A. Barendregt, R.A. Scheltema, T.J.G. Ettema, J. van der Oost, D.W. Taylor, R.H.J. Staals, BioRxiv (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
J.A. Steens, J.P.K. Bravo, C.R.P. Salazar, C. Yildiz, A.M. Amieiro, S. Köstlbacher, S.H.P. Prinsen, C. Patinios, A. Bardis, A. Barendregt, R.A. Scheltema, T.J.G. Ettema, J. van der Oost, D.W. Taylor, R.H.J. Staals, BioRxiv (2023).
2023 | Submitted | Preprint | IST-REx-ID: 17351 |
Contractive coupling rates and curvature lower bounds for Markov chains
F. Pedrotti, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Pedrotti, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 17378 |
OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version]
View
| Files available
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
2023 | Published | Journal Article | IST-REx-ID: 17379
C-shells: Deployable gridshells with curved beams
Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, M. Pauly, ACM Transactions on Graphics 42 (2023).
View
| DOI
Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, M. Pauly, ACM Transactions on Graphics 42 (2023).
2023 | Published | Book Chapter | IST-REx-ID: 17380 |
BamX: Rethinking Deployability in Architecture through Weaving
S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.), Advances in Architectural Geometry 2023, De Gruyter, 2023.
[Published Version]
View
| Files available
| DOI
S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.), Advances in Architectural Geometry 2023, De Gruyter, 2023.
2023 | Published | Journal Article | IST-REx-ID: 17381
Computational exploration of multistable elastic knots
M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, M. Pauly, ACM Transactions on Graphics 42 (2023).
View
| DOI
M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, M. Pauly, ACM Transactions on Graphics 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17382
From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces
Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).
View
| DOI
Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17498 |
Melocoton: A program logic for verified interoperability between OCaml and C
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.
2023 | Published | Journal Article | IST-REx-ID: 17499 |
Conditional contextual refinement
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.
2023 | Published | Journal Article | IST-REx-ID: 17500 |
DimSum: A decentralized approach to multi-language semantics and verification
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
2023 | Published | Journal Article | IST-REx-ID: 17507 |
Observable signatures of stellar-mass black holes in active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17513 |
Gravitational wave source populations: Disentangling an AGN component
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17514 |
The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries
S. Naoz, Z. Haiman, The Astrophysical Journal Letters 955 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Naoz, Z. Haiman, The Astrophysical Journal Letters 955 (2023).
2023 | Published | Journal Article | IST-REx-ID: 17521 |
Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries
L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.