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.
9626 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10414 | 
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15141 |
Zhou, Yi, Jack Peter Kelly Bravo, Hannah N. Taylor, Jurre A. Steens, Ryan N. Jackson, Raymond H.J. Staals, and David W. Taylor. “Structure of a Type IV CRISPR-Cas Ribonucleoprotein Complex.” IScience. Elsevier, 2021. https://doi.org/10.1016/j.isci.2021.102201.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 15138 |
Geiger, Florian, Julia Acker, Guido Papa, Xinyu Wang, William E Arter, Kadi L Saar, Nadia A Erkamp, et al. “Liquid–Liquid Phase Separation Underpins the Formation of Replication Factories in Rotaviruses.” The EMBO Journal. Embo Press, 2021. https://doi.org/10.15252/embj.2021107711.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 15137 |
Steens, Jurre A., Yifan Zhu, David W. Taylor, Jack Peter Kelly Bravo, Stijn H. P. Prinsen, Cor D. Schoen, Bart J. F. Keijser, et al. “SCOPE Enables Type III CRISPR-Cas Diagnostics Using Flexible Targeting and Stringent CARF Ribonuclease Activation.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-25337-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 15139 |
Bravo, Jack Peter Kelly, Kira Bartnik, Luca Venditti, Julia Acker, Emma H. Gail, Alice Colyer, Chen Davidovich, et al. “Structural Basis of Rotavirus RNA Chaperone Displacement and RNA Annealing.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2021. https://doi.org/10.1073/pnas.2100198118.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 15140 |
Bravo, Jack Peter Kelly, Tyler L. Dangerfield, David W. Taylor, and Kenneth A. Johnson. “Remdesivir Is a Delayed Translocation Inhibitor of SARS-CoV-2 Replication.” Molecular Cell. Elsevier, 2021. https://doi.org/10.1016/j.molcel.2021.01.035.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 17132 |
Chintaluri, Chaitanya, Marta Bejtka, Władysław Średniawa, Michał Czerwiński, Jakub M. Dzik, Joanna Jędrzejewska-Szmek, Kacper Kondrakiewicz, Ewa Kublik, and Daniel K. Wójcik. “What We Can and What We Cannot See with Extracellular Multielectrodes.” PLOS Computational Biology. Public Library of Science, 2021. https://doi.org/10.1371/journal.pcbi.1008615.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 9928 |
Peruzzo, Matilda, Farid Hassani, Gregory Szep, Andrea Trioni, Elena Redchenko, Martin Zemlicka, and Johannes M Fink. “Geometric Superinductance Qubits: Controlling Phase Delocalization across a Single Josephson Junction.” PRX Quantum. American Physical Society, 2021. https://doi.org/10.1103/PRXQuantum.2.040341.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7553 |
Mlynarski, Wiktor F, Michal Hledik, Thomas R Sokolowski, and Gašper Tkačik. “Statistical Analysis and Optimality of Neural Systems.” Neuron. Cell Press, 2021. https://doi.org/10.1016/j.neuron.2021.01.020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |Submitted| Preprint | IST-REx-ID: 14097 |
Kulkarni SR, Harrison FA, Grefenstette BW, Earnshaw HP, Andreoni I, Berg DA, Bloom JS, Cenko SB, Chornock R, Christiansen JL, Coughlin MW, Criswell AW, Darvish B, Das KK, De K, Dessart L, Dixon D, Dorsman B, Kareem El-Badry KE-B, Evans C, Ford KES, Fremling C, Gansicke BT, Gezari S, Götberg YLL, Green GM, Graham MJ, Heida M, Ho AYQ, Jaodand AD, Christopher M. Johns-Krull CMJ-K, Kasliwal MM, Lazzarini M, Lu W, Margutti R, Martin DC, Masters DC, McKernan B, Naze Y, Nissanke SM, Parazin B, Perley DA, Phinney ES, Piro AL, Raaijmakers G, Rauw G, Rodriguez AC, Sana H, Senchyna P, Singer LP, Spake JJ, Stassun KG, Stern D, Teplitz HI, Weisz DR, Yao Y. Science with the ultraviolet explorer (UVEX). arXiv, 2111.15608.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9592 |
Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” In Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG, 2021.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10545 |
Medina Ramos, Raimel A, and Maksym Serbyn. “Duality Approach to Quantum Annealing of the 3-Variable Exclusive-or Satisfiability Problem (3-XORSAT).” Physical Review A. American Physical Society, 2021. https://doi.org/10.1103/physreva.104.062423.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10067 |
Medina Ramos, Raimel A, Romain Vasseur, and Maksym Serbyn. “Entanglement Transitions from Restricted Boltzmann Machines.” Physical Review B. American Physical Society, 2021. https://doi.org/10.1103/physrevb.104.104205.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 12077 |
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 17384
Ren, Yingying, Julian Panetta, Tian Chen, Florin Isvoranu, Samuel Poincloux, Christopher Brandt, Alison Martin, and Mark Pauly. “3D Weaving with Curved Ribbons.” ACM Transactions on Graphics. Association for Computing Machinery, 2021. https://doi.org/10.1145/3450626.3459788.
View
| DOI
2021 |Published| Journal Article | IST-REx-ID: 17422 |
Nilles, Alexandra Q, Yingying Ren, Israel Becerra, and Steven M LaValle. “A Visibility-Based Approach to Computing Non-Deterministic Bouncing Strategies.” The International Journal of Robotics Research. SAGE Publications, 2021. https://doi.org/10.1177/0278364921992788.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 9644 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454093.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Research Data Reference | IST-REx-ID: 15284 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “RevTerm.” Association for Computing Machinery, 2021. https://doi.org/10.1145/3410304.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 10123 |
Liu, Yu, Mariano Calcabrini, Yuan Yu, Aziz Genç, Cheng Chang, Tommaso Costanzo, Tobias Kleinhanns, et al. “The Importance of Surface Adsorbates in Solution‐processed Thermoelectric Materials: The Case of SnSe.” Advanced Materials. Wiley, 2021. https://doi.org/10.1002/adma.202106858.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Conference Paper | IST-REx-ID: 17505 |
Sammler, Michael Joachim, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg. “RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 158–74. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454036.
[Published Version]
View
| DOI
| Download Published Version (ext.)