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.
6978 Publications
2021 |Published| Thesis | IST-REx-ID: 9056 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Osang GF. 2021. Multi-cover persistence and Delaunay mosaics. Klosterneuburg: Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Thesis | IST-REx-ID: 9022 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 9416 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phuong M, Lampert C. 2021. The inductive bias of ReLU networks on orthogonally separable data. 9th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 9225 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feliciangeli D, Rademacher SAE, Seiringer R. 2021. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 111, 19.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Submitted| Preprint | IST-REx-ID: 9787 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv, 2101.12566.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9987 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless model checking under a reads-value-from equivalence. 33rd International Conference on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol. 12759, 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |Published| Thesis | IST-REx-ID: 10007 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 10191 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. 2021. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 5(OOPSLA), 164.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10013 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv, 2108.01733.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Thesis | IST-REx-ID: 10030 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Portinale L. 2021. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Thesis | IST-REx-ID: 9920 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Peruzzo M. 2021. Geometric superinductors and their applications in circuit quantum electrodynamics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10432 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nadiradze G, Markov I, Chatterjee B, Kungurtsev V, Alistarh D-A. 2021. Elastic consistency: A practical consistency model for distributed stochastic gradient descent. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence vol. 35, 9037–9045.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10041 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. 2021. Limits on the Adaptive Security of Yao’s Garbling. 41st Annual International Cryptology Conference, Part II . CRYPTO: Annual International Cryptology Conference, LCNS, vol. 12826, 486–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10049 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Klein K, Pascual Perez G, Walter M, Kamath Hosdurg C, Capretto M, Cueto Noval M, Markov I, Yeo MX, Alwen JF, Pietrzak KZ. 2021. Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement. 2021 IEEE Symposium on Security and Privacy . SP: Symposium on Security and Privacy, 268–284.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10044 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg C, Klein K, Pietrzak KZ. 2021. On treewidth, separators and Yao’s garbling. 19th Theory of Cryptography Conference 2021. TCC: Theory of Cryptography Conference, 2021/926.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2021 |Submitted| Preprint | IST-REx-ID: 10803 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Konstantinov NH, Lampert C. Fairness through regularization for learning to rank. arXiv, 2102.05996.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10762 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Thesis | IST-REx-ID: 9418 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phuong M. 2021. Underspecification in deep learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Thesis | IST-REx-ID: 10199 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Toman V. 2021. Improved verification techniques for concurrent systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. 2021. Input-dynamic distributed algorithms for communication networks. Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems. SIGMETRICS: International Conference on Measurement and Modeling of Computer Systems, 71–72.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv