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.
305 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Published | Journal Article | IST-REx-ID: 9558 |
Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG, 2021.
[Published Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9818 |
Mechanics-aware deformation of yarn pattern geometry
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9826 |
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
2021 | Published | Journal Article | IST-REx-ID: 9891 |
Floating Wigner crystal and periodic jellium configurations
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9903 |
Area-law entangled eigenstates from nullspaces of local Hamiltonians
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9121 |
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
2021 | Research Data | IST-REx-ID: 9192 |
Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2021).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, (2021).
2021 | Research Data | IST-REx-ID: 9323 |
Research data for "A singlet-triplet hole spin qubit planar Ge"
D. Jirovec, (2021).
[Published Version]
View
| Files available
| DOI
D. Jirovec, (2021).
2021 | Scientific Software | IST-REx-ID: 9327 |
Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)
G. Sperl, R. Narain, C. Wojtan, (2021).
View
| Files available
| DOI
G. Sperl, R. Narain, C. Wojtan, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9356 |
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9387 |
Two linked loci under mutation-selection balance and Muller’s ratchet
K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).
2021 | Research Data | IST-REx-ID: 9389 |
Research data for "Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states"
M. Valentini, (2021).
[Published Version]
View
| Files available
| DOI
M. Valentini, (2021).
2021 | Book Chapter | IST-REx-ID: 9403 |
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 | Published | Conference Paper | IST-REx-ID: 9416 |
The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.
2021 | Published | Thesis | IST-REx-ID: 9418 |
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.