K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.

N. Koval, D.-A. Alistarh, and R. Elizarov, “Fast and scalable channels in Kotlin Coroutines,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Montreal, QC, Canada, 2023, pp. 107–118.

V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.

M. H. Henzinger, S. Neumann, H. Räcke, and S. Schmid, “Dynamic maintenance of monotone dynamic programs and applications,” in 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 2023, vol. 254.

L. Burnett, “To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism,” Institute of Science and Technology Austria, 2023.

M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.

A. Chern and S. Ishida, “Area formula for spherical polygons via prequantization,” arXiv. .

M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.

M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.

L. Zhao et al., “Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat,” Genome Biology, vol. 24. Springer Nature, 2023.

M. Traxler et al., “Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts,” Chemistry – A European Journal, vol. 29, no. 4. Wiley, 2023.

A. Madani and B. Pieber, “In situ reaction monitoring in photocatalytic organic synthesis,” ChemCatChem, vol. 15, no. 7. Wiley, 2023.

A. Lieutier and M. Wintraecken, “Hausdorff and Gromov-Hausdorff stable subsets of the medial axis,” in Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Orlando, FL, United States, 2023, pp. 1768–1776.

E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in 11th International Conference on Learning Representations , Kigali, Rwanda .

C. Hoffmann, P. Hubádek, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.

K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25.

A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.

V. Pokusaeva, “Neural control of optic flow-based navigation in Drosophila melanogaster,” Institute of Science and Technology Austria, 2023.

H. Edelsbrunner and G. F. Osang, “A simple algorithm for higher-order Delaunay mosaics and alpha shapes,” Algorithmica, vol. 85. Springer Nature, pp. 277–295, 2023.

L. Dello Schiavo and M. Wirth, “Ergodic decompositions of Dirichlet forms under order isomorphisms,” Journal of Evolution Equations, vol. 23, no. 1. Springer Nature, 2023.

T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.

N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery , 2023.

T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.

S. Elefante, S. Stadlbauer, M. F. Alexander, and A. Schlögl, “Cryo-EM software packages: A sys-admins point of view,” in ASHP - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 42–42.

A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in ASHP - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 59–59.

Y. Wei et al., “Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites,” The Journal of Physical Chemistry Letters, vol. 14, no. 27. American Chemical Society, pp. 6309–6314, 2023.

T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.

G. Tucci, S. De Nicola, S. Wald, and A. Gambassi, “Stochastic representation of the quantum quartic oscillator,” SciPost Physics Core, vol. 6, no. 2. SciPost Foundation, 2023.

L. Rammelmüller, D. Huber, and A. Volosniev, “A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D,” SciPost Physics Codebases. SciPost Foundation, 2023.

L. Rammelmüller, D. Huber, and A. Volosniev, “Codebase release 1.0 for FermiFCI.” SciPost Foundation, 2023.

A. De Jode et al., “Ten years of demographic modelling of divergence and speciation in the sea,” Evolutionary Applications, vol. 16, no. 2. Wiley, pp. 542–559, 2023.

A. Gómez and G. Oliveira, “New approaches to epidemic modeling on networks,” Scientific Reports, vol. 13. Springer Nature, 2023.

F. A. Wilsch, “Integral points of bounded height on a log Fano threefold,” International Mathematics Research Notices, vol. 2023, no. 8. Oxford Academic, pp. 6780–6808, 2023.

L. Viljakainen et al., “Antiviral immune response reveals host-specific virus infections in natural ant populations,” Frontiers in Microbiology, vol. 14. Frontiers, 2023.

J.-D. Boissonnat, R. Dyer, A. Ghosh, and M. Wintraecken, “Local criteria for triangulating general manifolds,” Discrete &; Computational Geometry, vol. 69. Springer Nature, pp. 156–191, 2023.

F. Fäßler, M. Javoor, and F. K. Schur, “Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM,” Biochemical Society Transactions, vol. 51, no. 1. Portland Press, pp. 87–99, 2023.

E. Marensi, G. Yalniz, B. Hof, and N. B. Budanur, “Symmetry-reduced dynamic mode decomposition of near-wall turbulence,” Journal of Fluid Mechanics, vol. 954. Cambridge University Press, 2023.

D. I. Bolnick et al., “A multivariate view of the speciation continuum,” Evolution: International journal of organic evolution, vol. 77, no. 1. Oxford University Press, pp. 318–328, 2023.

M. Forghani, C. Claramunt, F. Karimipour, and G. Heiler, “Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic,” in 2022 IEEE International Conference on Data Mining Workshops, Orlando, FL, United States, 2023.

A. Krokhin, J. Oprsal, M. Wrochna, and S. divný, “Topology and adjunction in promise constraint satisfaction,” SIAM Journal on Computing, vol. 52, no. 1. Society for Industrial &; Applied Mathematics, pp. 38–79, 2023.

M. N. Rojas Vega, P. De Castro, and R. Soto, “Wetting dynamics by mixtures of fast and slow self-propelled particles,” Physical Review E, vol. 107, no. 1. American Physical Society, 2023.

F. Balestrieri, “Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups,” Proceedings of the American Mathematical Society, vol. 151, no. 3. American Mathematical Society, pp. 907–914, 2023.

A. Mrestani, K. Lichter, A. L. Sirén, M. Heckmann, M. M. Paul, and M. Pauli, “Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation,” International Journal of Molecular Sciences, vol. 24, no. 3. MDPI, 2023.

D.-A. Alistarh, F. Ellen, and J. Rybicki, “Wait-free approximate agreement on graphs,” Theoretical Computer Science, vol. 948, no. 2. Elsevier, 2023.

Y. Dubief, V. E. Terrapon, and B. Hof, “Elasto-inertial turbulence,” Annual Review of Fluid Mechanics, vol. 55, no. 1. Annual Reviews, pp. 675–705, 2023.

M. Avila, D. Barkley, and B. Hof, “Transition to turbulence in pipe flow,” Annual Review of Fluid Mechanics, vol. 55. Annual Reviews, pp. 575–602, 2023.

N. A. M. Araújo et al., “Steering self-organisation through confinement,” Soft Matter, vol. 19. Royal Society of Chemistry, pp. 1695–1704, 2023.

B. Cheng, S. Hamel, and M. Bethkenhagen, “Thermodynamics of diamond formation from hydrocarbon mixtures in planets,” Nature Communications, vol. 14. Springer Nature, 2023.

E. Bernabeu et al., “Refining epigenetic prediction of chronological and biological age,” Genome Medicine, vol. 15. Springer Nature, 2023.

M. Lechner, A. Amini, D. Rus, and T. A. Henzinger, “Revisiting the adversarial robustness-accuracy tradeoff in robot learning,” IEEE Robotics and Automation Letters, vol. 8, no. 3. Institute of Electrical and Electronics Engineers, pp. 1595–1602, 2023.

A. Volosniev et al., “Spin-electric coupling in lead halide perovskites,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.

A. Volosniev et al., “Effective model for studying optical properties of lead halide perovskites,” Physical Review B, vol. 107, no. 12. American Physical Society, 2023.

J. S. Rothman, C. Borges Merjane, N. Holderith, P. M. Jonas, and R. Angus Silver, “Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy,” PLoS ONE, vol. 18, no. 3 March. Public Library of Science, 2023.

F. Hurtig et al., “The patterned assembly and stepwise Vp-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division,” Science Advances, vol. 9, no. 11. American Association for the Advancement of Science, 2023.

M. A. Pak et al., “Using AlphaFold to predict the impact of single mutations on protein stability and function,” PLoS ONE, vol. 18, no. 3. Public Library of Science, 2023.

L. A. Sazanov, “From the ‘black box’ to ‘domino effect’ mechanism: What have we learned from the structures of respiratory complex I,” The Biochemical Journal, vol. 480, no. 5. Portland Press, pp. 319–333, 2023.

J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in the Moran process with environmental heterogeneity,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271. The Royal Society, 2023.

V. Karle, A. Ghazaryan, and M. Lemeshko, “Topological charges of periodically kicked molecules,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.

A. Ghazaryan, T. Holder, E. Berg, and M. Serbyn, “Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity,” Physical Review B, vol. 107, no. 10. American Physical Society, 2023.

P. Clark Di Leoni, L. N. Agasthya, M. Buzzicotti, and L. Biferale, “Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks,” The European Physical Journal E, vol. 46, no. 3. Springer Nature, 2023.

K. Huljev et al., “A hydraulic feedback loop between mesendoderm cell migration and interstitial fluid relocalization promotes embryonic axis formation in zebrafish,” Developmental Cell, vol. 58, no. 7. Elsevier, p. 582–596.e7, 2023.

Z. Zeng, E. Yakaboylu, M. Lemeshko, T. Shi, and R. Schmidt, “Variational theory of angulons and their rotational spectroscopy,” The Journal of Chemical Physics, vol. 158, no. 13. American Institute of Physics, 2023.

M. Ljubotina, J. Y. Desaules, M. Serbyn, and Z. Papi, “Superdiffusive energy transport in kinetically constrained models,” Physical Review X, vol. 13, no. 1. American Physical Society, 2023.

Q. Martinet, A. Aubret, and J. A. Palacci, “Rotation control, interlocking, and selfpositioning of active cogwheels,” Advanced Intelligent Systems, vol. 5, no. 1. Wiley, 2023.

T. Brandstätter, D. Brückner, Y. L. Han, R. Alert, M. Guo, and C. P. Broedersz, “Curvature induces active velocity waves in rotating spherical tissues,” Nature Communications, vol. 14. Springer Nature, 2023.

A. Sokolova, D. A. Kalacheva, G. P. Fedorov, and O. V. Astafiev, “Overcoming photon blockade in a circuit-QED single-atom maser with engineered metastability and strong coupling,” Physical Review A, vol. 107, no. 3. American Physical Society, 2023.

L. Schmid, F. Ekbatani, C. Hilbe, and K. Chatterjee, “Quantitative assessment can stabilize indirect reciprocity under imperfect information,” Nature Communications, vol. 14. Springer Nature, 2023.

S. Safavi, T. I. Panagiotaropoulos, V. Kapoor, J. F. Ramirez Villegas, N. K. Logothetis, and M. Besserve, “Uncovering the organization of neural circuits with Generalized Phase Locking Analysis,” PLoS Computational Biology, vol. 19, no. 4. Public Library of Science, 2023.

K. Chen, C. Kunkel, B. Cheng, K. Reuter, and J. T. Margraf, “Physics-inspired machine learning of localized intensive properties,” Chemical Science. Royal Society of Chemistry, 2023.

N. Benes, L. Brim, O. Huvar, S. Pastva, and D. Safránek, “Boolean network sketches: A unifying framework for logical model inference,” Bioinformatics, vol. 39, no. 4. Oxford Academic, 2023.

J. M. Kaneshiro, J. S. Capitanio, and M. Hetzer, “Lamin  overexpression alters chromatin organization and gene expression,” Nucleus, vol. 14, no. 1. Taylor &; Francis, 2023.

F. Suzuki and W. G. Unruh, “Numerical quantum clock simulations for measuring tunneling times,” Physical Review A, vol. 107, no. 4. American Physical Society, 2023.

J. Díez-Mérida et al., “Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene,” Nature Communications, vol. 14. Springer Nature, 2023.

K. Fellner, J. L. Fischer, M. Kniely, and B. Q. Tang, “Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion,” Journal of Nonlinear Science, vol. 33. Springer Nature, 2023.

S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” Interfaces and Free Boundaries, vol. 25, no. 1. EMS Press, pp. 37–107, 2023.

R. Schmid and B. Cheng, “Computing chemical potentials of adsorbed or confined fluids,” The Journal of Chemical Physics, vol. 158, no. 16. AIP Publishing, 2023.

Z. Liu, M. Piovarci, C. Hafner, R. Charrondiere, and B. Bickel, “Directionality-aware design of embroidery patterns,” Computer Graphics Forum, vol. 42, no. 2. Wiley, pp. 397–409, 2023.

A. Zavadakova, L. Vistejnova, T. Belinova, F. Tichanek, D. Bilikova, and P. R. Mouton, “Novel stereological method for estimation of cell counts in 3D collagen scaffolds,” Scientific Reports, vol. 13, no. 1. Springer Nature, 2023.

L. Troussicot, A. Vallet, M. Molin, B. M. Burmann, and P. Schanda, “Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR,” Journal of the American Chemical Society, vol. 145, no. 19. American Chemical Society, pp. 10700–10711, 2023.

M. Anastos, “A note on long cycles in sparse random graphs,” Electronic Journal of Combinatorics, vol. 30, no. 2. Electronic Journal of Combinatorics, 2023.

P. Schanda, “Research data of the publication ‘Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR.’” Institute of Science and Technology Austria, 2023.

B. Nan et al., “Bottom-up synthesis of SnTe-based thermoelectric composites,” ACS Applied Materials and Interfaces, vol. 15, no. 19. American Chemical Society, pp. 23380–23389, 2023.

A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Sari, and D. J. Kraft, “Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles,” Nano Letters, vol. 23, no. 10. American Chemical Society, pp. 4267–4273, 2023.

B. Nan et al., “Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature,” ACS Applied Electronic Materials. American Chemical Society, 2023.

T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces and the circle method,” Algebra and Number Theory, vol. 17, no. 3. Mathematical Sciences Publishers, pp. 719–748, 2023.

E. Redchenko, A. V. Poshakinskiy, R. Sett, M. Zemlicka, A. N. Poddubny, and J. M. Fink, “Tunable directional photon scattering from a pair of superconducting qubits,” Nature Communications, vol. 14. Springer Nature, 2023.

R. Sahu et al., “Entangling microwaves with light,” Science, vol. 380, no. 6646. American Association for the Advancement of Science, pp. 718–721, 2023.

N. Clozeau, M. Josien, F. Otto, and Q. Xu, “Bias in the representative volume element method: Periodize the ensemble instead of its realizations,” Foundations of Computational Mathematics. Springer Nature, 2023.

E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, and J. M. Fink, “Tunable directional photon scattering from a pair of superconducting qubits.” Zenodo, 2023.

R. Sahu, “Entangling microwaves with light.” Zenodo, 2023.

A. A. Vetrova et al., “The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization,” Scientific Reports, vol. 13. Springer Nature, 2023.

P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” Physical Review B, vol. 107, no. 18. American Physical Society, 2023.

C. Chen et al., “Multi-copper oxidases SK and SK coordinate cell wall formation using apoplastic redox-based reactions in roots,” Plant Physiology, vol. 192, no. 3. American Society of Plant Biologists, pp. 2243–2260, 2023.

C. C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, and P. Cluzel, “Monitoring lineages of growing and dividing bacteria reveals an inducible memory of mar operon expression,” Frontiers in Microbiology, vol. 14. Frontiers, 2023.

S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, and C.-P. J. Heisenberg, “Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes,” PLoS Biology, vol. 21, no. 6. Public Library of Science, p. e3002146, 2023.

G. M. Grosjean and S. R. Waitukaitis, “Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts,” Physical Review Materials, vol. 7, no. 6. American Physical Society, 2023.

J. A. Charlton, W. F. Mlynarski, Y. H. Bai, A. M. Hermundstad, and R. L. T. Goris, “Environmental dynamics shape perceptual decision bias,” PLoS Computational Biology, vol. 19, no. 6. Public Library of Science, 2023.

D. Dormeshkin et al., “Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein,” Vaccines, vol. 11, no. 6. MDPI, 2023.

M. Schörner et al., “X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula,” Physical Review E, vol. 107, no. 6. American Physical Society, 2023.

S. Agafonova, M. Lemeshko, and A. Volosniev, “Finite-range bias in fitting three-body loss to the zero-range model,” Physical Review A, vol. 107, no. 6. American Physical Society, 2023.