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 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 |Published| Journal Article | IST-REx-ID: 15141 |
Structure of a type IV CRISPR-Cas ribonucleoprotein complex
Y. Zhou, J.P.K. Bravo, H.N. Taylor, J.A. Steens, R.N. Jackson, R.H.J. Staals, D.W. Taylor, IScience 24 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Zhou, J.P.K. Bravo, H.N. Taylor, J.A. Steens, R.N. Jackson, R.H.J. Staals, D.W. Taylor, IScience 24 (2021).
2021 |Published| Journal Article | IST-REx-ID: 15138 |
Liquid–liquid phase separation underpins the formation of replication factories in rotaviruses
F. Geiger, J. Acker, G. Papa, X. Wang, W.E. Arter, K.L. Saar, N.A. Erkamp, R. Qi, J.P.K. Bravo, S. Strauss, G. Krainer, O.R. Burrone, R. Jungmann, T.P. Knowles, H. Engelke, A. Borodavka, The EMBO Journal 40 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Geiger, J. Acker, G. Papa, X. Wang, W.E. Arter, K.L. Saar, N.A. Erkamp, R. Qi, J.P.K. Bravo, S. Strauss, G. Krainer, O.R. Burrone, R. Jungmann, T.P. Knowles, H. Engelke, A. Borodavka, The EMBO Journal 40 (2021).
2021 |Published| Journal Article | IST-REx-ID: 15137 |
SCOPE enables type III CRISPR-Cas diagnostics using flexible targeting and stringent CARF ribonuclease activation
J.A. Steens, Y. Zhu, D.W. Taylor, J.P.K. Bravo, S.H.P. Prinsen, C.D. Schoen, B.J.F. Keijser, M. Ossendrijver, L.M. Hofstra, S.J.J. Brouns, A. Shinkai, J. van der Oost, R.H.J. Staals, Nature Communications 12 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.A. Steens, Y. Zhu, D.W. Taylor, J.P.K. Bravo, S.H.P. Prinsen, C.D. Schoen, B.J.F. Keijser, M. Ossendrijver, L.M. Hofstra, S.J.J. Brouns, A. Shinkai, J. van der Oost, R.H.J. Staals, Nature Communications 12 (2021).
2021 |Published| Journal Article | IST-REx-ID: 15139 |
Structural basis of rotavirus RNA chaperone displacement and RNA annealing
J.P.K. Bravo, K. Bartnik, L. Venditti, J. Acker, E.H. Gail, A. Colyer, C. Davidovich, D.C. Lamb, R. Tuma, A.N. Calabrese, A. Borodavka, Proceedings of the National Academy of Sciences 118 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.P.K. Bravo, K. Bartnik, L. Venditti, J. Acker, E.H. Gail, A. Colyer, C. Davidovich, D.C. Lamb, R. Tuma, A.N. Calabrese, A. Borodavka, Proceedings of the National Academy of Sciences 118 (2021).
2021 |Published| Journal Article | IST-REx-ID: 15140 |
Remdesivir is a delayed translocation inhibitor of SARS-CoV-2 replication
J.P.K. Bravo, T.L. Dangerfield, D.W. Taylor, K.A. Johnson, Molecular Cell 81 (2021) 1548–1552.e4.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
J.P.K. Bravo, T.L. Dangerfield, D.W. Taylor, K.A. Johnson, Molecular Cell 81 (2021) 1548–1552.e4.
2021 |Published| Journal Article | IST-REx-ID: 17132 |
What we can and what we cannot see with extracellular multielectrodes
C. Chintaluri, M. Bejtka, W. Średniawa, M. Czerwiński, J.M. Dzik, J. Jędrzejewska-Szmek, K. Kondrakiewicz, E. Kublik, D.K. Wójcik, PLOS Computational Biology 17 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Chintaluri, M. Bejtka, W. Średniawa, M. Czerwiński, J.M. Dzik, J. Jędrzejewska-Szmek, K. Kondrakiewicz, E. Kublik, D.K. Wójcik, PLOS Computational Biology 17 (2021).
2021 |Published| Journal Article | IST-REx-ID: 9928 |
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
2021 |Published| Journal Article | IST-REx-ID: 7553 |
Statistical analysis and optimality of neural systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
2021 |Submitted| Preprint | IST-REx-ID: 14097 |
Science with the ultraviolet explorer (UVEX)
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
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.
2021 |Published| Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG, 2021.
[Published Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG, 2021.
2021 |Published| Journal Article | IST-REx-ID: 10545 |
Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT)
R.A. Medina Ramos, M. Serbyn, Physical Review A 104 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R.A. Medina Ramos, M. Serbyn, Physical Review A 104 (2021).
2021 |Published| Journal Article | IST-REx-ID: 10067 |
Entanglement transitions from restricted Boltzmann machines
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).
2021 |Submitted| Preprint | IST-REx-ID: 12077 |
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 |Published| Journal Article | IST-REx-ID: 17384
3D weaving with curved ribbons
Y. Ren, J. Panetta, T. Chen, F. Isvoranu, S. Poincloux, C. Brandt, A. Martin, M. Pauly, ACM Transactions on Graphics 40 (2021) 1–15.
View
| DOI
Y. Ren, J. Panetta, T. Chen, F. Isvoranu, S. Poincloux, C. Brandt, A. Martin, M. Pauly, ACM Transactions on Graphics 40 (2021) 1–15.
2021 |Published| Journal Article | IST-REx-ID: 17422 |
A visibility-based approach to computing non-deterministic bouncing strategies
A.Q. Nilles, Y. Ren, I. Becerra, S.M. LaValle, The International Journal of Robotics Research 40 (2021) 1196–1211.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.Q. Nilles, Y. Ren, I. Becerra, S.M. LaValle, The International Journal of Robotics Research 40 (2021) 1196–1211.
2021 |Published| Conference Paper | IST-REx-ID: 9644 |
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
2021 | Research Data Reference | IST-REx-ID: 15284 |
RevTerm
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).
2021 |Published| Journal Article | IST-REx-ID: 10123 |
The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Calcabrini, Y. Yu, A. Genç, C. Chang, T. Costanzo, T. Kleinhanns, S. Lee, J. Llorca, O. Cojocaru‐Mirédin, M. Ibáñez, Advanced Materials 33 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 17505 |
RefinedC: Automating the foundational verification of C code with refined ownership types
M.J. Sammler, R. Lepigre, R. Krebbers, K. Memarian, D. Dreyer, D. Garg, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 158–174.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.J. Sammler, R. Lepigre, R. Krebbers, K. Memarian, D. Dreyer, D. Garg, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 158–174.