Olusanya, Oluwafunmilola O. “Local Adaptation, Genetic Load and Extinction in Metapopulations.”https://doi.org/10.15479/at:ista:14711__Institute of Science and Technology Austria, 2024.https://doi.org/10.15479/at:ista:14711 .

Bossmann, Lea, Nikolai K Leopold, David Johannes Mitrouskas, and Sören P Petrat. “A Note on the Binding Energy for Bosons in the Mean-Field Limit.”https://doi.org/10.1007/s10955-024-03260-5__Journal of Statistical Physics. Springer Nature, 2024.https://doi.org/10.1007/s10955-024-03260-5 .

Dello Schiavo, Lorenzo, Lorenzo Portinale, and Federico Sau. “Scaling Limits of Random Walks, Harmonic Profiles, and Stationary Nonequilibrium States in Lipschitz Domains.”https://doi.org/10.1214/23-AAP2007__Annals of Applied Probability. Institute of Mathematical Statistics, 2024.https://doi.org/10.1214/23-AAP2007 .

Huebbers, Jan W., George A. Caldarescu, Zdeka Kubátová, Peter Sabol, Sophie C.J. Levecque, Hannah Kuhn, Ivan Kulich, et al. “Interplay of EXO70 and MLO Proteins Modulates Trichome Cell Wall Composition and Susceptibility to Powdery Mildew.”https://doi.org/10.1093/plcell/koad319__Plant Cell. Oxford University Press, 2024.https://doi.org/10.1093/plcell/koad319 .

Seoane Souto, Rubén, Martin Leijnse, Constantin Schrade, Marco Valentini, Georgios Katsaros, and Jeroen Danon. “Tuning the Josephson Diode Response with an Ac Current.”https://doi.org/10.1103/PhysRevResearch.6.L022002__Physical Review Research. American Physical Society, 2024.https://doi.org/10.1103/PhysRevResearch.6.L022002 .

Brückner, David, and Chase P. Broedersz. “Learning Dynamical Models of Single and Collective Cell Migration: A Review.”https://doi.org/10.1088/1361-6633/ad36d2__Reports on Progress in Physics. IOP Publishing, 2024.https://doi.org/10.1088/1361-6633/ad36d2 .

Agasthya, Lokahith N, and Caroline J Muller. “Dynamics and Scaling of Internally Cooled Convection.”https://doi.org/10.1016/j.cnsns.2024.108011__Communications in Nonlinear Science and Numerical Simulation. Elsevier, 2024.https://doi.org/10.1016/j.cnsns.2024.108011 .

Trinh, Giang, Belaid Benhamou, Samuel Pastva, and Sylvain Soliman. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.”https://doi.org/10.1609/aaai.v38i9.28943__In Proceedings of the 38th AAAI Conference on Artificial Intelligence, 38:10714–22. Association for the Advancement of Artificial Intelligence, 2024.https://doi.org/10.1609/aaai.v38i9.28943 .

González, Miguel, and Tamás Hausel. “Hitchin Map on Even Very Stable Upward Flows.”https://doi.org/10.1142/S0129167X2441009X__International Journal of Mathematics. World Scientific Publishing, 2024.https://doi.org/10.1142/S0129167X2441009X .

Bonolis, Dante, Timothy D Browning, and Zhizhong Huang. “Density of Rational Points on Some Quadric Bundle Threefolds.”https://doi.org/10.1007/s00208-024-02854-4__Mathematische Annalen. Springer Nature, 2024.https://doi.org/10.1007/s00208-024-02854-4 .

Pensabene, A., S. Cantalupo, C. Cicone, R. Decarli, M. Galbiati, M. Ginolfi, S. De Beer, et al. “ALMA Survey of a Massive Node of the Cosmic Web at z c 3: I. Discovery of a Large Overdensity of CO Emitters.”https://doi.org/10.1051/0004-6361/202348659__Astronomy and Astrophysics. EDP Sciences, 2024.https://doi.org/10.1051/0004-6361/202348659 .

Godavarthi, Swetha K., Masaki Hiramoto, Yuri Ignatyev, Jacqueline B. Levin, Hui Quan Li, Marta Pratelli, Jennifer Borchardt, et al. “Postsynaptic Receptors Regulate Presynaptic Transmitter Stability through Transsynaptic Bridges.”https://doi.org/10.1073/pnas.2318041121__PNAS. Proceedings of the National Academy of Sciences, 2024.https://doi.org/10.1073/pnas.2318041121 .

Abels, Helmut, Mingwen Fei, and Maximilian Moser. “Sharp Interface Limit for a Navier–Stokes/Allen–Cahn System in the Case of a Vanishing Mobility.”https://doi.org/10.1007/s00526-024-02715-7__Calculus of Variations and Partial Differential Equations. Springer Nature, 2024.https://doi.org/10.1007/s00526-024-02715-7 .

Browning, Timothy D, Lillian B. Pierce, and Damaris Schindler. “Generalised Quadratic Forms over Totally Real Number Fields.”https://doi.org/10.1017/S1474748024000161__Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2024.https://doi.org/10.1017/S1474748024000161 .

Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.”https://doi.org/10.1007/s10107-024-02064-5__Mathematical Programming. Springer Nature, 2024.https://doi.org/10.1007/s10107-024-02064-5 .

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 Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Cham: Springer Nature, 2024.https://doi.org/10.1007/978-3-031-57256-2_20 .

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 .

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 .