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 | 
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View
| Files available
| DOI
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
2024 | Published | Journal Article | IST-REx-ID: 18482
An algorithm for finding the generalized Chebyshev center of sets defined via their support functions
P. Arkhipov, Automation and Remote Control 85 (2024) 522–532.
View
| DOI
| WoS
P. Arkhipov, Automation and Remote Control 85 (2024) 522–532.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| Files available
| DOI
| WoS
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
2024 | Published | Thesis | IST-REx-ID: 17490 |
Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18088 |
On the efficiency and security of secure group messaging
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18135 |
Energies of dilute Fermi gases and universalities in BCS theory
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18917 |
Eight-partitioning points in 3D, and efficiently too
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 8:1-8:15.
2024 | Draft | Preprint | IST-REx-ID: 18874 |
Intriguing properties of robust classification
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 18087 |
Theory of angular momentum transfer from light to molecules
M. Maslov, G. Koutentakis, M. Hrast, O.H. Heckl, M. Lemeshko, Physical Review Research 6 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Maslov, G. Koutentakis, M. Hrast, O.H. Heckl, M. Lemeshko, Physical Review Research 6 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17202 |
A gate tunable transmon qubit in planar Ge
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
O. Sagi, A. Crippa, M. Valentini, M. Janik, L. Baghumyan, G. Fabris, L. Kapoor, F. Hassani, J.M. Fink, S. Calcaterra, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).
2024 | Published | Thesis | IST-REx-ID: 18076 |
Hybrid circuits on planar Germanium
O. Sagi, Hybrid Circuits on Planar Germanium, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
O. Sagi, Hybrid Circuits on Planar Germanium, Institute of Science and Technology Austria, 2024.
2024 | Research Data | IST-REx-ID: 17196 |
A gate-tunable transmon in planar Ge
O. Sagi, (2024).
[Published Version]
View
| Files available
| DOI
O. Sagi, (2024).
2024 | Research Data | IST-REx-ID: 17362 |
Data for: "Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome"
M.N. Elkrewi, B. Vicoso, (2024).
[Published Version]
View
| Files available
| DOI
M.N. Elkrewi, B. Vicoso, (2024).
2024 | Published | Thesis | IST-REx-ID: 17164 |
Central limit theorems for random matrices: From resolvents to free probability
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Reker, Central Limit Theorems for Random Matrices: From Resolvents to Free Probability, Institute of Science and Technology Austria, 2024.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18706 |
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics (2024) 1–29.
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
2024 | Draft | Preprint | IST-REx-ID: 17361 |
Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 17219 |
Multi-material mesh-based surface tracking with implicit topology changes
P. Synak, A. Kalinov, I.-M. Strugaru, A. Etemadi, H. Yang, C. Wojtan, ACM Transactions on Graphics 43 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
P. Synak, A. Kalinov, I.-M. Strugaru, A. Etemadi, H. Yang, C. Wojtan, ACM Transactions on Graphics 43 (2024).