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.
10945 Publications
2023 | Published | Journal Article | IST-REx-ID: 14464 | 
Ambrus Á, Csikós M, Kiss G, Pach J, Somlai G. Optimal embedded and enclosing isosceles triangles. International Journal of Foundations of Computer Science. 2023;34(7):737-760. doi:10.1142/S012905412342008X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14485 |
Aksenov V, Anoprenko M, Fedorov A, Spear M. Brief announcement: BatchBoost: Universal batching for concurrent data structures. In: 37th International Symposium on Distributed Computing. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.DISC.2023.35
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14516 |
Beaver D, Kelkar M, Lewi K, et al. STROBE: Streaming Threshold Random Beacons. In: 5th Conference on Advances in Financial Technologies. Vol 282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.AFT.2023.7
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14553 |
Fedotova E, Kuznetsov N, Tiunov E, Ulanov AE, Lvovsky AI. Continuous-variable quantum tomography of high-amplitude states. Physical Review A. 2023;108(4). doi:10.1103/PhysRevA.108.042430
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14639 |
Lin S-J, Vona B, Lau T, Huang K, Zaki MS, Aldeen HS, Karimiani EG, Rocca C, Noureldeen MM, Saad AK, Petree C, Bartolomaeus T, Abou Jamra R, Zifarelli G, Gotkhindikar A, Wentzensen IM, Liao M, Cork EE, Varshney P, Hashemi N, Mohammadi MH, Rad A, Neira J, Toosi MB, Knopp C, Kurth I, Challman TD, Smith R, Abdalla A, Haaf T, Suri M, Joshi M, Chung WK, Moreno-De-Luca A, Houlden H, Maroofian R, Varshney GK. 2023. Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity. Genome Medicine. 15, 102.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11706 |
Liebenau A, Mattos L, Mendonca dos Santos W, Skokan J. Asymmetric Ramsey properties of random graphs involving cliques and cycles. Random Structures and Algorithms. 2023;62(4):1035-1055. doi:10.1002/rsa.21106
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11741 |
Cipolloni G, Erdös L, Schröder DJ. Quenched universality for deformed Wigner matrices. Probability Theory and Related Fields. 2023;185:1183–1218. doi:10.1007/s00440-022-01156-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17379
Becker Q, Suzuki S, Ren Y, Pellis D, Panetta J, Pauly M. C-shells: Deployable gridshells with curved beams. ACM Transactions on Graphics. 2023;42(6). doi:10.1145/3618366
View
| DOI
2023 | Published | Book Chapter | IST-REx-ID: 17380 |
Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. BamX: Rethinking Deployability in Architecture through Weaving. In: Dörfler K, Knippers J, Menges A, Parascho S, Pottmann H, Wortmann T, eds. Advances in Architectural Geometry 2023. De Gruyter; 2023. doi:10.1515/9783111162683-016
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 17381
Vidulis M, Ren Y, Panetta J, Grinspun E, Pauly M. Computational exploration of multistable elastic knots. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592399
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 17382
Wang Y, Ren Y, Chen T. From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces. Journal of Applied Mechanics. 2023;90(4). doi:10.1115/1.4056350
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 17498 |
Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 2023;7(OOPSLA2):716-744. doi:10.1145/3622823
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17499 |
Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 2023;7(POPL):1121-1151. doi:10.1145/3571232
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17500 |
Sammler MJ, Spies S, Song Y, et al. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 2023;7(POPL):775-805. doi:10.1145/3571220
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17507 |
Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 2023;946(1). doi:10.3847/2041-8213/acc103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17513 |
Gayathri V, Wysocki D, Yang Y, et al. Gravitational wave source populations: Disentangling an AGN component. The Astrophysical Journal Letters. 2023;945(2). doi:10.3847/2041-8213/acbfb8
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17514 |
Naoz S, Haiman Z. The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries. The Astrophysical Journal Letters. 2023;955(2). doi:10.3847/2041-8213/acf8c9
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17521 |
Krauth LM, Davelaar J, Westernacher-Schneider JR, Haiman Z, Zrake J, MacFadyen A. Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries. Monthly Notices of the Royal Astronomical Society. 2023;526(4):5441-5454. doi:10.1093/mnras/stad3095
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17522 |
Su K-Y, Bryan GL, Haiman Z, Somerville RS, Hayward CC, Faucher-Giguère C-A. Self-regulation of black hole accretion via jets in early protogalaxies. Monthly Notices of the Royal Astronomical Society. 2023;520(3):4258-4275. doi:10.1093/mnras/stad252
[Published Version]
View
| DOI
| Download Published Version (ext.)