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 .
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13179
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13180
DOI: 10.2140/involve.2023.16.331
arXiv: 2203.06881

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.
LibreCat: https://research-explorer.ista.ac.at/record/13162

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.
LibreCat: https://research-explorer.ista.ac.at/record/13161

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13251
DOI: 10.1021/acs.jpclett.3c01158
WoS: 001022811500001
arXiv: 2304.14198

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13277
DOI: 10.21468/scipostphyscore.6.2.029
arXiv: 2211.01923

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13276
DOI: 10.21468/scipostphyscodeb.12
arXiv: 2202.04603

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13275
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/11479
DOI: 10.1111/eva.13428
WoS: 000815663700001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12469
DOI: 10.3389/fmicb.2023.1119002
WoS: 000961542100001
PMID: PPR559293 

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12165
DOI: 10.1038/s42254-022-00539-y
WoS: 000890148700002

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12421
DOI: 10.1042/bst20220221
WoS: 000926043100001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12105
DOI: 10.1017/jfm.2022.1001
WoS: 000903336600001
arXiv: 2101.07516

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12427
DOI: 10.1090/proc/15239
WoS: 000898440000001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12542
DOI: 10.1016/j.neuron.2023.01.006
WoS: 000994473300001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12566
DOI: 10.1016/j.tcs.2023.113733
WoS: 000934262700001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12681
DOI: 10.1146/annurev-fluid-032822-025933
WoS: 000915418100026