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.
344 Publications
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, doi:10.15479/AT:ISTA:9323.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9387 |
Khudiakova, Kseniia, et al. “Two Linked Loci under Mutation-Selection Balance and Muller’s Ratchet.” Journal of Theoretical Biology, vol. 524, 110729, Elsevier , 2021, doi:10.1016/j.jtbi.2021.110729.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, vol. 29, MIT Press, 2021, pp. 139–52.
[Published Version]
View
| Download Published Version (ext.)
2021 | Submitted | Preprint | IST-REx-ID: 14278 |
Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” ArXiv, 2111.12171, doi:10.48550/ARXIV.2111.12171.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Technical Report | IST-REx-ID: 6995 |
Samarasinghe, Ranmal A., et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol. 24, Springer Nature, 2021, doi:10.1038/s41593-021-00906-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Scientific Software | IST-REx-ID: 9327 |
Sperl, Georg, et al. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria, 2021, doi:10.15479/AT:ISTA:9327.
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9818 |
Sperl, Georg, et al. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics, vol. 40, no. 4, 168, Association for Computing Machinery, 2021, doi:10.1145/3450626.3459816.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2021 | Published | Thesis | IST-REx-ID: 9022 |
Cipolloni, Giorgio. Fluctuations in the Spectrum of Random Matrices. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9022.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10035 |
Klein, Karen. On the Adaptive Security of Graph-Based Games. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10035.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9920 |
Peruzzo, Matilda. Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9920.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10191 |
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10667 |
Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9826 |
Auerbach, Benedikt, et al. “Inverse-Sybil Attacks in Automated Contact Tracing.” Topics in Cryptology – CT-RSA 2021, vol. 12704, Springer Nature, 2021, pp. 399–421, doi:10.1007/978-3-030-75539-3_17.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Avni, Guy, et al. “Infinite-Duration All-Pay Bidding Games.” Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, Society for Industrial and Applied Mathematics, 2021, pp. 617–36, doi:10.1137/1.9781611976465.38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9903 |
Karle, Volker, et al. “Area-Law Entangled Eigenstates from Nullspaces of Local Hamiltonians.” Physical Review Letters, vol. 127, no. 6, 060602, American Physical Society, 2021, doi:10.1103/physrevlett.127.060602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 11458 |
Peste, Elena-Alexandra, AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems 34. 2021
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10429 |
Nadiradze, Giorgi. On Achieving Scalability through Relaxation. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10429.
[Published Version]
View
| Files available
| DOI
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