Naibert, T. R., Polshyn, H., Garrido-Menacho, R., Durkin, M., Wolin, B., Chua, V.,https://doi.org/10.1103/physrevb.103.224526__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 
LibreCat: https://research-explorer.ista.ac.at/record/10649
DOI: 10.1103/physrevb.103.224526
arXiv: 1705.08956

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.
LibreCat: https://research-explorer.ista.ac.at/record/10645

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.
LibreCat: https://research-explorer.ista.ac.at/record/10644

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.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

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.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

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.
LibreCat: https://research-explorer.ista.ac.at/record/10668

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.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

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 
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

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.
LibreCat: https://research-explorer.ista.ac.at/record/10692

Avni, G., Jecker, I. R., &; Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611976465.38 
LibreCat: https://research-explorer.ista.ac.at/record/10694
DOI: 10.1137/1.9781611976465.38
arXiv: 2005.06636

Tomásek, P., Horák, K., Aradhye, A., Bosanský, B., &; Chatterjee, K. (2021). Solving partially observable stochastic shortest-path games. In 30th International Joint Conference on Artificial Intelligence (pp. 4182–4189). Virtual, Online: International Joint Conferences on Artificial Intelligence.https://doi.org/10.24963/ijcai.2021/575 
LibreCat: https://research-explorer.ista.ac.at/record/10847
DOI: 10.24963/ijcai.2021/575

Fedorov, A., Koval, N., &; Alistarh, D.-A. (2021). A scalable concurrent algorithm for dynamic connectivity. In Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures (pp. 208–220). Virtual, Online: Association for Computing Machinery.https://doi.org/10.1145/3409964.3461810 
LibreCat: https://research-explorer.ista.ac.at/record/10853
DOI: 10.1145/3409964.3461810
arXiv: 2105.08098

Lombardi, F., Pepic, S., Shriki, O., Tkadik, G., &; De Martino, D. (n.d.). Quantifying the coexistence of neuronal oscillations and avalanches. arXiv.https://doi.org/10.48550/ARXIV.2108.06686 
LibreCat: https://research-explorer.ista.ac.at/record/10912
DOI: 10.48550/ARXIV.2108.06686
arXiv: 2108.06686

Shadel, G. S., Adams, P. D., Berggren, W. T., Diedrich, J. K., Diffenderfer, K. E., Gage, F. H.,https://doi.org/10.1007/s11357-021-00426-x__Zambetti, S. (2021). The San Diego Nathan Shock Center: Tackling the heterogeneity of aging. GeroScience. Springer Nature.https://doi.org/10.1007/s11357-021-00426-x 
LibreCat: https://research-explorer.ista.ac.at/record/11053
DOI: 10.1007/s11357-021-00426-x
PMID: 34370163

Krishna, S., Arrojo e Drigo, R., Capitanio, J. S., Ramachandra, R., Ellisman, M., &; Hetzer, M. (2021). Identification of long-lived proteins in the mitochondria reveals increased stability of the electron transport chain. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2021.10.008 
LibreCat: https://research-explorer.ista.ac.at/record/11052
DOI: 10.1016/j.devcel.2021.10.008
PMID: 34715012

Kungurtsev, V., Egan, M., Chatterjee, B., &; Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/11436
arXiv: 1905.11845

Braun, L., &; Vogels, T. P. (2021). Online learning of neural computations from sparse temporal feedback. In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems (Vol. 20, pp. 16437–16450). Virtual, Online: Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/11453

Alimisis, F., Davies, P., Vandereycken, B., &; Alistarh, D.-A. (2021). Distributed principal component analysis with limited communication. In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems (Vol. 4, pp. 2823–2834). Virtual, Online: Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/11452
arXiv: 2110.14391

Frantar, E., Kurtic, E., &; Alistarh, D.-A. (2021). M-FAC: Efficient matrix-free approximations of second-order information. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 14873–14886). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11463
arXiv: 2010.08222

Alistarh, D.-A., &; Korhonen, J. (2021). Towards tight communication lower bounds for distributed optimisation. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 7254–7266). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11464
arXiv: 2010.08222