Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
239 Publications
2021 | Conference Paper | IST-REx-ID: 9356 |
Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9558 |
Yalniz, G., Hof, B., & Budanur, N. B. (2021). Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.126.244502
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9818 |
Sperl, G., Narain, R., & Wojtan, C. (2021). Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3450626.3459816
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2021 | Scientific Software | IST-REx-ID: 9327 |
Sperl, G., Narain, R., & Wojtan, C. (2021). Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria. https://doi.org/10.15479/AT:ISTA:9327
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9891 |
Lauritsen, A. B. (2021). Floating Wigner crystal and periodic jellium configurations. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0053494
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9903 |
Karle, V., Serbyn, M., & Michailidis, A. (2021). Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.127.060602
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Conference Paper | IST-REx-ID: 10666 |
Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China. https://doi.org/10.1109/ICRA48506.2021.9561036
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9121 |
Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01358-5
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Thesis | IST-REx-ID: 9056 |
Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9022 |
Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 9416 |
Phuong, M., & Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 | Thesis | IST-REx-ID: 10007 |
Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10191 |
Bui, T. L., 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. Association for Computing Machinery. https://doi.org/10.1145/3485541
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Thesis | IST-REx-ID: 10030 |
Portinale, L. (2021). Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10030
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9920 |
Peruzzo, M. (2021). Geometric superinductors and their applications in circuit quantum electrodynamics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9920
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10422 |
Piankov, A. (2021). Towards designer materials using customizable particle shape. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10422
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9418 |
Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418
[Published Version]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 14278 |
Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. https://doi.org/10.48550/ARXIV.2111.12171
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Thesis | IST-REx-ID: 10199 |
Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10199
[Published Version]
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 10035 |
Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035
[Published Version]
View
| Files available
| DOI