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.
354 Publications
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 | 
Ishida, Sadashige, and Hugo Lavenant. “Quantitative Convergence of a Discretization of Dynamic Optimal Transport Using the Dual Formulation.” Foundations of Computational Mathematics, Springer Nature, 2024, doi:10.1007/s10208-024-09686-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” SIAM Journal on Applied Algebra and Geometry, vol. 8, no. 3, Society for Industrial and Applied Mathematics, 2024, pp. 782–96, doi:10.1137/23M1565255.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17361 |
Bauer, Martin, et al. “Symplectic Structures on the Space of Space Curves.” ArXiv, doi:10.48550/arXiv.2407.19908.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17485 |
Frantar, Elias. Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17485.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17283 |
Chatterjee, Krishnendu, et al. “Equivalence and Similarity Refutation for Probabilistic Programs.” Proceedings of the ACM on Programming Languages, vol. 8, 232, Association for Computing Machinery, 2024, doi:10.1145/3656462.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee, Krishnendu, et al. “Value-Positivity for Matrix Games.” Mathematics of Operations Research, Institute for Operations Research and the Management Sciences, 2024, doi:10.1287/moor.2022.0332.
View
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, Joel F., et al. “DeCAF: Decentralizable CGKA with Fast Healing.” Security and Cryptography for Networks: 14th International Conference, edited by Clemente Galdi and Duong Hieu Phan, vol. 14974, Springer Nature, 2024, pp. 294–313, doi:10.1007/978-3-031-71073-5_14.
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17850 |
Gonzalez Somermeyer, Louisa. Fitness Landscapes of Orthologous Green Fluorescent Proteins. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17850.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18107 |
Lauritsen, Asbjørn Bækgaard, and Robert Seiringer. “Pressure of a Dilute Spin-Polarized Fermi Gas: Lower Bound.” Forum of Mathematics, Sigma, vol. 12, e78, Cambridge University Press, 2024, doi:10.1017/fms.2024.56.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18574
Gupta, Divyansh. Visual Adaptations to Natural Statistics. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18574.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18661
Santana de Freitas Amaral, Miguel. Archaeal Membranes: In Silico Modelling and Design. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18661.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17208 |
Medina Ramos, Raimel A. Exploring the Optimization Landscape of Variational Quantum Algorithms. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17208.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17170 |
Attali, Dominique, et al. “Tight Bounds for the Learning of Homotopy à La Niyogi, Smale, and Weinberger for Subsets of Euclidean Spaces and of Riemannian Manifolds.” 40th International Symposium on Computational Geometry, vol. 293, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19, doi:10.4230/LIPIcs.SoCG.2024.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17047 |
Dubach, Guillaume, and Jana Reker. “Dynamics of a Rank-One Multiplicative Perturbation of a Unitary Matrix.” Random Matrices: Theory and Applications, vol. 13, no. 2, 2450007, World Scientific Publishing, 2024, doi:10.1142/s2010326324500072.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18132 |
Glas, Jakob. Counting Rational Points over Function Fields. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18132.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18961 |
Günther, Christoph Ullrich, and Krzysztof Z. Pietrzak. “Deniability in Automated Contact Tracing: Impossibilities and Possibilities.” Proceedings on Privacy Enhancing Technologies, vol. 2024, no. 4, Privacy Enhancing Technologies Symposium Advisory Board, 2024, pp. 636–48, doi:10.56553/popets-2024-0134.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18667 |
Heiss, Teresa. New Methods for Applying Topological Data Analysis to Materials Science. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18667.
[Published Version]
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18706 |
Portinale, Lorenzo, and Filippo Quattrocchi. “Discrete-to-Continuum Limits of Optimal Transport with Linear Growth on Periodic Graphs.” European Journal of Applied Mathematics, Cambridge University Press, 2024, pp. 1–29, doi:10.1017/s0956792524000810.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Thesis | IST-REx-ID: 18088 |
Pascual Perez, Guillermo. On the Efficiency and Security of Secure Group Messaging. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18088.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 14711 |
Olusanya, Oluwafunmilola O. Local Adaptation, Genetic Load and Extinction in Metapopulations. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:14711.
[Published Version]
View
| Files available
| DOI