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 |

M. A. Toups and B. Vicoso, “The X chromosome of insects likely predates the origin of Class Insecta.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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
B. B. GOSWAMI, “Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend,” Climate Dynamics, vol. 60. Springer Nature, pp. 427–442, 2023.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11706 |

A. Liebenau, L. Mattos, W. Mendonca dos Santos, and J. Skokan, “Asymmetric Ramsey properties of random graphs involving cliques and cycles,” Random Structures and Algorithms, vol. 62, no. 4. Wiley, pp. 1035–1055, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11741 |

G. Cipolloni, L. Erdös, and D. J. Schröder, “Quenched universality for deformed Wigner matrices,” Probability Theory and Related Fields, vol. 185. Springer Nature, pp. 1183–1218, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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.)
| arXiv
2023 | Published | Preprint | IST-REx-ID: 17112 |

J. A. Steens et al., “Type III-B CRISPR-Cas signaling-based cascade of proteolytic cleavages,” bioRxiv. Cold Spring Harbor Laboratory, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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.)