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.
405 Publications
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: 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 | Thesis | IST-REx-ID: 9022 |
Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10191 |
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 | Research Data | IST-REx-ID: 9192 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2021. 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, 10.15479/AT:ISTA:9192.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 9826 |
Auerbach B, Chakraborty S, Klein K, Pascual Perez G, Pietrzak KZ, Walter M, Yeo MX. 2021. Inverse-Sybil attacks in automated contact tracing. Topics in Cryptology – CT-RSA 2021. CT-RSA: Cryptographers’ Track at the RSA Conference, LNCS, vol. 12704, 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 11458 |
Krumes A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 34, 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nardin M, Phillips JW, Podlaski WF, Keemink SW. 2021. Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. 1, e68.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9733 |
Feliciangeli D. 2021. The polaron at strong coupling. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Dvorak M, Nicholson S. 2021. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Published Version]
View
| Files available
| arXiv
2021 | Published | 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.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9920 |
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: 10668 |
Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. 2021. On-off center-surround receptive fields for accurate and robust image classification. Proceedings of the 38th International Conference on Machine Learning. ML: Machine Learning, PMLR, vol. 139, 478–489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10199 |
Toman V. 2021. Improved verification techniques for concurrent systems. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Published | 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. 127(6), 060602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10429 |
Nadiradze G. 2021. On achieving scalability through relaxation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Research Data | IST-REx-ID: 9389 |
Valentini M. 2021. Research data for ‘Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:9389.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9387 |
Khudiakova K, Neretina TY, Kondrashov AS. 2021. Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. 524, 110729.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Research Data | IST-REx-ID: 9323 |
Jirovec D. 2021. Research data for ‘A singlet-triplet hole spin qubit planar Ge’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:9323.
[Published Version]
View
| Files available
| DOI