Dubach, Guillaume. “On Eigenvector Statistics in the Spherical and Truncated Unitary Ensembles.”https://doi.org/10.1214/21-EJP686__Electronic Journal of Probability. Institute of Mathematical Statistics, 2021.https://doi.org/10.1214/21-EJP686 .
LibreCat: https://research-explorer.ista.ac.at/record/10285
DOI: 10.1214/21-EJP686

Ilharco, Cesar, Afsaneh Shirazi, Arjun Gopalan, Arsha Nagrani, Blae Bratanid, Chris Bregler, Christina Liu, et al. “Recognizing Multimodal Entailment.”https://doi.org/10.18653/v1/2021.acl-tutorials.6__In 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, 29–30. Association for Computational Linguistics, 2021.https://doi.org/10.18653/v1/2021.acl-tutorials.6 .
LibreCat: https://research-explorer.ista.ac.at/record/10367
DOI: 10.18653/v1/2021.acl-tutorials.6

Browning, Timothy D. Cubic Forms and the Circle Method. Vol. 343. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-86872-7 .
LibreCat: https://research-explorer.ista.ac.at/record/10415
DOI: 10.1007/978-3-030-86872-7

Bodova, Katarina, Eniko Szep, and Nicholas H Barton. “Dynamic Maximum Entropy Provides Accurate Approximation of Structured Population Dynamics.”https://doi.org/10.1371/journal.pcbi.1009661__PLoS Computational Biology. Public Library of Science, 2021.https://doi.org/10.1371/journal.pcbi.1009661 .
LibreCat: https://research-explorer.ista.ac.at/record/10535
DOI: 10.1371/journal.pcbi.1009661
PMID: 34851948
arXiv: 2102.03669

Kolmogorov, Vladimir, and Thomas Pock. “One-Sided Frank-Wolfe Algorithms for Saddle Problems.” In 38th International Conference on Machine Learning, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10552
arXiv: 2101.12617

Nguyen, Quynh, Marco Mondelli, and Guido F Montufar. “Tight Bounds on the Smallest Eigenvalue of the Neural Tangent Kernel for Deep ReLU Networks.” In Proceedings of the 38th International Conference on Machine Learning, edited by Marina Meila and Tong Zhang, 139:8119–29. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10595
arXiv: 2012.11654

Hashemi, Seyyed Ali, Marco Mondelli, John Cioffi, and Andrea Goldsmith. “Successive Syndrome-Check Decoding of Polar Codes.”https://doi.org/10.1109/IEEECONF53345.2021.9723394__In Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, 2021–October:943–47. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/IEEECONF53345.2021.9723394 .
LibreCat: https://research-explorer.ista.ac.at/record/10599
DOI: 10.1109/IEEECONF53345.2021.9723394
arXiv: 2112.00057

Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium Fluctuations of Interacting Particle Systems.” Markov Processes And Related Fields. Polymat Publishing, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10613
arXiv: 2008.13403

Arrighi, Emmanuel, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismael R Jecker, Mateus De Oliveira Oliveira, and Petra Wolf. “On the Complexity of Intersection Non-Emptiness for Star-Free Language Classes.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34 .
LibreCat: https://research-explorer.ista.ac.at/record/10630
DOI: 10.4230/LIPIcs.FSTTCS.2021.34
arXiv: 2110.01279

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Quantitative Verification on Product Graphs of Small Treewidth.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42 .
LibreCat: https://research-explorer.ista.ac.at/record/10629
DOI: 10.4230/LIPIcs.FSTTCS.2021.42

Nardin, Michele, James W. Phillips, William F. Podlaski, and Sander W. Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.”https://doi.org/10.24072/pcjournal.69__Peer Community Journal. Centre Mersennef; Peer Community In, 2021.https://doi.org/10.24072/pcjournal.69 .
LibreCat: https://research-explorer.ista.ac.at/record/10635
DOI: 10.24072/pcjournal.69
arXiv: 2009.03857

Simbierowicz, Slawomir, Chunyan Shi, Michele Collodo, Moritz Kirste, Farid Hassani, Johannes M Fink, Jonas Bylander, Daniel Perez Lozano, and Russell Lake. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10645

Lake, Russell, Slawomir Simbierowicz, Philip Krantz, Farid Hassani, and Johannes M Fink. The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10644

Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.”https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23__In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021.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

Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.”https://doi.org/10.1137/1.9781611976465.38__In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021.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, Petr, Karel Horák, Aditya Aradhye, Branislav Bosanský, and Krishnendu Chatterjee. “Solving Partially Observable Stochastic Shortest-Path Games.”https://doi.org/10.24963/ijcai.2021/575__In 30th International Joint Conference on Artificial Intelligence, 4182–89. International Joint Conferences on Artificial Intelligence, 2021.https://doi.org/10.24963/ijcai.2021/575 .
LibreCat: https://research-explorer.ista.ac.at/record/10847
DOI: 10.24963/ijcai.2021/575