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.
7453 Publications
2022 | Published | Journal Article | IST-REx-ID: 17065 | 
Zhao, Haisen, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, and Adriana Schulz. “Co-Optimization of Design and Fabrication Plans for Carpentry.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3508499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17066 |
Sethi, Aditya, Hai Wei, Nikhil Mishra, Ioannis Segos, Eric J. Lambie, Esther Zanin, and Barbara Conradt. “A Caspase–RhoGEF Axis Contributes to the Cell Size Threshold for Apoptotic Death in Developing Caenorhabditis Elegans.” PLOS Biology. Public Library of Science, 2022. https://doi.org/10.1371/journal.pbio.3001786.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17067 |
Stouffer, Melissa A, R. Khalaf-Nazzal, C. Cifuentes-Diaz, G. Albertini, E. Bandet, G. Grannec, V. Lavilla, et al. “Doublecortin Mutation Leads to Persistent Defects in the Golgi Apparatus and Mitochondria in Adult Hippocampal Pyramidal Cells.” Neurobiology of Disease. Elsevier, 2022. https://doi.org/10.1016/j.nbd.2022.105702.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17068 |
Navarrete, Fernando, Michelle C Gallei, Aleksandra E. Kornienko, Indira Saado, Mamoona Khan, Khong-Sam Chia, Martin A. Darino, Janos Bindics, and Armin Djamei. “TOPLESS Promotes Plant Immunity by Repressing Auxin Signaling and Is Targeted by the Fungal Effector Naked1.” Plant Communications. Elsevier, 2022. https://doi.org/10.1016/j.xplc.2021.100269.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17070 |
Mistakidis, S I, Georgios Koutentakis, F Grusdt, P Schmelcher, and H R Sadeghpour. “Inducing Spin-Order with an Impurity: Phase Diagram of the Magnetic Bose Polaron.” New Journal of Physics. IOP Publishing, 2022. https://doi.org/10.1088/1367-2630/ac836c.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17072 |
Naqvi, Mohsin M., Mario Avellaneda Sarrió, Andrew Roth, Eline J. Koers, Antoine Roland, Vanda Sunderlikova, Günter Kramer, Hays S. Rye, and Sander J. Tans. “Protein Chain Collapse Modulation and Folding Stimulation by GroEL-ES.” Science Advances. American Association for the Advancement of Science, 2022. https://doi.org/10.1126/sciadv.abl6293.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17076 |
Hillary, Robert F., Danni A. Gadd, Daniel L. McCartney, Liu Shi, Archie Campbell, Rosie M. Walker, Craig W. Ritchie, et al. “Genome‐ and Epigenome‐wide Studies of Plasma Protein Biomarkers for Alzheimer’s Disease Implicate TBCA and TREM2 in Disease Risk.” Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring. Wiley, 2022. https://doi.org/10.1002/dad2.12280.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |
Ferber, Asaf, Matthew Alan Kwan, Bhargav Narayanan, Ashwin Sah, and Mehtaab Sawhney. “Friendly Bisections of Random Graphs.” Communications of the American Mathematical Society. American Mathematical Society, 2022. https://doi.org/10.1090/cams/13.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Zhang, Yihan, and Nir Weinberger. “Mean Estimation in High-Dimensional Binary Markov Gaussian Mixture Models.” In 36th Conference on Neural Information Processing Systems, Vol. 35. ML Research Press, 2022.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
Kurtic, Eldar, Daniel Campos, Tuan Nguyen, Elias Frantar, Mark Kurtz, Benjamin Fineran, Michael Goin, and Dan-Adrian Alistarh. “The Optimal BERT Surgeon: Scalable and Accurate Second-Order Pruning for Large Language Models.” In Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 4163–81. Association for Computational Linguistics, 2022. https://doi.org/10.18653/v1/2022.emnlp-main.279.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 17115 |
O’Brien, Roisin E., Jack Peter Kelly Bravo, Delisa Ramos, Grace N. Hibshman, Jacquelyn T. Wright, and David W. Taylor. “Modes of Inhibition Used by Phage Anti-CRISPRs to Evade Type I-C Cascade.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.06.15.496202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Schwartz, Evan A., Jack Peter Kelly Bravo, Luis A. Macias, Caitlyn L. McCafferty, Tyler L. Dangerfield, Jada N. Walker, Jennifer S. Brodbelt, Peter C. Fineran, Robert D. Fagerlund, and David W. Taylor. “Assembly of Multi-Subunit Fusion Proteins into the RNA-Targeting Type III-D CRISPR-Cas Effector Complex.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2022.06.13.496011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
Bravo, Jack Peter Kelly, Thom Hallmark, Bronson Naegle, Chase L. Beisel, Ryan N. Jackson, and David W. Taylor. “Large-Scale Structural Rearrangements Unleash Indiscriminate Nuclease Activity of CRISPR-Cas12a2.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.06.13.495754.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17501 |
Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3563345.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 825–40. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498681.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498689.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D. American Physical Society (APS), 2022. https://doi.org/10.1103/physrevd.105.103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17536 |
Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W. C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature. Springer Science and Business Media LLC, 2022. https://doi.org/10.1038/s41586-021-04333-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17547 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.191101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv