Zeng, Zezhu, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, and Yue Chen. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.”https://doi.org/10.1038/s41467-024-46799-3__Nature Communications. Springer Nature, 2024.https://doi.org/10.1038/s41467-024-46799-3 .

Browning, Timothy D, and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.”https://doi.org/10.1016/j.jnt.2024.02.013__Journal of Number Theory. Elsevier, 2024.https://doi.org/10.1016/j.jnt.2024.02.013 .

Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).”https://doi.org/10.1007/978-3-031-57256-2_20__In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-57256-2_20 .

Gnyliukh, Nataliia, Alexander J Johnson, MK Nagel, Aline Monzer, David Babic, Annamaria Hlavata, SS Alotaibi, E Isono, Martin Loose, and Jií Friml. “Role of Dynamin-Related Proteins 2 and S in Clathrin-Mediated Endocytosis in Arabidopsis Thaliana.”https://doi.org/10.1242/jcs.261720__Journal of Cell Science. The Company of Biologists, 2024.https://doi.org/10.1242/jcs.261720 .

Chen, JingJing. “Developmental Transformation of Nanodomain Coupling between C+ Channels and Release Sensors at a Central GABAergic Synapse.”https://doi.org/10.15479/at:ista:15101__Institute of Science and Technology Austria, 2024.https://doi.org/10.15479/at:ista:15101 .

Hannezo, Edouard B, and Colinda L.G.J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.”https://doi.org/10.1007/978-1-0716-2887-4_12__In Cell Migration in Three Dimensions, edited by Coert Margadant, 2608:183–205. MIMB. Springer Nature, 2023.https://doi.org/10.1007/978-1-0716-2887-4_12 .

Ghazaryan, Areg, Alberto Cappellaro, Mikhail Lemeshko, and Artem Volosniev. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.”https://doi.org/10.1103/physrevresearch.5.013029__Physical Review Research. American Physical Society, 2023.https://doi.org/10.1103/physrevresearch.5.013029 .

Zeller, Peter, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.”https://doi.org/10.1038/s41588-022-01260-3__Nature Genetics. Springer Nature, 2023.https://doi.org/10.1038/s41588-022-01260-3 .

Chatterjee, Krishnendu, Tobias Meggendorfer, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.”https://doi.org/10.1137/1.9781611977554.ch173__In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, 4590–4605. Society for Industrial and Applied Mathematics, 2023.https://doi.org/10.1137/1.9781611977554.ch173 .

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 .

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 .

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 .

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 .

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 .