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. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. 2024. doi:10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18482
Arkhipov P. An algorithm for finding the generalized Chebyshev center of sets defined via their support functions. Automation and Remote Control. 2024;85(6):522-532. doi:10.1134/S0005117924060031
View
| DOI
| WoS
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee K, Oliu-Barton M, Saona Urmeneta RJ. Value-positivity for matrix games. Mathematics of Operations Research. 2024. doi: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 NE. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In: 24th International Conference on Runtime Verification. Vol 15191. Springer Nature; 2024: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 M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024: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 I. Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. 2024. doi:10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18088 |
Pascual Perez G. On the efficiency and security of secure group messaging. 2024. doi:10.15479/at:ista:18088
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18135 |
Lauritsen AB. Energies of dilute Fermi gases and universalities in BCS theory. 2024. doi: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. Eight-partitioning points in 3D, and efficiently too. In: 40th International Symposium on Computational Geometry. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024: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 B, Lampert C. Intriguing properties of robust classification. arXiv. doi: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 OH, Lemeshko M. Theory of angular momentum transfer from light to molecules. Physical Review Research. 2024;6(3). doi: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, et al. A gate tunable transmon qubit in planar Ge. Nature Communications. 2024;15. 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 O. Hybrid circuits on planar Germanium. 2024. doi:10.15479/at:ista:18076
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17196 |
Sagi O. A gate-tunable transmon in planar Ge. 2024. doi:10.15479/AT:ISTA:17196
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17362 |
Elkrewi MN, Vicoso B. Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” 2024. doi:10.15479/AT:ISTA:17362
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17164 |
Reker J. Central limit theorems for random matrices: From resolvents to free probability. 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 L, Quattrocchi F. Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs. European Journal of Applied Mathematics. 2024: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 A, Ishida S. Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. 2024;8(3):782-796. doi: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 PW. 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 P, Kalinov A, Strugaru I-M, Etemadi A, Yang H, Wojtan C. Multi-material mesh-based surface tracking with implicit topology changes. ACM Transactions on Graphics. 2024;43(4). doi:10.1145/3658223
[Published Version]
View
| Files available
| DOI
| WoS