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.




305 Publications

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9558 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 9592 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9818 | OA
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
 
2021 | Published | Conference Paper | IST-REx-ID: 9826 | OA
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.)
 
2021 | Published | Journal Article | IST-REx-ID: 9891 | OA
Floating Wigner crystal and periodic jellium configurations
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9903 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9121 | OA
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version] View | Files available | DOI | WoS
 
2021 | Research Data | IST-REx-ID: 9192 | OA
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
 
2021 | Research Data | IST-REx-ID: 9323 | OA
Research data for "A singlet-triplet hole spin qubit planar Ge"
D. Jirovec, (2021).
[Published Version] View | Files available | DOI
 
2021 | Scientific Software | IST-REx-ID: 9327 | OA
Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)
G. Sperl, R. Narain, C. Wojtan, (2021).
View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 9387 | OA
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
 
2021 | Research Data | IST-REx-ID: 9389 | OA
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
 
2021 | Book Chapter | IST-REx-ID: 9403 | OA
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.)
 
2021 | Published | Conference Paper | IST-REx-ID: 9416 | OA
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.)
 
2021 | Published | Thesis | IST-REx-ID: 9418 | OA
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed