Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Fast and Scalable Channels in Kotlin Coroutines.”https://doi.org/10.1145/3572848.3577481__In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 107–18. Association for Computing Machinery, 2023.https://doi.org/10.1145/3572848.3577481 .

Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023.https://doi.org/10.1145/3572848.3577512 .

Henzinger, Monika H, Stefan Neumann, Harald Räcke, and Stefan Schmid. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.”https://doi.org/10.4230/LIPIcs.STACS.2023.36__In 40th International Symposium on Theoretical Aspects of Computer Science, Vol. 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.STACS.2023.36 .

Burnett, Laura. “To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism.”https://doi.org/10.15479/at:ista:12716__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12716 .

Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.”https://doi.org/10.1007/978-3-031-30820-8_32__In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_32 .

Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.”https://doi.org/10.48550/arXiv.2303.14555__ArXiv, n.d.https://doi.org/10.48550/arXiv.2303.14555 .

Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.”https://doi.org/10.1007/978-3-031-30826-0_15__In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30826-0_15 .

Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/AT:ISTA:12407 .

Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.”https://doi.org/10.1016/b978-0-12-818872-9.00129-1__In Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., 86–98. Elsevier, 2023.https://doi.org/10.1016/b978-0-12-818872-9.00129-1 .

Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.”https://doi.org/10.1145/3564246.3585113__In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 1768–76. Association for Computing Machinery, 2023.https://doi.org/10.1145/3564246.3585113 .

Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International Conference on Learning Representations , n.d.

Hoffmann, Charlotte, Pavel Hubádek, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.”https://doi.org/10.1007/978-3-031-31368-4_19__In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-31368-4_19 .

Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.”https://doi.org/10.1007/978-3-031-30823-9_1__In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30823-9_1 .

Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.”https://doi.org/10.1007/978-3-031-30820-8_15__In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_15 .

Pokusaeva, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.”https://doi.org/10.15479/at:ista:12826__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12826 .

Edelsbrunner, Herbert, and Georg F Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.”https://doi.org/10.1007/s00453-022-01027-6__Algorithmica. Springer Nature, 2023.https://doi.org/10.1007/s00453-022-01027-6 .

Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.”https://doi.org/10.1007/s00028-022-00859-7__Journal of Evolution Equations. Springer Nature, 2023.https://doi.org/10.1007/s00028-022-00859-7 .

GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.”https://doi.org/10.1007/s00382-022-06337-7__Climate Dynamics. Springer Nature, 2023.https://doi.org/10.1007/s00382-022-06337-7 .

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 .

Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.”https://doi.org/10.1038/s41598-022-19827-9__Scientific Reports. Springer Nature, 2023.https://doi.org/10.1038/s41598-022-19827-9 .

Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.”https://doi.org/10.1093/imrn/rnac048__International Mathematics Research Notices. Oxford Academic, 2023.https://doi.org/10.1093/imrn/rnac048 .

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 .

Bolnick, Daniel I., Amanda K. Hund, Patrik Nosil, Foen Peng, Mark Ravinet, Sean Stankowski, Swapna Subramanian, Jochen B.W. Wolf, and Roman Yukilevich. “A Multivariate View of the Speciation Continuum.”https://doi.org/10.1093/evolut/qpac004__Evolution: International Journal of Organic Evolution. Oxford University Press, 2023.https://doi.org/10.1093/evolut/qpac004 .

Forghani, Mohammad, Christophe Claramunt, Farid Karimipour, and Georg Heiler. “Visual Analytics of Mobility Network Changes Observed Using Mobile Phone Data during COVID-19 Pandemic.”https://doi.org/10.1109/icdmw58026.2022.00093__In 2022 IEEE International Conference on Data Mining Workshops. Institute of Electrical and Electronics Engineers, 2023.https://doi.org/10.1109/icdmw58026.2022.00093 .

Krokhin, Andrei, Jakub Oprsal, Marcin Wrochna, and Stanislav divný. “Topology and Adjunction in Promise Constraint Satisfaction.”https://doi.org/10.1137/20m1378223__SIAM Journal on Computing. Society for Industrial &; Applied Mathematics, 2023.https://doi.org/10.1137/20m1378223 .

Rojas Vega, Mauricio Nicolas, Pablo De Castro, and Rodrigo Soto. “Wetting Dynamics by Mixtures of Fast and Slow Self-Propelled Particles.”https://doi.org/10.1103/PhysRevE.107.014608__Physical Review E. American Physical Society, 2023.https://doi.org/10.1103/PhysRevE.107.014608 .

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 .

Mrestani, Achmed, Katharina Lichter, Anna Leena Sirén, Manfred Heckmann, Mila M. Paul, and Martin Pauli. “Single-Molecule Localization Microscopy of Presynaptic Active Zones in Drosophila Melanogaster after Rapid Cryofixation.”https://doi.org/10.3390/ijms24032128__International Journal of Molecular Sciences. MDPI, 2023.https://doi.org/10.3390/ijms24032128 .

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 .

Avila, Marc, Dwight Barkley, and Björn Hof. “Transition to Turbulence in Pipe Flow.”https://doi.org/10.1146/annurev-fluid-120720-025957__Annual Review of Fluid Mechanics. Annual Reviews, 2023.https://doi.org/10.1146/annurev-fluid-120720-025957 .

Araújo, Nuno A.M., Liesbeth M.C. Janssen, Thomas Barois, Guido Boffetta, Itai Cohen, Alessandro Corbetta, Olivier Dauchot, et al. “Steering Self-Organisation through Confinement.”https://doi.org/10.1039/d2sm01562e__Soft Matter. Royal Society of Chemistry, 2023.https://doi.org/10.1039/d2sm01562e .

Cheng, Bingqing, Sebastien Hamel, and Mandy Bethkenhagen. “Thermodynamics of Diamond Formation from Hydrocarbon Mixtures in Planets.”https://doi.org/10.1038/s41467-023-36841-1__Nature Communications. Springer Nature, 2023.https://doi.org/10.1038/s41467-023-36841-1 .

Bernabeu, Elena, Daniel L. Mccartney, Danni A. Gadd, Robert F. Hillary, Ake T. Lu, Lee Murphy, Nicola Wrobel, et al. “Refining Epigenetic Prediction of Chronological and Biological Age.”https://doi.org/10.1186/s13073-023-01161-y__Genome Medicine. Springer Nature, 2023.https://doi.org/10.1186/s13073-023-01161-y .

Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.”https://doi.org/10.1109/LRA.2023.3240930__IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers, 2023.https://doi.org/10.1109/LRA.2023.3240930 .