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.
405 Publications
2024 | Research Data | IST-REx-ID: 17488 | 
Satapathy, Roshan K., et al. Bilateral Interactions of Optic-Flow Sensitive Neurons Coordinate Course Control in Flies. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17488.
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18482
Arkhipov, Pavel. “An Algorithm for Finding the Generalized Chebyshev Center of Sets Defined via Their Support Functions.” Automation and Remote Control, vol. 85, no. 6, Springer Nature, 2024, pp. 522–32, doi:10.1134/S0005117924060031.
View
| DOI
| WoS
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
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, Borzoo, et al. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” 24th International Conference on Runtime Verification, vol. 15191, Springer Nature, 2024, pp. 282–301, doi:10.1007/978-3-031-74234-7_18.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17490 |
Markov, Ilia. Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17490.
[Published Version]
View
| Files available
| DOI
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: 18135 |
Lauritsen, Asbjørn Bækgaard. Energies of Dilute Fermi Gases and Universalities in BCS Theory. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18135.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18917 |
Aronov, Boris, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” 40th International Symposium on Computational Geometry, vol. 293, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15, doi:10.4230/LIPIcs.SoCG.2024.8.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 18874 |
Prach, Bernd, and Christoph Lampert. “Intriguing Properties of Robust Classification.” ArXiv, 2412.04245, doi:10.48550/arXiv.2412.04245.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18087 |
Maslov, Mikhail, et al. “Theory of Angular Momentum Transfer from Light to Molecules.” Physical Review Research, vol. 6, no. 3, 033277, American Physical Society, 2024, doi:10.1103/physrevresearch.6.033277.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17202 |
Sagi, Oliver, et al. “A Gate Tunable Transmon Qubit in Planar Ge.” Nature Communications, vol. 15, 6400, Springer Nature, 2024, doi:10.1038/s41467-024-50763-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18076 |
Sagi, Oliver. Hybrid Circuits on Planar Germanium. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18076.
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17196 |
Sagi, Oliver. A Gate-Tunable Transmon in Planar Ge. Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17196.
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi, Marwan N., and Beatriz Vicoso. Data for: “Single-Nucleus Atlas of the Artemia Female Reproductive System Suggests Germline Repression of the Z Chromosome.” Institute of Science and Technology Austria, 2024, doi:10.15479/AT:ISTA:17362.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17164 |
Reker, Jana. Central Limit Theorems for Random Matrices: From Resolvents to Free Probability. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17164.
[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
| Files available
| DOI
| Download Published Version (ext.)
| WoS
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
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Draft | 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
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17219 |
Synak, Peter, et al. “Multi-Material Mesh-Based Surface Tracking with Implicit Topology Changes.” ACM Transactions on Graphics, vol. 43, no. 4, 54, Association for Computing Machinery, 2024, doi:10.1145/3658223.
[Published Version]
View
| Files available
| DOI
| WoS