Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173

Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3

Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481

Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512

Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36

Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716

Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32

Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407

Currin C, Beyer C. Altered childhood brain development in autism and epilepsy. In: Halpern-Felsher B, ed. Encyclopedia of Child and Adolescent Health. 1st ed. Elsevier; 2023:86-98. doi:10.1016/b978-0-12-818872-9.00129-1

Zhao L, Yang Y, Chen J, et al. Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. 2023;24. doi:10.1186/s13059-022-02844-2

Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113

Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations .

Hoffmann C, Hubádek P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19

Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1

Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15

Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826

Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6

Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7

GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7

Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17

Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230

Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331

Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHP - Austrian-Slovenian HPC Meeting 2023. EuroCC; :42-42.

Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHP - Austrian-Slovenian HPC Meeting 2023. EuroCC; :59-59.

Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129

Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029

Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi:10.21468/scipostphyscodeb.12

Rammelmüller L, Huber D, Volosniev A. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0

De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428

Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9

Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048

Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1119002

Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating general manifolds. Discrete &; Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7

Hof B. Directed percolation and the transition to turbulence. Nature Reviews Physics. 2023;5:62-72. doi:10.1038/s42254-022-00539-y

Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221

Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. 2023;954. doi:10.1017/jfm.2022.1001

Bolnick DI, Hund AK, Nosil P, et al. A multivariate view of the speciation continuum. Evolution: International journal of organic evolution. 2023;77(1):318-328. doi:10.1093/evolut/qpac004

Forghani M, Claramunt C, Karimipour F, Heiler G. Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In: 2022 IEEE International Conference on Data Mining Workshops. Institute of Electrical and Electronics Engineers; 2023. doi:10.1109/icdmw58026.2022.00093

Krokhin A, Oprsal J, Wrochna M, divný S. Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. 2023;52(1):38-79. doi:10.1137/20m1378223

Rojas Vega MN, De Castro P, Soto R. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 2023;107(1). doi:10.1103/PhysRevE.107.014608

Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239

Villalba Requena A, Hippenmeyer S. Going back in time with TEMPO. Neuron. 2023;111(3):291-293. doi:10.1016/j.neuron.2023.01.006

Mrestani A, Lichter K, Sirén AL, Heckmann M, Paul MM, Pauli M. Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. 2023;24(3). doi:10.3390/ijms24032128

Alistarh D-A, Ellen F, Rybicki J. Wait-free approximate agreement on graphs. Theoretical Computer Science. 2023;948(2). doi:10.1016/j.tcs.2023.113733

Dubief Y, Terrapon VE, Hof B. Elasto-inertial turbulence. Annual Review of Fluid Mechanics. 2023;55(1):675-705. doi:10.1146/annurev-fluid-032822-025933

Avila M, Barkley D, Hof B. Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. 2023;55:575-602. doi:10.1146/annurev-fluid-120720-025957

Araújo NAM, Janssen LMC, Barois T, et al. Steering self-organisation through confinement. Soft Matter. 2023;19:1695-1704. doi:10.1039/d2sm01562e

Cheng B, Hamel S, Bethkenhagen M. Thermodynamics of diamond formation from hydrocarbon mixtures in planets. Nature Communications. 2023;14. doi:10.1038/s41467-023-36841-1

Bernabeu E, Mccartney DL, Gadd DA, et al. Refining epigenetic prediction of chronological and biological age. Genome Medicine. 2023;15. doi:10.1186/s13073-023-01161-y

Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. 2023;8(3):1595-1602. doi:10.1109/LRA.2023.3240930

García-Romero Á, Waters JE, Jethwa RB, et al. Highly adaptive nature of group 15 tris(quinolyl) ligandsstudies with coinage metals. Inorganic Chemistry. 2023;62(11):4625-4636. doi:10.1021/acs.inorgchem.3c00057

Volosniev A, Shiva Kumar A, Lorenc D, et al. Spin-electric coupling in lead halide perovskites. Physical Review Letters. 2023;130(10). doi:10.1103/physrevlett.130.106901

Volosniev A, Shiva Kumar A, Lorenc D, et al. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 2023;107(12). doi:10.1103/physrevb.107.125201

Rothman JS, Borges Merjane C, Holderith N, Jonas PM, Angus Silver R. Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy. PLoS ONE. 2023;18(3 March). doi:10.1371/journal.pone.0277148

Hurtig F, Burgers TCQ, Cezanne A, et al. The patterned assembly and stepwise Vp-mediated disassembly of composite ESCRT-III polymers drives archaeal cell division. Science Advances. 2023;9(11). doi:10.1126/sciadv.ade5224

Pak MA, Markhieva KA, Novikova MS, et al. Using AlphaFold to predict the impact of single mutations on protein stability and function. PLoS ONE. 2023;18(3). doi:10.1371/journal.pone.0282689

Sazanov LA. From the ack box”10.1042/BCJ20210285__to mino effect”10.1042/BCJ20210285__mechanism: What have we learned from the structures of respiratory complex I. The Biochemical Journal. 2023;480(5):319-333. doi:10.1042/BCJ20210285

Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685

Karle V, Ghazaryan A, Lemeshko M. Topological charges of periodically kicked molecules. Physical Review Letters. 2023;130(10). doi:10.1103/PhysRevLett.130.103202

Ghazaryan A, Holder T, Berg E, Serbyn M. Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity. Physical Review B. 2023;107(10). doi:10.1103/PhysRevB.107.104502

Clark Di Leoni P, Agasthya LN, Buzzicotti M, Biferale L. Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks. The European Physical Journal E. 2023;46(3). doi:10.1140/epje/s10189-023-00276-9

Huljev K, Shamipour S, Nunes Pinheiro DC, et al. A hydraulic feedback loop between mesendoderm cell migration and interstitial fluid relocalization promotes embryonic axis formation in zebrafish. Developmental Cell. 2023;58(7):582-596.e7. doi:10.1016/j.devcel.2023.02.016

Zeng Z, Yakaboylu E, Lemeshko M, Shi T, Schmidt R. Variational theory of angulons and their rotational spectroscopy. The Journal of Chemical Physics. 2023;158(13). doi:10.1063/5.0135893

Ljubotina M, Desaules JY, Serbyn M, Papi Z. Superdiffusive energy transport in kinetically constrained models. Physical Review X. 2023;13(1). doi:10.1103/PhysRevX.13.011033

He R, Yang L, Zhang Y, et al. A CrMnFeCoNi high entropy alloy boosting oxygen evolution/reduction reactions and zinc-air battery performance. Energy Storage Materials. 2023;58(4):287-298. doi:10.1016/j.ensm.2023.03.022

Martinet Q, Aubret A, Palacci JA. Rotation control, interlocking, and selfpositioning of active cogwheels. Advanced Intelligent Systems. 2023;5(1). doi:10.1002/aisy.202200129

Brandstätter T, Brückner D, Han YL, Alert R, Guo M, Broedersz CP. Curvature induces active velocity waves in rotating spherical tissues. Nature Communications. 2023;14. doi:10.1038/s41467-023-37054-2

Sokolova A, Kalacheva DA, Fedorov GP, Astafiev OV. Overcoming photon blockade in a circuit-QED single-atom maser with engineered metastability and strong coupling. Physical Review A. 2023;107(3). doi:10.1103/PhysRevA.107.L031701

Schmid L, Ekbatani F, Hilbe C, Chatterjee K. Quantitative assessment can stabilize indirect reciprocity under imperfect information. Nature Communications. 2023;14. doi:10.1038/s41467-023-37817-x

Safavi S, Panagiotaropoulos TI, Kapoor V, Ramirez Villegas JF, Logothetis NK, Besserve M. Uncovering the organization of neural circuits with Generalized Phase Locking Analysis. PLoS Computational Biology. 2023;19(4). doi:10.1371/journal.pcbi.1010983

Chen K, Kunkel C, Cheng B, Reuter K, Margraf JT. Physics-inspired machine learning of localized intensive properties. Chemical Science. 2023. doi:10.1039/d3sc00841j

Jiang L, Yao B, Zhang X, et al. Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth. Plant Journal. 2023;115(1):155-174. doi:10.1111/tpj.16218

Benes N, Brim L, Huvar O, Pastva S, Safránek D. Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. 2023;39(4). doi:10.1093/bioinformatics/btad158

Kaneshiro JM, Capitanio JS, Hetzer M. Lamin10.1080/19491034.2023.2202548__overexpression alters chromatin organization and gene expression. Nucleus. 2023;14(1). doi:10.1080/19491034.2023.2202548

Suzuki F, Unruh WG. Numerical quantum clock simulations for measuring tunneling times. Physical Review A. 2023;107(4). doi:10.1103/PhysRevA.107.042216

Díez-Mérida J, Díez-Carlón A, Yang SY, et al. Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene. Nature Communications. 2023;14. doi:10.1038/s41467-023-38005-7

Fellner K, Fischer JL, Kniely M, Tang BQ. Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. 2023;33. doi:10.1007/s00332-023-09926-w

Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. Interfaces and Free Boundaries. 2023;25(1):37-107. doi:10.4171/IFB/484

Schmid R, Cheng B. Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. 2023;158(16). doi:10.1063/5.0146711

Liu Z, Piovarci M, Hafner C, Charrondiere R, Bickel B. Directionality-aware design of embroidery patterns. Computer Graphics Forum. 2023;42(2):397-409. doi:10.1111/cgf.14770 

Zavadakova A, Vistejnova L, Belinova T, Tichanek F, Bilikova D, Mouton PR. Novel stereological method for estimation of cell counts in 3D collagen scaffolds. Scientific Reports. 2023;13(1). doi:10.1038/s41598-023-35162-z

Troussicot L, Vallet A, Molin M, Burmann BM, Schanda P. Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. 2023;145(19):10700–10711. doi:10.1021/jacs.3c01200

Anastos M. A note on long cycles in sparse random graphs. Electronic Journal of Combinatorics. 2023;30(2). doi:10.37236/11471

Schanda P. Research data of the publication “Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR.”10.15479/AT:ISTA:12820__2023. doi:10.15479/AT:ISTA:12820

French M, Bethkenhagen M, Ravasio A, Hernandez JA. Ab initio calculation of the reflectivity of molecular fluids under shock compression. Physical Review B. 2023;107(13). doi:10.1103/PhysRevB.107.134109

Nan B, Song X, Chang C, et al. Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. 2023;15(19):23380–23389. doi:10.1021/acsami.3c00625

Azadbakht A, Meadowcroft B, Varkevisser T, Sari A, Kraft DJ. Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. 2023;23(10):4267–4273. doi:10.1021/acs.nanolett.3c00375

Nan B, Li M, Zhang Y, et al. Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. 2023. doi:10.1021/acsaelm.3c00055

Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. 2023;17(3):719-748. doi:10.2140/ant.2023.17.719

Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. 2023;14. doi:10.1038/s41467-023-38761-6

Sahu R, Qiu L, Hease WJ, et al. Entangling microwaves with light. Science. 2023;380(6646):718-721. doi:10.1126/science.adg3812

Clozeau N, Josien M, Otto F, Xu Q. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. 2023. doi:10.1007/s10208-023-09613-y

Redchenko E, Poshakinskiy A, Sett R, Zemlicka M, Poddubny A, Fink JM. Tunable directional photon scattering from a pair of superconducting qubits. 2023. doi:10.5281/ZENODO.7858567

Sahu R. Entangling microwaves with light. 2023. doi:10.5281/ZENODO.7789417

Vetrova AA, Kupaeva DM, Kizenko A, et al. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 2023;13. doi:10.1038/s41598-023-35979-8

Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 2023;107(18). doi:10.1103/PhysRevB.107.184312

Chen C, Zhang Y, Cai J, et al. Multi-copper oxidases SK and SK coordinate cell wall formation using apoplastic redox-based reactions in roots. Plant Physiology. 2023;192(3):2243-2260. doi:10.1093/plphys/kiad207