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 |
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10671 |
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10688 |
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 |
Conference Paper |
IST-REx-ID: 10692 |
Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 |
Published |
Journal Article |
IST-REx-ID: 10711 |
The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.
2021 |
Published |
Journal Article |
IST-REx-ID: 10738 |
The Landau–Pekar equations: Adiabatic theorem and accuracy
N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100.
2021 |
Draft |
Preprint |
IST-REx-ID: 10762 |
Artificial neural network states for non-additive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
2021 |
Draft |
Preprint |
IST-REx-ID: 10803 |
Fairness through regularization for learning to rank
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
2021 |
Published |
Journal Article |
IST-REx-ID: 10806 |
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
2021 |
Published |
Journal Article |
IST-REx-ID: 10809
Tidying up the mess
Y. Liu, M. Ibáñez, Science 371 (2021) 678–679.
View
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Ibáñez, Science 371 (2021) 678–679.
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: 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.
2021 |
Published |
Journal Article |
IST-REx-ID: 17508 |
THEZA: TeraHertz exploration and zooming-in for astrophysics
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.)
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.
2021 |
Published |
Journal Article |
IST-REx-ID: 17509 |
Mass-gap mergers in active galactic nuclei
H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical Journal 908 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical Journal 908 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 17515 |
Accretion-induced collapse of neutron stars in the disks of active galactic nuclei
R. Perna, H. Tagawa, Z. Haiman, I. Bartos, The Astrophysical Journal 915 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Perna, H. Tagawa, Z. Haiman, I. Bartos, The Astrophysical Journal 915 (2021).
2021 |
Published |
Journal Article |
IST-REx-ID: 17516 |
κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations
K. Osato, J. Liu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 502 (2021) 5593–5602.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Osato, J. Liu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 502 (2021) 5593–5602.