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.

731 Publications


2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10668 | OA
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.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
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.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
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.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” 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.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10692 | OA
Polshyn, Hryhoriy, Jihang Zhu, Manish Kumar, Yuxuan Zhang, Fangyuan Yang, Charles Tschirhart, Marec Serlin, et al. “Orbital Chern Insulator States in Twisted Monolayer-Bilayer Graphene and Electrical Switching of Topological and Magnetic Order.” In APS March Meeting 2021, Vol. 66. American Physical Society, 2021.
[Published Version] View | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10711 | OA
Autissier, Pascal, Dante Bonolis, and Youness Lamzouri. “The Distribution of the Maximum of Partial Sums of Kloosterman Sums and Other Trace Functions.” Compositio Mathematica. Cambridge University Press, 2021. https://doi.org/10.1112/s0010437x21007351.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10738 | OA
Leopold, Nikolai K, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “ The Landau–Pekar Equations: Adiabatic Theorem and Accuracy.” Analysis and PDE. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/APDE.2021.14.2079.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Draft | Preprint | IST-REx-ID: 10762 | OA
Rzadkowski, Wojciech, Mikhail Lemeshko, and Johan H. Mentink. “Artificial Neural Network States for Non-Additive Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2105.15193.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Draft | Preprint | IST-REx-ID: 10803 | OA
Konstantinov, Nikola H, and Christoph Lampert. “Fairness through Regularization for Learning to Rank.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2102.05996.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10806 | OA
Calcabrini, Mariano, Dietger Van den Eynden, Sergi Sanchez Ribot, Rohan Pokratath, Jordi Llorca, Jonathan De Roo, and Maria Ibáñez. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.” JACS Au. American Chemical Society, 2021. https://doi.org/10.1021/jacsau.1c00349.
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10809
Liu, Yu, and Maria Ibáñez. “Tidying up the Mess.” Science. American Association for the Advancement of Science, 2021. https://doi.org/10.1126/science.abg0886.
View | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 17384
Ren, Yingying, Julian Panetta, Tian Chen, Florin Isvoranu, Samuel Poincloux, Christopher Brandt, Alison Martin, and Mark Pauly. “3D Weaving with Curved Ribbons.” ACM Transactions on Graphics. Association for Computing Machinery, 2021. https://doi.org/10.1145/3450626.3459788.
View | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 17422 | OA
Nilles, Alexandra Q, Yingying Ren, Israel Becerra, and Steven M LaValle. “A Visibility-Based Approach to Computing Non-Deterministic Bouncing Strategies.” The International Journal of Robotics Research. SAGE Publications, 2021. https://doi.org/10.1177/0278364921992788.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 17505 | OA
Sammler, Michael Joachim, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg. “RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 158–74. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454036.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 17508 | OA
Gurvits LI, Paragi Z, Casasola V, Conway J, Davelaar J, Falcke H, Fender R, Frey S, Fromm CM, Miró CG, Garrett MA, Giroletti M, Goddi C, Gómez J-L, van der Gucht J, Guirado JC, Haiman Z, Helmich F, Humphreys E, Impellizzeri V, Kramer M, Lindqvist M, Linz H, Liuzzo E, Lobanov AP, Mizuno Y, Rezzolla L, Roelofs F, Ros E, Rygl KLJ, Savolainen T, Schuster K, Venturi T, Wiedner MC, Zensus JA. 2021. THEZA: TeraHertz exploration and zooming-in for astrophysics. Experimental Astronomy. 51(3), 559–594.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 17509 | OA
Tagawa, Hiromichi, Bence Kocsis, Zoltán Haiman, Imre Bartos, Kazuyuki Omukai, and Johan Samsing. “Mass-Gap Mergers in Active Galactic Nuclei.” The Astrophysical Journal. American Astronomical Society, 2021. https://doi.org/10.3847/1538-4357/abd555.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 17515 | OA
Perna, Rosalba, Hiromichi Tagawa, Zoltán Haiman, and Imre Bartos. “Accretion-Induced Collapse of Neutron Stars in the Disks of Active Galactic Nuclei.” The Astrophysical Journal. American Astronomical Society, 2021. https://doi.org/10.3847/1538-4357/abfdb4.
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Published | Journal Article | IST-REx-ID: 17516 | OA
Osato, Ken, Jia Liu, and Zoltán Haiman. “ΚTNG: Effect of Baryonic Processes on Weak Lensing with IllustrisTNG Simulations.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab395.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2021

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed