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.
6908 Publications
2021 | Draft | Preprint | IST-REx-ID: 12077 | 
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 12076 |
Shute AL. Sums of four squareful numbers. arXiv, 2104.06966.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nardin, Michele, Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal 1. 2021
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 10762 |
Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for non-additive systems. arXiv, 10.48550/arXiv.2105.15193.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 10803 |
Konstantinov NH, Lampert C. Fairness through regularization for learning to rank. arXiv, 2102.05996.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
Chatterjee K, Goharshady E, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic proof rules for probabilistic termination. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9644 |
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. Proving non-termination by program reversal. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Avni G, Jecker IR, Zikelic D. 2021. Infinite-duration all-pay bidding games. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10667 |
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9118 |
Calcabrini M, Genc A, Liu Y, Kleinhanns T, Lee S, Dirin DN, Akkerman QA, Kovalenko MV, Arbiol J, Ibáñez M. 2021. Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites. ACS Energy Letters. 6(2), 581–587.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Research Data Reference | IST-REx-ID: 13057 |
Peruzzo M, Hassani F, Szep G, Trioni A, Redchenko E, Zemlicka M, Fink JM. 2021. Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction, Zenodo, 10.5281/ZENODO.5592103.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Journal Article | IST-REx-ID: 8373 |
Pitrik J, Virosztek D. 2021. A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and its Applications. 609, 203–217.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10221 |
Cipolloni G, Erdös L, Schröder DJ. 2021. Eigenstate thermalization hypothesis for Wigner matrices. Communications in Mathematical Physics. 388(2), 1005–1048.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9121 |
Lauritsen AB. 2021. The BCS energy gap at low density. Letters in Mathematical Physics. 111, 20.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9998 |
Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. 27(5), 87.
[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 NP, Nam PT, Porta M, Schlein B, Seiringer R. 2021. Correlation energy of a weakly interacting Fermi gas. Inventiones Mathematicae. 225, 885–979.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9234 |
Izuchukwu C, Shehu Y. 2021. New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. 21(2), 291–323.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8196 |
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. 2021. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. 22, 2627–2653.
[Published Version]
View
| Files available
| DOI
| WoS