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
2022 | Published | Journal Article | IST-REx-ID: 17063 | 
M.-C. Arnaud, H. W. Hofer, M. Hutchings, and V. Kaloshin, “Dynamische Systeme,” Oberwolfach Reports, vol. 18, no. 3. European Mathematical Society, pp. 1735–1803, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17065 |
H. Zhao et al., “Co-optimization of design and fabrication plans for carpentry,” ACM Transactions on Graphics, vol. 41, no. 3. Association for Computing Machinery, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17066 |
A. Sethi et al., “A caspase–RhoGEF axis contributes to the cell size threshold for apoptotic death in developing Caenorhabditis elegans,” PLOS Biology, vol. 20, no. 10. Public Library of Science, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17067 |
M. A. Stouffer et al., “Doublecortin mutation leads to persistent defects in the Golgi apparatus and mitochondria in adult hippocampal pyramidal cells,” Neurobiology of Disease, vol. 168. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17068 |
F. Navarrete et al., “TOPLESS promotes plant immunity by repressing auxin signaling and is targeted by the fungal effector Naked1,” Plant Communications, vol. 3, no. 2. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17070 |
S. I. Mistakidis, G. 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, vol. 24, no. 8. IOP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17071
S. Mosalaganti et al., “AI-based structure prediction empowers integrative structural analysis of human nuclear pores,” Science, vol. 376, no. 6598. American Association for the Advancement of Science, 2022.
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17072 |
M. M. Naqvi et al., “Protein chain collapse modulation and folding stimulation by GroEL-ES,” Science Advances, vol. 8, no. 9. American Association for the Advancement of Science, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Book Chapter | IST-REx-ID: 17075
M. Palacín, S. Bröer, and G. Novarino, “Amino Acid Transport Defects,” in Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases, 2nd ed., N. Blau, C. D. Vici, C. R. Ferreira, C. Vianey-Saban, and C. D. M. van Karnebeek, Eds. Cham: Springer Nature, 2022, pp. 291–312.
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 17076 |
R. F. Hillary 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, vol. 14, no. 1. Wiley, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 17077 |
A. Ferber, M. A. Kwan, B. Narayanan, A. Sah, and M. Sawhney, “Friendly bisections of random graphs,” Communications of the American Mathematical Society, vol. 2, no. 10. American Mathematical Society, pp. 380–416, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Y. Zhang and N. Weinberger, “Mean estimation in high-dimensional binary Markov Gaussian mixture models,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2022, vol. 35.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
E. Kurtic et al., “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, Abu Dhabi, United Arab Emirates, 2022, pp. 4163–4181.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Preprint | IST-REx-ID: 17115 |
R. E. O’Brien, J. P. K. Bravo, D. Ramos, G. N. Hibshman, J. T. Wright, and D. W. Taylor, “Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade,” bioRxiv. Cold Spring Harbor Laboratory, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
E. A. Schwartz et al., “Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Preprint | IST-REx-ID: 17117 |
J. P. K. Bravo, T. Hallmark, B. Naegle, C. L. Beisel, R. N. Jackson, and D. W. Taylor, “Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2,” bioRxiv. Cold Spring Harbor Laboratory, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17501 |
F. Zhu, M. J. Sammler, R. Lepigre, D. Dreyer, and D. Garg, “BFF: Foundational and automated verification of bitfield-manipulating programs,” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2. Association for Computing Machinery, pp. 1613–1638, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
M. J. Sammler et al., “Islaris: Verification of machine code against authoritative ISA semantics,” in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, United States, 2022, pp. 825–840.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 17503 |
R. Lepigre, M. J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, and P. Sewell, “VIP: Verifying real-world C idioms with integer-pointer casts,” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–32, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)