Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.”https://doi.org/10.1007/978-3-031-30829-1_17__In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30829-1_17 .

Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.”https://doi.org/10.1145/3591230__Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023.https://doi.org/10.1145/3591230 .

Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.”https://doi.org/10.2140/involve.2023.16.331__Involve. Mathematical Sciences Publishers, 2023.https://doi.org/10.2140/involve.2023.16.331 .

Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In ASHP - Austrian-Slovenian HPC Meeting 2023, 42–42. EuroCC, n.d.

Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In ASHP - Austrian-Slovenian HPC Meeting 2023, 59–59. EuroCC, n.d.

Wei, Yujing, Artem Volosniev, Dusan Lorenc, Ayan A. Zhumekenov, Osman M. Bakr, Mikhail Lemeshko, and Zhanybek Alpichshev. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.”https://doi.org/10.1021/acs.jpclett.3c01158__The Journal of Physical Chemistry Letters. American Chemical Society, 2023.https://doi.org/10.1021/acs.jpclett.3c01158 .

Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.”https://doi.org/10.4230/LIPIcs.ICALP.2023.129__In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.ICALP.2023.129 .

Tucci, Gennaro, Stefano De Nicola, Sascha Wald, and Andrea Gambassi. “Stochastic Representation of the Quantum Quartic Oscillator.”https://doi.org/10.21468/scipostphyscore.6.2.029__SciPost Physics Core. SciPost Foundation, 2023.https://doi.org/10.21468/scipostphyscore.6.2.029 .

Rammelmüller, Lukas, David Huber, and Artem Volosniev. “A Modular Implementation of an Effective Interaction Approach for Harmonically Trapped Fermions in 1D.”https://doi.org/10.21468/scipostphyscodeb.12__SciPost Physics Codebases. SciPost Foundation, 2023.https://doi.org/10.21468/scipostphyscodeb.12 .

Rammelmüller, Lukas, David Huber, and Artem Volosniev. “Codebase Release 1.0 for FermiFCI.”https://doi.org/10.21468/scipostphyscodeb.12-r1.0__SciPost Foundation, 2023.https://doi.org/10.21468/scipostphyscodeb.12-r1.0 .

De Jode, Aurélien, Alan Le Moan, Kerstin Johannesson, Rui Faria, Sean Stankowski, Anja M Westram, Roger K. Butlin, Marina Rafajlovi, and Christelle Fraisse. “Ten Years of Demographic Modelling of Divergence and Speciation in the Sea.”https://doi.org/10.1111/eva.13428__Evolutionary Applications. Wiley, 2023.https://doi.org/10.1111/eva.13428 .

Viljakainen, Lumi, Matthias Fürst, Anna V Grasse, Jaana Jurvansuu, Jinook Oh, Lassi Tolonen, Thomas Eder, Thomas Rattei, and Sylvia Cremer. “Antiviral Immune Response Reveals Host-Specific Virus Infections in Natural Ant Populations.”https://doi.org/10.3389/fmicb.2023.1119002__Frontiers in Microbiology. Frontiers, 2023.https://doi.org/10.3389/fmicb.2023.1119002 .

Boissonnat, Jean-Daniel, Ramsay Dyer, Arijit Ghosh, and Mathijs Wintraecken. “Local Criteria for Triangulating General Manifolds.”https://doi.org/10.1007/s00454-022-00431-7__Discrete &; Computational Geometry. Springer Nature, 2023.https://doi.org/10.1007/s00454-022-00431-7 .

Hof, Björn. “Directed Percolation and the Transition to Turbulence.”https://doi.org/10.1038/s42254-022-00539-y__Nature Reviews Physics. Springer Nature, 2023.https://doi.org/10.1038/s42254-022-00539-y .

Fäßler, Florian, Manjunath Javoor, and Florian KM Schur. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.”https://doi.org/10.1042/bst20220221__Biochemical Society Transactions. Portland Press, 2023.https://doi.org/10.1042/bst20220221 .

Marensi, Elena, Gökhan Yalniz, Björn Hof, and Nazmi B Budanur. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall Turbulence.”https://doi.org/10.1017/jfm.2022.1001__Journal of Fluid Mechanics. Cambridge University Press, 2023.https://doi.org/10.1017/jfm.2022.1001 .

Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.”https://doi.org/10.1090/proc/15239__Proceedings of the American Mathematical Society. American Mathematical Society, 2023.https://doi.org/10.1090/proc/15239 .

Villalba Requena, Ana, and Simon Hippenmeyer. “Going Back in Time with TEMPO.”https://doi.org/10.1016/j.neuron.2023.01.006__Neuron. Elsevier, 2023.https://doi.org/10.1016/j.neuron.2023.01.006 .

Alistarh, Dan-Adrian, Faith Ellen, and Joel Rybicki. “Wait-Free Approximate Agreement on Graphs.”https://doi.org/10.1016/j.tcs.2023.113733__Theoretical Computer Science. Elsevier, 2023.https://doi.org/10.1016/j.tcs.2023.113733 .

Dubief, Yves, Vincent E. Terrapon, and Björn Hof. “Elasto-Inertial Turbulence.”https://doi.org/10.1146/annurev-fluid-032822-025933__Annual Review of Fluid Mechanics. Annual Reviews, 2023.https://doi.org/10.1146/annurev-fluid-032822-025933 .