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 | Research Data | IST-REx-ID: 17362 | OA
Elkrewi, M. N., & 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. https://doi.org/10.15479/AT:ISTA:17362
[Published Version] View | Files available | DOI
 
2024 | Published | Book Chapter | IST-REx-ID: 17425
Miranda, O., Cheung, G. T., & Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-0716-3969-6_19
View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Conference Paper | IST-REx-ID: 17426 | OA
Prach, B., Brau, F., Buttazzo, G., & Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Seattle, WA, United States: Computer Vision Foundation. https://doi.org/10.1109/CVPR52733.2024.02320
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 17485 | OA
Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485
[Published Version] View | Files available | DOI
 
2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
[Published Version] View | Files available | DOI
 
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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed