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.
8915 Publications
2021 | Published | Journal Article | IST-REx-ID: 10617 | 
Polshyn, H., Zhang, Y., Kumar, M. A., Soejima, T., Ledwith, P., Watanabe, K., … Young, A. F. (2021). Topological charge density waves at half-integer filling of a moiré superlattice. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-021-01418-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10628 |
Ghazaryan, A., Nica, E. M., Erten, O., & Ghaemi, P. (2021). Shadow surface states in topological Kondo insulators. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ac4124
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10629 |
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Quantitative verification on product graphs of small treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10630 |
Arrighi, E., Fernau, H., Hoffmann, S., Holzer, M., Jecker, I. R., De Oliveira Oliveira, M., & Wolf, P. (2021). On the complexity of intersection non-emptiness for star-free language classes. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10631 |
Cherepanov, I., Bighin, G., Schouder, C. A., Chatterley, A. S., Albrechtsen, S. H., Muñoz, A. V., … Lemeshko, M. (2021). Excited rotational states of molecules in a superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.104.L061303
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (2021). Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. Centre Mersenne ; Peer Community In. https://doi.org/10.24072/pcjournal.69
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Other Publication | IST-REx-ID: 10644 |
Lake, R., Simbierowicz, S., Krantz, P., Hassani, F., & Fink, J. M. (2021). The Bluefors dilution refrigerator as an integrated quantum measurement system. Helsinki, Finland: Bluefors Oy.
[Published Version]
View
| Download Published Version (ext.)
2021 | Published | Other Publication | IST-REx-ID: 10645 |
Simbierowicz, S., Shi, C., Collodo, M., Kirste, M., Hassani, F., Fink, J. M., … Lake, R. (2021). Qubit energy-relaxation statistics in the Bluefors quantum measurement system. Helsinki, Finland: Bluefors Oy.
[Published Version]
View
| Download Published Version (ext.)
2021 | Published | Journal Article | IST-REx-ID: 10649 |
Naibert, T. R., Polshyn, H., Garrido-Menacho, R., Durkin, M., Wolin, B., Chua, V., … Budakian, R. (2021). Imaging and controlling vortex dynamics in mesoscopic superconductor-normal-metal-superconductor arrays. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.103.224526
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10651 |
Tschirhart, C., Serlin, M., Polshyn, H., Shragai, A. G., Xia, Z., Zhu, J., … Young, A. (2021). Probing orbital Chern ferromagnet phase in twisted bilayer graphene. In APS March Meeting 2021 (Vol. 66). Virtual, United States: American Physical Society.
View
| Download None (ext.)
2021 | Published | Journal Article | IST-REx-ID: 10655 |
Maes, M. E., Wögenstein, G. M., Colombo, G., Casado Polanco, R., & Siegert, S. (2021). Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment. Molecular Therapy - Methods and Clinical Development. Elsevier. https://doi.org/10.1016/j.omtm.2021.09.006
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10666 |
Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China. https://doi.org/10.1109/ICRA48506.2021.9561036
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10668 |
Babaiee, Z., Hasani, R., Lechner, M., Rus, D., & Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Aghajohari, M., Avni, G., & Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.23638/LMCS-17(1:10)2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica & M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10692 |
Polshyn, H., Zhu, J., Kumar, M., Zhang, Y., Yang, F., Tschirhart, C., … Young, A. (2021). Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order. In APS March Meeting 2021 (Vol. 66). Virtual: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2021 | Published | Journal Article | IST-REx-ID: 10711 |
Autissier, P., Bonolis, D., & Lamzouri, Y. (2021). The distribution of the maximum of partial sums of Kloosterman sums and other trace functions. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/s0010437x21007351
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv