Koval, N., Khalanskiy, D., &; Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery .https://doi.org/10.1145/3591230 
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 10.1145/3591230

Browning, T. D., Lyczak, J., &; Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers.https://doi.org/10.2140/involve.2023.16.331 
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

Elefante, S., Stadlbauer, S., Alexander, M. F., &; Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHP - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.
LibreCat: https://research-explorer.ista.ac.at/record/13162

Schlögl, A., Elefante, S., &; Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHP - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.
LibreCat: https://research-explorer.ista.ac.at/record/13161

Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., &; Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society.https://doi.org/10.1021/acs.jpclett.3c01158 
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198