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.
346 Publications
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: 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: 10668 |
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
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: 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: 9356 |
Quantitative and approximate monitoring
Henzinger, Thomas A, Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Henzinger, Thomas A, Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10666 |
Adversarial training is not ready for robot learning
Lechner, Mathias, Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Lechner, Mathias, Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. 2021
2021 | Submitted | Preprint | IST-REx-ID: 10080 |
The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 10635 |
Nonlinear computations in spiking neural networks through multiplicative synapses
Nardin, Michele, Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal 1. 2021
[Published Version]
View
| Files available
| DOI
| arXiv
Nardin, Michele, Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal 1. 2021
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
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 | Conference Paper | IST-REx-ID: 10667 |
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 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 | Published | Thesis | IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 10429 |
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 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.
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 | 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 | 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 | Thesis | IST-REx-ID: 9056 |
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.