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 RK, Jösch MA, Symonova O, Pokusaeva V. 2024. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17488.
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee K, Oliu-Barton M, Saona Urmeneta RJ. 2024. Value-positivity for matrix games. Mathematics of Operations Research.
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. 2024. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. 24th International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 15191, 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[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.
[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.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18135 |
Lauritsen AB. 2024. Energies of dilute Fermi gases and universalities in BCS theory. Institute of Science and Technology Austria.
[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. 40th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry vol. 293, 8:1-8:15.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 18874 |
Prach B, Lampert C. Intriguing properties of robust classification. 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 OH, Lemeshko M. 2024. Theory of angular momentum transfer from light to molecules. Physical Review Research. 6(3), 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, Kapoor L, Hassani F, Fink JM, Calcaterra S, Chrastina D, Isella G, Katsaros G. 2024. A gate tunable transmon qubit in planar Ge. Nature Communications. 15, 6400.
[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.
[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, 10.15479/AT:ISTA:17196.
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi MN, 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, 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.
[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., 1–29.
[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. 8(3), 782–796.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 17361 |
Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv, 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. 43(4), 54.
[Published Version]
View
| Files available
| DOI
| WoS