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.
10590 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10665 | 
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: 10694 |
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 | Conference Paper | IST-REx-ID: 10667 |
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9118 |
Calcabrini, Mariano, Aziz Genc, Yu Liu, Tobias Kleinhanns, Seungho Lee, Dmitry N. Dirin, Quinten A. Akkerman, Maksym V. Kovalenko, Jordi Arbiol, and Maria Ibáñez. “Exploiting the Lability of Metal Halide Perovskites for Doping Semiconductor Nanocomposites.” ACS Energy Letters. American Chemical Society, 2021. https://doi.org/10.1021/acsenergylett.0c02448.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Research Data Reference | IST-REx-ID: 13057 |
Peruzzo, Matilda, Farid Hassani, Grisha Szep, Andrea Trioni, Elena Redchenko, Martin Zemlicka, and Johannes M Fink. “Geometric Superinductance Qubits: Controlling Phase Delocalization across a Single Josephson Junction.” Zenodo, 2021. https://doi.org/10.5281/ZENODO.5592103.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Journal Article | IST-REx-ID: 8373 |
Pitrik, József, and Daniel Virosztek. “A Divergence Center Interpretation of General Symmetric Kubo-Ando Means, and Related Weighted Multivariate Operator Means.” Linear Algebra and Its Applications. Elsevier, 2021. https://doi.org/10.1016/j.laa.2020.09.007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10221 |
Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Eigenstate Thermalization Hypothesis for Wigner Matrices.” Communications in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s00220-021-04239-z.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9121 |
Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” Letters in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s11005-021-01358-5.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9998 |
Koroteev, Peter, Petr Pushkar, Andrey V. Smirnov, and Anton M. Zeitlin. “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” Selecta Mathematica. Springer Nature, 2021. https://doi.org/10.1007/s00029-021-00698-3.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8816 |
Runkel, Ingo, Area-dependent quantum field theory. Communications in Mathematical Physics 381 (1). 2021
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 7901 |
Benedikter, Niels P, Phan Thành Nam, Marcello Porta, Benjamin Schlein, and Robert Seiringer. “Correlation Energy of a Weakly Interacting Fermi Gas.” Inventiones Mathematicae. Springer, 2021. https://doi.org/10.1007/s00222-021-01041-5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9234 |
Izuchukwu, Chinedu, and Yekini Shehu. “New Inertial Projection Methods for Solving Multivalued Variational Inequality Problems beyond Monotonicity.” Networks and Spatial Economics. Springer Nature, 2021. https://doi.org/10.1007/s11067-021-09517-w.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8196 |
Shehu, Yekini, Qiao-Li Dong, Lu-Lu Liu, and Jen-Chih Yao. “New Strong Convergence Method for the Sum of Two Maximal Monotone Operators.” Optimization and Engineering. Springer Nature, 2021. https://doi.org/10.1007/s11081-020-09544-5.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 7925 |
Shehu, Yekini, and Aviv Gibali. “New Inertial Relaxed Method for Solving Split Feasibilities.” Optimization Letters. Springer Nature, 2021. https://doi.org/10.1007/s11590-020-01603-1.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 7905 |
Brown, Adam, and Bei Wang. “Sheaf-Theoretic Stratification Learning from Geometric and Topological Perspectives.” Discrete and Computational Geometry. Springer Nature, 2021. https://doi.org/10.1007/s00454-020-00206-y.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10007 |
Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 7939 |
Censor-Hillel, Keren, Michal Dory, Janne Korhonen, and Dean Leitersdorf. “Fast Approximate Shortest Paths in the Congested Clique.” Distributed Computing. Springer Nature, 2021. https://doi.org/10.1007/s00446-020-00380-5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10806 |
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: 10123 |
Liu, Yu, Mariano Calcabrini, Yuan Yu, Aziz Genç, Cheng Chang, Tommaso Costanzo, Tobias Kleinhanns, et al. “The Importance of Surface Adsorbates in Solution‐processed Thermoelectric Materials: The Case of SnSe.” Advanced Materials. Wiley, 2021. https://doi.org/10.1002/adma.202106858.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9158 |
De Nicola, Stefano. “Disentanglement Approach to Quantum Spin Ground States: Field Theory and Stochastic Simulation.” Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing, 2021. https://doi.org/10.1088/1742-5468/abc7c7.
[Published Version]
View
| Files available
| DOI
| WoS