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 | OA
Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic proof rules for probabilistic termination. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 |Published| Journal Article | IST-REx-ID: 15141 | OA
Zhou Y, Bravo JPK, Taylor HN, Steens JA, Jackson RN, Staals RHJ, Taylor DW. 2021. Structure of a type IV CRISPR-Cas ribonucleoprotein complex. iScience. 24(3), 102201.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 |Published| Journal Article | IST-REx-ID: 15138 | OA
Geiger F, Acker J, Papa G, Wang X, Arter WE, Saar KL, Erkamp NA, Qi R, Bravo JPK, Strauss S, Krainer G, Burrone OR, Jungmann R, Knowles TP, Engelke H, Borodavka A. 2021. Liquid–liquid phase separation underpins the formation of replication factories in rotaviruses. The EMBO Journal. 40(21), e107711.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 |Published| Journal Article | IST-REx-ID: 15137 | OA
Steens JA, Zhu Y, Taylor DW, Bravo JPK, Prinsen SHP, Schoen CD, Keijser BJF, Ossendrijver M, Hofstra LM, Brouns SJJ, Shinkai A, van der Oost J, Staals RHJ. 2021. SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation. Nature Communications. 12, 5033.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 |Published| Journal Article | IST-REx-ID: 15139 | OA
Bravo JPK, Bartnik K, Venditti L, Acker J, Gail EH, Colyer A, Davidovich C, Lamb DC, Tuma R, Calabrese AN, Borodavka A. 2021. Structural basis of rotavirus RNA chaperone displacement and RNA annealing. Proceedings of the National Academy of Sciences. 118(41), e2100198118.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 |Published| Journal Article | IST-REx-ID: 15140 | OA
Bravo JPK, Dangerfield TL, Taylor DW, Johnson KA. 2021. Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication. Molecular Cell. 81(7), 1548–1552.e4.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2021 |Published| Journal Article | IST-REx-ID: 17132 | OA
Chintaluri C, Bejtka M, Średniawa W, Czerwiński M, Dzik JM, Jędrzejewska-Szmek J, Kondrakiewicz K, Kublik E, Wójcik DK. 2021. What we can and what we cannot see with extracellular multielectrodes. PLOS Computational Biology. 17(5), e1008615.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 |Published| Journal Article | IST-REx-ID: 9928 | OA
Peruzzo M, Hassani F, Szep G, Trioni A, Redchenko E, Zemlicka M, Fink JM. 2021. Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction. PRX Quantum. 2(4), 040341.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 |Published| Journal Article | IST-REx-ID: 7553 | OA
Mlynarski WF, Hledik M, Sokolowski TR, Tkačik G. 2021. Statistical analysis and optimality of neural systems. Neuron. 109(7), 1227–1241.e5.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 |Submitted| Preprint | IST-REx-ID: 14097 | OA
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 | OA
Dvorak M, Nicholson S. 2021. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Published Version] View | Files available | arXiv
 

2021 |Published| Journal Article | IST-REx-ID: 10545 | OA
Medina Ramos RA, Serbyn M. 2021. Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT). Physical Review A. 104(6), 062423.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 |Published| Journal Article | IST-REx-ID: 10067 | OA
Medina Ramos RA, Vasseur R, Serbyn M. 2021. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 104(10), 104205.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 |Submitted| Preprint | IST-REx-ID: 12077 | OA
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 |Published| Journal Article | IST-REx-ID: 17384
Ren Y, Panetta J, Chen T, Isvoranu F, Poincloux S, Brandt C, Martin A, Pauly M. 2021. 3D weaving with curved ribbons. ACM Transactions on Graphics. 40(4), 1–15.
View | DOI
 

2021 |Published| Journal Article | IST-REx-ID: 17422 | OA
Nilles AQ, Ren Y, Becerra I, LaValle SM. 2021. A visibility-based approach to computing non-deterministic bouncing strategies. The International Journal of Robotics Research. 40(10–11), 1196–1211.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 |Published| Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. Proving non-termination by program reversal. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1033–1048.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Research Data Reference | IST-REx-ID: 15284 | OA
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. RevTerm, Association for Computing Machinery, 10.1145/3410304.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 |Published| Journal Article | IST-REx-ID: 10123 | OA
Liu Y, Calcabrini M, Yu Y, Genç A, Chang C, Costanzo T, Kleinhanns T, Lee S, Llorca J, Cojocaru‐Mirédin O, Ibáñez M. 2021. The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe. Advanced Materials. 33(52), 2106858.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 |Published| Conference Paper | IST-REx-ID: 17505 | OA
Sammler MJ, Lepigre R, Krebbers R, Memarian K, Dreyer D, Garg D. 2021. RefinedC: Automating the foundational verification of C code with refined ownership types. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 158–174.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications