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.
642 Publications
2022 | Published | Journal Article | IST-REx-ID: 17071
AI-based structure prediction empowers integrative structural analysis of human nuclear pores
S. Mosalaganti, A. Obarska-Kosinska, M. Siggel, R. Taniguchi, B. Turoňová, C.E. Zimmerli, K. Buczak, F. Schmidt, E. Margiotta, M.-T. Mackmull, W.J.H. Hagen, G. Hummer, J. Kosinski, M. Beck, Science 376 (2022).
View
| DOI
| PubMed | Europe PMC
S. Mosalaganti, A. Obarska-Kosinska, M. Siggel, R. Taniguchi, B. Turoňová, C.E. Zimmerli, K. Buczak, F. Schmidt, E. Margiotta, M.-T. Mackmull, W.J.H. Hagen, G. Hummer, J. Kosinski, M. Beck, Science 376 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17072 | 
Protein chain collapse modulation and folding stimulation by GroEL-ES
M.M. Naqvi, M. Avellaneda Sarrió, A. Roth, E.J. Koers, A. Roland, V. Sunderlikova, G. Kramer, H.S. Rye, S.J. Tans, Science Advances 8 (2022).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M.M. Naqvi, M. Avellaneda Sarrió, A. Roth, E.J. Koers, A. Roland, V. Sunderlikova, G. Kramer, H.S. Rye, S.J. Tans, Science Advances 8 (2022).
2022 | Published | Book Chapter | IST-REx-ID: 17075
Amino Acid Transport Defects
M. Palacín, S. Bröer, G. Novarino, in:, N. Blau, C.D. Vici, C.R. Ferreira, C. Vianey-Saban, C.D.M. van Karnebeek (Eds.), Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases, 2nd ed., Springer Nature, Cham, 2022, pp. 291–312.
View
| DOI
M. Palacín, S. Bröer, G. Novarino, in:, N. Blau, C.D. Vici, C.R. Ferreira, C. Vianey-Saban, C.D.M. van Karnebeek (Eds.), Physician’s Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases, 2nd ed., Springer Nature, Cham, 2022, pp. 291–312.
2022 | Published | Journal Article | IST-REx-ID: 17076 |
Genome‐ and epigenome‐wide studies of plasma protein biomarkers for Alzheimer's disease implicate TBCA and TREM2 in disease risk
R.F. Hillary, D.A. Gadd, D.L. McCartney, L. Shi, A. Campbell, R.M. Walker, C.W. Ritchie, I.J. Deary, K.L. Evans, A.J. Nevado‐Holgado, C. Hayward, D.J. Porteous, A.M. McIntosh, S. Lovestone, M.R. Robinson, R.E. Marioni, Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring 14 (2022).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
R.F. Hillary, D.A. Gadd, D.L. McCartney, L. Shi, A. Campbell, R.M. Walker, C.W. Ritchie, I.J. Deary, K.L. Evans, A.J. Nevado‐Holgado, C. Hayward, D.J. Porteous, A.M. McIntosh, S. Lovestone, M.R. Robinson, R.E. Marioni, Alzheimer’s & Dementia: Diagnosis, Assessment & Disease Monitoring 14 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17077 |
Friendly bisections of random graphs
A. Ferber, M.A. Kwan, B. Narayanan, A. Sah, M. Sawhney, Communications of the American Mathematical Society 2 (2022) 380–416.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Ferber, M.A. Kwan, B. Narayanan, A. Sah, M. Sawhney, Communications of the American Mathematical Society 2 (2022) 380–416.
2022 | Published | Conference Paper | IST-REx-ID: 17084 |
Hardness of token swapping on trees
O. Aichholzer, E.D. Demaine, M. Korman, A. Lubiw, J. Lynch, Z. Masárová, M. Rudoy, V. Vassilevska Williams, N. Wein, in:, 30th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Aichholzer, E.D. Demaine, M. Korman, A. Lubiw, J. Lynch, Z. Masárová, M. Rudoy, V. Vassilevska Williams, N. Wein, in:, 30th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Book Chapter | IST-REx-ID: 17085 |
Mosses: Accessible Systems for Plant Development Studies
J. Floriach-Clark, H. Tang, V. Willemsen, in:, I.Y. Abdurakhmonov (Ed.), Model Organisms in Plant Genetics, Intech Open, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Floriach-Clark, H. Tang, V. Willemsen, in:, I.Y. Abdurakhmonov (Ed.), Model Organisms in Plant Genetics, Intech Open, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 17086 |
Mean estimation in high-dimensional binary Markov Gaussian mixture models
Y. Zhang, N. Weinberger, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.
[Published Version]
View
| Files available
| arXiv
Y. Zhang, N. Weinberger, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 17087 |
Optimal brain compression: A framework for accurate post-training quantization and pruning
E. Frantar, S.P. Singh, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.
[Submitted Version]
View
| Files available
| arXiv
E. Frantar, S.P. Singh, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, ML Research Press, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 17088 |
The optimal BERT surgeon: Scalable and accurate second-order pruning for large language models
E. Kurtic, D. Campos, T. Nguyen, E. Frantar, M. Kurtz, B. Fineran, M. Goin, D.-A. Alistarh, in:, Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics, 2022, pp. 4163–4181.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Kurtic, D. Campos, T. Nguyen, E. Frantar, M. Kurtz, B. Fineran, M. Goin, D.-A. Alistarh, in:, Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics, 2022, pp. 4163–4181.
2022 | Published | Preprint | IST-REx-ID: 17115 |
Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
2022 | Submitted | Preprint | IST-REx-ID: 17116 |
Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex
E.A. Schwartz, J.P.K. Bravo, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
E.A. Schwartz, J.P.K. Bravo, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, BioRxiv (n.d.).
2022 | Published | Preprint | IST-REx-ID: 17117 |
Large-scale structural rearrangements unleash indiscriminate nuclease activity of CRISPR-Cas12a2
J.P.K. Bravo, T. Hallmark, B. Naegle, C.L. Beisel, R.N. Jackson, D.W. Taylor, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
J.P.K. Bravo, T. Hallmark, B. Naegle, C.L. Beisel, R.N. Jackson, D.W. Taylor, BioRxiv (2022).
2022 | Published | Journal Article | IST-REx-ID: 17383
Umbrella meshes: Elastic mechanisms for freeform shape deployment
Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly, ACM Transactions on Graphics 41 (2022) 1–15.
View
| DOI
Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly, ACM Transactions on Graphics 41 (2022) 1–15.
2022 | Published | Journal Article | IST-REx-ID: 17501 |
BFF: Foundational and automated verification of bitfield-manipulating programs
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.
2022 | Published | Conference Paper | IST-REx-ID: 17502 |
Islaris: Verification of machine code against authoritative ISA semantics
M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.
2022 | Published | Journal Article | IST-REx-ID: 17503 |
VIP: Verifying real-world C idioms with integer-pointer casts
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
2022 | Published | Journal Article | IST-REx-ID: 17504 |
Simuliris: A separation logic framework for verifying concurrent program optimizations
L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang, D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang, D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.
2022 | Published | Journal Article | IST-REx-ID: 17526 |
Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
2022 | Published | Journal Article | IST-REx-ID: 17536 |
AGN as potential factories for eccentric black hole mergers
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.