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 | OA
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 | Conference Paper | IST-REx-ID: 17634 | OA
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 | PhD | IST-REx-ID: 17850 | OA
Gonzalez Somermeyer, L. (2024). Fitness landscapes of orthologous green fluorescent proteins. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17850
[Published Version] View | Files available | DOI
 
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). Strategic dominance: A new preorder for nondeterministic processes. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.29
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18076 | OA
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 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., & Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-71073-5_14
View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 18087 | OA
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 | Thesis | PhD | IST-REx-ID: 18088 | OA
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 | Journal Article | IST-REx-ID: 18107 | OA
Lauritsen, A. B., & Seiringer, R. (2024). Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2024.56
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18113 | OA
Egiazarian, V., Panferov, A., Kuznedelev, D., Frantar, E., Babenko, A., & Alistarh, D.-A. (2024). Extreme compression of large language models via additive quantization. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 12284–12303). Vienna, Austria: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18117 | OA
Nikdan, M., Tabesh, S., Crncevic, E., & Alistarh, D.-A. (2024). RoSA: Accurate parameter-efficient fine-tuning via robust adaptation. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 38187–38206). Vienna, Austria: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18132 | OA
Glas, J. (2024). Counting rational points over function fields. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18132
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18135 | OA
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 | Journal Article | IST-REx-ID: 18174 | OA
Wassermair, M., Kahl, G., Roth, R., & Archer, A. J. (2024). Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0226954
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2024 | Published | 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 | Thesis | MS | IST-REx-ID: 18301 | OA
Etemadi, A. (2024). Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18301
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18443 | OA
Sisak, M. A. (2024). T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18443
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 14821 | OA
Chiossi, H. S. C. (2024). Adaptive hierarchical representations in the hippocampus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14821
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 17119 | OA
Kelemen, R. K. (2024). Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17119
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18477 | OA
Kaczmarek, B. M. (2024). Biochemical and structural insights into ADAR1 RNA editing. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18477
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed