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.
510 Publications
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17490 |
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
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “QuAK: Quantitative Automata Kit,” in 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, 2024, vol. 15222, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17850 |
L. Gonzalez Somermeyer, “Fitness landscapes of orthologous green fluorescent proteins,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18068 |
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Strategic dominance: A new preorder for nondeterministic processes,” in 35th International Conference on Concurrency Theory, Calgary, Canada, 2024, vol. 311.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18076 |
O. Sagi, “Hybrid circuits on planar Germanium,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18086
J. F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, and K. Z. Pietrzak, “DeCAF: Decentralizable CGKA with fast healing,” in Security and Cryptography for Networks: 14th International Conference, Amalfi, Italy, 2024, vol. 14974, pp. 294–313.
View
| Files available
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 18087 |
M. Maslov, G. Koutentakis, M. Hrast, O. H. Heckl, and M. Lemeshko, “Theory of angular momentum transfer from light to molecules,” Physical Review Research, vol. 6, no. 3. American Physical Society, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18088 |
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
2024 |
Published |
Journal Article |
IST-REx-ID: 18107 |
A. B. Lauritsen and R. Seiringer, “Pressure of a dilute spin-polarized Fermi gas: Lower bound,” Forum of Mathematics, Sigma, vol. 12. Cambridge University Press, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18113 |
V. Egiazarian, A. Panferov, D. Kuznedelev, E. Frantar, A. Babenko, and D.-A. Alistarh, “Extreme compression of large language models via additive quantization,” in Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 12284–12303.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18117 |
M. Nikdan, S. Tabesh, E. Crncevic, and D.-A. Alistarh, “RoSA: Accurate parameter-efficient fine-tuning via robust adaptation,” in Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 38187–38206.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18132 |
J. Glas, “Counting rational points over function fields,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18135 |
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
2024 |
Published |
Journal Article |
IST-REx-ID: 18174 |
M. Wassermair, G. Kahl, R. Roth, and A. J. Archer, “Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system,” The Journal of chemical physics, vol. 161, no. 12. AIP Publishing, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 18266
K. Chatterjee, M. Oliu-Barton, and R. J. Saona Urmeneta, “Value-positivity for matrix games,” Mathematics of Operations Research, vol. 50, no. 4. Institute for Operations Research and the Management Sciences, pp. 2433–3282, 2024.
View
| Files available
| DOI
| WoS
2024 |
Published |
Thesis | MS |
IST-REx-ID: 18301 |
A. Etemadi, “Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18443 |
M. A. Sisak, “T-dual branes on hyperkähler manifolds,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 14821 |
H. S. C. Chiossi, “Adaptive hierarchical representations in the hippocampus,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17119 |
R. K. Kelemen, “Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18477 |
B. M. Kaczmarek, “Biochemical and structural insights into ADAR1 RNA editing,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI