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, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18482
Arkhipov, P. (2024). An algorithm for finding the generalized Chebyshev center of sets defined via their support functions. Automation and Remote Control. Springer Nature. https://doi.org/10.1134/S0005117924060031
View
| DOI
| WoS
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee, K., Oliu-Barton, M., & Saona Urmeneta, R. J. (2024). Value-positivity for matrix games. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2022.0332
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, B., Momtaz, A., Nickovic, D., & Sarac, N. E. (2024). Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In 24th International Conference on Runtime Verification (Vol. 15191, pp. 282–301). Istanbul, Turkey: Springer Nature. https://doi.org/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, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17490 |
Markov, I. (2024). Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18088 |
Pascual Perez, G. (2024). On the efficiency and security of secure group messaging. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18088
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18135 |
Lauritsen, A. B. (2024). Energies of dilute Fermi gases and universalities in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18135
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18917 |
Aronov, B., Basit, A., Ramesh, I., Tasinato, G., & Wagner, U. (2024). Eight-partitioning points in 3D, and efficiently too. In 40th International Symposium on Computational Geometry (Vol. 293, p. 8:1-8:15). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 18874 |
Prach, B., & Lampert, C. (n.d.). Intriguing properties of robust classification. arXiv. https://doi.org/10.48550/arXiv.2412.04245
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18087 |
Maslov, M., Koutentakis, G., Hrast, M., Heckl, O. H., & Lemeshko, M. (2024). Theory of angular momentum transfer from light to molecules. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.6.033277
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17202 |
Sagi, O., Crippa, A., Valentini, M., Janik, M., Baghumyan, L., Fabris, G., … Katsaros, G. (2024). A gate tunable transmon qubit in planar Ge. Nature Communications. Springer Nature. https://doi.org/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, O. (2024). Hybrid circuits on planar Germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18076
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17196 |
Sagi, O. (2024). A gate-tunable transmon in planar Ge. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17196
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi, M. N., & Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17362
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17164 |
Reker, J. (2024). Central limit theorems for random matrices: From resolvents to free probability. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17164
[Published Version]
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18706 |
Portinale, L., & Quattrocchi, F. (2024). Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs. European Journal of Applied Mathematics. Cambridge University Press. https://doi.org/10.1017/s0956792524000810
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Chern, A., & Ishida, S. (2024). Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1565255
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 17361 |
Bauer, M., Ishida, S., & Michor, P. W. (n.d.). Symplectic structures on the space of space curves. arXiv. https://doi.org/10.48550/arXiv.2407.19908
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17219 |
Synak, P., Kalinov, A., Strugaru, I.-M., Etemadi, A., Yang, H., & Wojtan, C. (2024). Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3658223
[Published Version]
View
| Files available
| DOI
| WoS