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.

10763 Publications


2023 | Research Data Reference | IST-REx-ID: 14617 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 14639 | OA
Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity
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 View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 11706 | OA
Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 11741 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
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
 

2023 | Published | Preprint | IST-REx-ID: 17112 | OA
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.)
 

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
 

2023 | Published | Book Chapter | IST-REx-ID: 17380 | OA
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
 

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
 

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
 

2023 | Published | Journal Article | IST-REx-ID: 17498 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 17499 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 17500 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 17507 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 17513 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 17514 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 17521 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 17522 | OA
Self-regulation of black hole accretion via jets in early protogalaxies
K.-Y. Su, G.L. Bryan, Z. Haiman, R.S. Somerville, C.C. Hayward, C.-A. Faucher-Giguère, Monthly Notices of the Royal Astronomical Society 520 (2023) 4258–4275.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 17527 | OA
Flares from stars crossing active galactic nucleus discs on low-inclination orbits
H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526 (2023) 69–79.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed