Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30829-1_17 

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 

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 

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.

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.

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 

Henzinger, T. A., Kebis, P., Mazzocchi, N. A., &; Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ICALP.2023.129 

Tucci, G., De Nicola, S., Wald, S., &; Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation.https://doi.org/10.21468/scipostphyscore.6.2.029 

Rammelmüller, L., Huber, D., &; Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation.https://doi.org/10.21468/scipostphyscodeb.12 

Rammelmüller, L., Huber, D., &; Volosniev, A. (2023). Codebase release 1.0 for FermiFCI. SciPost Foundation.https://doi.org/10.21468/scipostphyscodeb.12-r1.0 

De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M.,https://doi.org/10.1111/eva.13428__Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley.https://doi.org/10.1111/eva.13428 

Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen, L.,https://doi.org/10.3389/fmicb.2023.1119002__Cremer, S. (2023). Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. Frontiers.https://doi.org/10.3389/fmicb.2023.1119002 

Boissonnat, J.-D., Dyer, R., Ghosh, A., &; Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. Springer Nature.https://doi.org/10.1007/s00454-022-00431-7 

Hof, B. (2023). Directed percolation and the transition to turbulence. Nature Reviews Physics. Springer Nature.https://doi.org/10.1038/s42254-022-00539-y 

Fäßler, F., Javoor, M., &; Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/bst20220221 

Marensi, E., Yalniz, G., Hof, B., &; Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2022.1001 

Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/15239 

Villalba Requena, A., &; Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2023.01.006 

Alistarh, D.-A., Ellen, F., &; Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2023.113733 

Dubief, Y., Terrapon, V. E., &; Hof, B. (2023). Elasto-inertial turbulence. Annual Review of Fluid Mechanics. Annual Reviews.https://doi.org/10.1146/annurev-fluid-032822-025933