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.
364 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18847 | 
Smoke and mirrors in causal downstream tasks
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
[Published Version]
View
| Files available
| arXiv
R. Cadei, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, ICML 2024 Workshop AI4Science, Curran Associates, 2024.
2024 | Published | Thesis | IST-REx-ID: 17225 |
Towards a quantum entanglement enhanced atom interferomter
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18443 |
T-dual branes on hyperkähler manifolds
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 | Published | Conference Paper | IST-REx-ID: 18068 |
Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17214 |
Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
2024 | Published | Thesis | IST-REx-ID: 18301 |
Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking
A. Etemadi, Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Etemadi, Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking, Institute of Science and Technology Austria, 2024.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 |
Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation
S. Ishida, H. Lavenant, Foundations of Computational Mathematics (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
S. Ishida, H. Lavenant, Foundations of Computational Mathematics (2024).
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
2024 | Submitted | Preprint | IST-REx-ID: 17361 |
Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 17485 |
Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17283 |
Equivalence and similarity refutation for probabilistic programs
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| DOI
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View
| Files available
| DOI
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
2024 | Published | Journal Article | IST-REx-ID: 18107 |
Pressure of a dilute spin-polarized Fermi gas: Lower bound
A.B. Lauritsen, R. Seiringer, Forum of Mathematics, Sigma 12 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
A.B. Lauritsen, R. Seiringer, Forum of Mathematics, Sigma 12 (2024).
2024 | Published | Thesis | IST-REx-ID: 18574
Visual adaptations to natural statistics
D. Gupta, Visual Adaptations to Natural Statistics, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
D. Gupta, Visual Adaptations to Natural Statistics, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 17208 |
Exploring the optimization landscape of variational quantum algorithms
R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17170 |
Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
2024 | Published | Journal Article | IST-REx-ID: 17047 |
Dynamics of a rank-one multiplicative perturbation of a unitary matrix
G. Dubach, J. Reker, Random Matrices: Theory and Applications 13 (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Dubach, J. Reker, Random Matrices: Theory and Applications 13 (2024).
2024 | Published | Thesis | IST-REx-ID: 18132 |
Counting rational points over function fields
J. Glas, Counting Rational Points over Function Fields, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Glas, Counting Rational Points over Function Fields, Institute of Science and Technology Austria, 2024.