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.
289 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9356 | 
Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470547.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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: 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 | Conference Paper | IST-REx-ID: 10666 |
Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.” In 2021 IEEE International Conference on Robotics and Automation, 4140–47. ICRA, 2021. https://doi.org/10.1109/ICRA48506.2021.9561036.
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9022 |
Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9022.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9056 |
Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9056.
[Published Version]
View
| Files available
| DOI
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 | Research Data | IST-REx-ID: 9192 |
Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9192.
[Published Version]
View
| Files available
| DOI
2021 | Research Data | IST-REx-ID: 9323 |
Jirovec, Daniel. “Research Data for ‘A Singlet-Triplet Hole Spin Qubit Planar Ge.’” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9323.
[Published Version]
View
| Files available
| DOI
2021 | Scientific Software | IST-REx-ID: 9327 |
Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data).” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:9327.
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9387 |
Khudiakova, Kseniia, Tatiana Yu. Neretina, and Alexey S. Kondrashov. “Two Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” Journal of Theoretical Biology. Elsevier , 2021. https://doi.org/10.1016/j.jtbi.2021.110729.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Research Data | IST-REx-ID: 9389 |
Valentini, Marco. “Research Data for ‘Non-Topological Zero Bias Peaks in Full-Shell Nanowires Induced by Flux Tunable Andreev States.’” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9389.
[Published Version]
View
| Files available
| DOI
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” In Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, 29:139–52. Strüngmann Forum Reports. MIT Press, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 9416 |
Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” In 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 | Published | Thesis | IST-REx-ID: 9418 |
Phuong, Mary. “Underspecification in Deep Learning.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9418.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9558 |
Yalniz, Gökhan, Björn Hof, and Nazmi B Budanur. “Coarse Graining the State Space of a Turbulent Flow Using Periodic Orbits.” Physical Review Letters. American Physical Society, 2021. https://doi.org/10.1103/PhysRevLett.126.244502.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” In Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG, 2021.
[Published Version]
View
| Files available
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9733 |
Feliciangeli, Dario. “The Polaron at Strong Coupling.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:9733.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9760 |
Sack, Stefan, and Maksym Serbyn. “Quantum Annealing Initialization of the Quantum Approximate Optimization Algorithm.” Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2021. https://doi.org/10.22331/Q-2021-07-01-491.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9818 |
Sperl, Georg, Rahul Narain, and Chris Wojtan. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics. Association for Computing Machinery, 2021. https://doi.org/10.1145/3450626.3459816.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS