L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a stochastic game,” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2024.

A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and J. Svoboda, “Deterministic sub-exponential algorithm for discounted-sum games with unary weights,” arXiv. .

A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and J. Svoboda, “Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms,” arXiv. .

L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Zero-sum random games on directed graphs,” arXiv. .

U. Derenthal and F. A. Wilsch, “Integral points on singular del Pezzo surfaces,” Journal of the Institute of Mathematics of Jussieu, vol. 23, no. 3. Cambridge University Press, pp. 1259–1294, 2024.

N. Froleyks, Z. Yu, and A. Biere, “Ternary simulation as abstract interpretation (Work in Progress),” in 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, Kaiserslautern, Germany, pp. 148–151.

J. Sheng et al., “Orthogonal photoswitching in a porous organic framework,” Angewandte Chemie International Edition, vol. 63, no. 23. Wiley, 2024.

E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions, vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.

A. Ghazaryan, A. Cappellaro, M. Lemeshko, and A. Volosniev, “Dissipative dynamics of an impurity with spin-orbit coupling,” Physical Review Research, vol. 5, no. 1. American Physical Society, 2023.

P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.

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.

S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.

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.

C. Currin and C. Beyer, “Altered childhood brain development in autism and epilepsy,” in Encyclopedia of Child and Adolescent Health, 1st ed., B. Halpern-Felsher, Ed. Elsevier, 2023, pp. 86–98.

L. Zhao et al., “Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat,” Genome Biology, vol. 24. Springer Nature, 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.

B. B. GOSWAMI, “Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend,” Climate Dynamics, vol. 60. Springer Nature, pp. 427–442, 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.

B. Hof, “Directed percolation and the transition to turbulence,” Nature Reviews Physics, vol. 5. Springer Nature, pp. 62–72, 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. Villalba Requena and S. Hippenmeyer, “Going back in time with TEMPO,” Neuron, vol. 111, no. 3. Elsevier, pp. 291–293, 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.

Á. García-Romero et al., “Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals,” Inorganic Chemistry, vol. 62, no. 11. American Chemical Society, pp. 4625–4636, 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.

R. He et al., “A CrMnFeCoNi high entropy alloy boosting oxygen evolution/reduction reactions and zinc-air battery performance,” Energy Storage Materials, vol. 58, no. 4. Elsevier, pp. 287–298, 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.

L. Jiang et al., “Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth,” Plant Journal, vol. 115, no. 1. Wiley, pp. 155–174, 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.

M. French, M. Bethkenhagen, A. Ravasio, and J. A. Hernandez, “Ab initio calculation of the reflectivity of molecular fluids under shock compression,” Physical Review B, vol. 107, no. 13. American Physical Society, 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.