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.
7131 Publications
2023 | Published | Journal Article | IST-REx-ID: 14515 |

Reinhardt M, Tkačik G, Ten Wolde PR. 2023. Path weight sampling: Exact Monte Carlo computation of the mutual information between stochastic trajectories. Physical Review X. 13(4), 041017.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14516 |

Beaver D, Kelkar M, Lewi K, Nikolaenko V, Sonnino A, Chalkias K, Kokoris Kogias E, Naurois LD, Roy A. 2023. STROBE: Streaming Threshold Random Beacons. 5th Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, LIPIcs, vol. 282, 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. 2023. Continuous-variable quantum tomography of high-amplitude states. Physical Review A. 108(4), 042430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14556 |

Berdan EL, Barton NH, Butlin R, Charlesworth B, Faria R, Fragata I, Gilbert KJ, Jay P, Kapun M, Lotterhos KE, Mérot C, Durmaz Mitchell E, Pascual M, Peichel CL, Rafajlović M, Westram AM, Schaeffer SW, Johannesson K, Flatt T. 2023. How chromosomal inversions reorient the evolutionary process. Journal of Evolutionary Biology. 36(12), 14242.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14564 |

Khouider B, GOSWAMI BB, Phani R, Majda AJ. 2023. A shallow‐deep unified stochastic mass flux cumulus parameterization in the single column community climate model. Journal of Advances in Modeling Earth Systems. 15(11), e2022MS003391.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14604 |

Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of class Insecta. Evolution. 77(11), 2504–2511.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14610 |

Bussi C, Mangiarotti A, Vanhille-Campos CE, Aylan B, Pellegrino E, Athanasiadi N, Fearns A, Rodgers A, Franzmann TM, Šarić A, Dimova R, Gutierrez MG. 2023. Stress granules plug and stabilize damaged endolysosomal membranes. Nature. 623, 1062–1069.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Research Data Reference | IST-REx-ID: 14616 |

Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of Class Insecta, Dryad, 10.5061/DRYAD.HX3FFBGKT.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14617 |

Toups MA, Vicoso B. 2023. The X chromosome of insects likely predates the origin of Class Insecta, Zenodo, 10.5281/ZENODO.8138705.
[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: 11706 |

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

Cipolloni G, Erdös L, Schröder DJ. 2023. Quenched universality for deformed Wigner matrices. Probability Theory and Related Fields. 185, 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17079 |

Serebryakov A, Simm N, Dubach G. 2023. Characteristic polynomials of random truncations: Moments, duality and asymptotics. Random Matrices: Theory and Applications. 12(01), 2250049.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Preprint | IST-REx-ID: 17112 |

Steens JA, Bravo JPK, Salazar CRP, Yildiz C, Amieiro AM, Köstlbacher S, Prinsen SHP, Patinios C, Bardis A, Barendregt A, Scheltema RA, Ettema TJG, van der Oost J, Taylor DW, Staals RHJ. 2023. Type III-B CRISPR-Cas signaling-based cascade of proteolytic cleavages. bioRxiv, 10.1101/2023.06.23.546230.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Published | Book Chapter | IST-REx-ID: 17380 |

Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking Deployability in Architecture through Weaving. In: Advances in Architectural Geometry 2023. De Gruyter STEM, .
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 17498 |

Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. 2023. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 7(OOPSLA2), 716–744.
[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. 2023. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 7(POPL), 1121–1151.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17500 |

Sammler MJ, Spies S, Song Y, D’Osualdo E, Krebbers R, Garg D, Dreyer D. 2023. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 7(POPL), 775–805.
[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. 2023. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 946(1), L3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 17513 |

Gayathri V, Wysocki D, Yang Y, Delfavero V, O’Shaughnessy R, Haiman Z, Tagawa H, Bartos I. 2023. Gravitational wave source populations: Disentangling an AGN component. The Astrophysical Journal Letters. 945(2), L29.
[Published Version]
View
| DOI
| Download Published Version (ext.)