Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790

Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.

Currin C, Asiedu  MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: 1st Workshop on Machine Learning &; Global Health. OpenReview; 2023.

Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9

Tennage P, Basescu C, Kokoris Kogias E, et al. QuePaxa: Escaping the tyranny of timeouts in consensus. In: Proceedings of the 29th Symposium on Operating Systems Principles. Association for Computing Machinery; 2023:281-297. doi:10.1145/3600006.3613150

Chen Y-L, Ly M, Wojtan C. Unified treatment of contact, friction and shock-propagation in rigid body animation. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery; 2023. doi:10.1145/3606037.3606836

Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723

Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984

Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103

Stankowski S. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. 2023. doi:10.5281/ZENODO.8318995

Abualia R, Riegler S, Benková E. Nitrate, auxin and cytokinin - a trio to tango. Cells. 2023;12(12). doi:10.3390/cells12121613

Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323

Zhang C, Janzing D, van der Schaar M, et al. Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In: 2nd Conference on Causal Learning and Reasoning. ; 2023.

Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173

Drout MR, Götberg YLL, Ludwig BA, et al. An observed population of intermediate-mass helium stars that have been stripped in binaries. Science. 2023;382(6676):1287-1291. doi:10.1126/science.ade4970

Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9

Mondal S, Jethwa RB, Pant B, Hauschild R, Freunberger SA. Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. 2023. doi:10.1039/d3fd00088e

Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587

Esposito AR, Mondelli M. Concentration without independence via information measures. In: Proceedings of 2023 IEEE International Symposium on Information Theory. IEEE; 2023:400-405. doi:10.1109/isit54713.2023.10206899

Kwan MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361():565-575. doi:10.5802/crmath.423

Agresti A, Hussein A. Maximal Lp-regularity and He-calculus for block operator matrices and applications. Journal of Functional Analysis. 2023;285(11). doi:10.1016/j.jfa.2023.110146

Michael AK, Stoos L, Crosby P, et al. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 2023;619(7969):385-393. doi:10.1038/s41586-023-06282-3

Isbel L, Iskar M, Durdu S, et al. Readout of histone methylation by Trim24 locally restricts chromatin opening by . Nature Structural &; Molecular Biology. 2023;30(7):948-957. doi:10.1038/s41594-023-01021-8

Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. doi:10.48550/arXiv.2301.01712

Heyl J, Taverna R, Turolla R, et al. The detection of polarized X-ray emission from the magnetar 1E 2259+586. Monthly Notices of the Royal Astronomical Society. 2023;527(4):12219-12231. doi:10.1093/mnras/stad3680

Doroshenko V, Poutanen J, Heyl J, et al. Complex variations in X-ray polarization in the X-ray pulsar LS V +44 17/RX J0440.9+4431. Astronomy &; Astrophysics. 2023;677. doi:10.1051/0004-6361/202347088

Burdge KB, El-Badry K, Rappaport S, et al. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 2023;953(1). doi:10.3847/2041-8213/ace7cf

Rodriguez AC, Galiullin I, Gilfanov M, et al. SRGeJ045359.9+622444: A 55 minute period eclipsing AM Canum Venaticorum star discovered from a joint SRG/eROSITA + ZTF search. The Astrophysical Journal. 2023;954(1). doi:10.3847/1538-4357/ace698

Caiazzo I, Burdge KB, Tremblay P-E, et al. A rotating white dwarf shows different compositions on its opposite faces. Nature. 2023;620(7972):61-66. doi:10.1038/s41586-023-06171-9

Fleury L, Caiazzo I, Heyl J. The origin of ultramassive white dwarfs: hints from Gaia ED. Monthly Notices of the Royal Astronomical Society. 2023;520(1):364-374. doi:10.1093/mnras/stad068

Miller DR, Caiazzo I, Heyl J, et al. An extremely massive white dwarf escaped from the Hyades star cluster. The Astrophysical Journal Letters. 2023;956(2). doi:10.3847/2041-8213/acffc4

Bolin BT, Noll KS, Caiazzo I, Fremling C, Binzel RP. Keck and Gemini spectral characterization of Lucy mission fly-by target (152830) Dinkinesh. Icarus. 2023;400. doi:10.1016/j.icarus.2023.115562

Fleury L, Caiazzo I, Heyl J. Constraining axions with ZTF J1901+1458. Physical Review D. 2023;107(10). doi:10.1103/physrevd.107.l101303

Zane S, Taverna R, González–Caniulef D, et al. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 2023;944(2). doi:10.3847/2041-8213/acb703

Rodriguez AC, Kulkarni SR, Prince TA, et al. Discovery of two polars from a crossmatch of ZTF and the SRG/eFEDS x-ray catalog. The Astrophysical Journal. 2023;945(2). doi:10.3847/1538-4357/acbb6f

González-Caniulef D, Caiazzo I, Heyl J. Unbinned likelihood analysis for X-ray polarization. Monthly Notices of the Royal Astronomical Society. 2023;519(4):5902-5912. doi:10.1093/mnras/stad033

González-Caniulef D, Caiazzo I, Heyl J. IXPE simulations for magnetars. Proceedings of the International Astronomical Union. 2023;16(3):314-317. doi:10.1017/s1743921322000679

Heyl J, Caiazzo I, González-Caniulef D. X-ray polarization at the crossroads. Proceedings of the International Astronomical Union. 2023;16(3):80-91. doi:10.1017/s1743921322000916

Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. doi:10.1101/2023.12.02.569702

Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082

Condor J, Piovarci M, Bickel B, Didyk P. Gloss-aware color correction for 3D printing. In: SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591546

Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028

Stankowski S, Zagrodzka ZB, Galindo J, et al. Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. 2023;2(1). doi:10.1093/evolinnean/kzad002

Lasne C, Elkrewi MN, Toups MA, Layana Franco LA, Macon A, Vicoso B. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. 2023;40(12). doi:10.1093/molbev/msad245

Lasne C, Elkrewi MN. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. 2023. doi:10.15479/AT:ISTA:14614

Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641

Gnyliukh N, Johnson AJ, Nagel M-K, et al. Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in plants. bioRxiv. doi:10.1101/2023.10.09.561523

Piovarci M, Chapiro A, Bickel B. Skin-Screen: A computational fabrication framework for color tattoos. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592432

Chatterjee K, Kafshdar Goharshady E, Novotný P, Zárevúcky J, Zikelic D. On lexicographic proof rules for probabilistic termination. Formal Aspects of Computing. 2023;35(2). doi:10.1145/3585391

Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885

Westram AM, Butlin R. Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize. Molecular Ecology. 2023;32(1):26-29. doi:10.1111/mec.16779

Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491

Schauer A. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. 2023. doi:10.15479/at:ista:12891

Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809

Kravchuk V. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. 2023. doi:10.15479/at:ista:12781

Wang Y, Yuan Z, Wang J, et al. The nitrate transporter NR.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. 2023;120(25). doi:10.1073/pnas.2221313120

Stephenson ER. Generalizing medial axes with homology switches. 2023. doi:10.15479/at:ista:14226

Kirillova K. Panoramic functional gradients across the mouse retina. 2023. doi:10.15479/at:ista:12531

Julseth M. The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. 2023. doi:10.15479/at:ista:12800

Gnyliukh N. Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. 2023. doi:10.15479/at:ista:14510

Hafner C. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi:10.15479/at:ista:12897

Hafner C, Bickel B. The design space of Kirchhoff rods. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3606033

Michalska JM. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. 2023. doi:10.15479/at:ista:12470

Hosten O. Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. 2022;4(1). doi:10.1103/PhysRevResearch.4.013023

Dubini RCA, Korytiaková E, Schinkel T, Heinrichs P, Carell T, Rovo P. 1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives. ACS Physical Chemistry Au. 2022;2(3):237-246. doi:10.1021/acsphyschemau.1c00050

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Flavors of sequential information flow. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 13182. Springer Nature; 2022:1-19. doi:10.1007/978-3-030-94583-1_1

Daguerre L, Torroba G, Medina Ramos RA, Solís M. Non relativistic quantum field theory: Dynamics and irreversibility. Anales de la Asociacion Fisica Argentina. 2022;32(4):93-98. doi:10.31527/analesafa.2021.32.4.93

Lombardi F, Herrmann HJ, Parrino L, et al. Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades. bioRxiv. 2022. doi:10.1101/2022.03.03.482657

Maslov M, Lemeshko M, Volosniev A. Impurity with a resonance in the vicinity of the Fermi energy. Physical Review Research. 2022;4. doi:10.1103/PhysRevResearch.4.013160

Davidovi A, Chait RP, Batt G, Ruess J. Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. PLoS Computational Biology. 2022;18(3). doi:10.1371/journal.pcbi.1009950

Liu J, Hetzer M. Nuclear pore complex maintenance and implications for age-related diseases. Trends in Cell Biology. 2022;32(3):6-227. doi:10.1016/j.tcb.2021.10.001

Alistarh D-A, Gelashvili R, Rybicki J. Fast graphical population protocols. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.14

Nikabadi A, Korhonen J. Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.15

Kroll J, Ruiz-Fernandez MJA, Braun MB, Merrin J, Renkawitz J. Quantifying the probing and selection of microenvironmental pores by motile immune cells. Current Protocols. 2022;2(4). doi:10.1002/cpz1.407

Chambers E, Fillmore CD, Stephenson ER, Wintraecken M. A cautionary tale: Burning the medial axis is unstable. In: Goaoc X, Kerber M, eds. 38th International Symposium on Computational Geometry. Vol 224. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:66:1-66:9. doi:10.4230/LIPIcs.SoCG.2022.66

Shevchenko A, Kungurtsev V, Mondelli M. Mean-field analysis of piecewise linear solutions for wide ReLU networks. Journal of Machine Learning Research. 2022;23(130):1-55.

Karimipour F, Storandt S, eds. Web and Wireless Geographical Information Systems. Vol 13238. 1st ed. Cham: Springer Nature; 2022. doi:10.1007/978-3-031-06245-2

Bleile B, Garin A, Heiss T, Maggs K, Robins V. The persistent homology of dual digital image constructions. In: Gasparovic E, Robins V, Turner K, eds. Research in Computational Topology 2. Vol 30. 1st ed. AWMS. Cham: Springer Nature; 2022:1-26. doi:10.1007/978-3-030-95519-9_1

Chlebak CA, Reid PH. From the prefect’s desk: Gerard van Swieten’s library correspondence. Library and Information History. 2022;38(1):23-41. doi:10.3366/lih.2022.0097

Artan M, de Bono M. Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling. In: Yamamoto D, ed. Behavioral Neurogenetics. Vol 181. NM. New York: Springer Nature; 2022:277-294. doi:10.1007/978-1-0716-2321-3_15

Kusakabe H, Verhamme A, Blaizot J, et al. The MUSE eXtremely Deep Field: Individual detections of Ly;1 haloes around rest-frame UV-selected galaxies at z10.1051/0004-6361/202142302__2.9–4.4. Astronomy &; Astrophysics. 2022;660. doi:10.1051/0004-6361/202142302

Kerutt J, Wisotzki L, Verhamme A, et al. Equivalent widths of Lyman ;1 emitters in MUSE-Wide and MUSE-Deep. Astronomy &; Astrophysics. 2022;659. doi:10.1051/0004-6361/202141900

Matthee JJ, Feltre A, Maseda M, et al. Deciphering stellar metallicities in the early universe: Case study of a young galaxy at z = 4.77 in the MUSE eXtremely Deep Field. Astronomy &; Astrophysics. 2022;660. doi:10.1051/0004-6361/202142187

Isobe Y, Ouchi M, Suzuki A, et al. EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M= 10<sup>4</sup>-10<sup>5</sup> and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae. The Astrophysical Journal. 2022;925(2). doi:10.3847/1538-4357/ac3509

Sobral D, van der Wel A, Bezanson R, et al. The LEGA-C of nature and nurture in stellar populations at z c 0.6–1.0: Dn4000 and H;4 reveal different assembly histories for quiescent galaxies in different environments. The Astrophysical Journal. 2022;926(2). doi:10.3847/1538-4357/ac4419

Gebek A, Matthee JJ. On the variation in stellar ;1-enhancements of star-forming galaxies in the EAGLE simulation. The Astrophysical Journal. 2022;924(2). doi:10.3847/1538-4357/ac350b

Matthee JJ, Naidu RP, Pezzulli G, et al. (Re)Solving reionization with Ly;1: How bright Ly;1 emitters account for the z10.1093/mnras/stac801__210.1093/mnras/stac801__8 cosmic ionizing background. Monthly Notices of the Royal Astronomical Society. 2022;512(4):5960-5977. doi:10.1093/mnras/stac801

Clark T, Drach K, Kozlovski O, Strien SV. The dynamics of complex box mappings. Arnold Mathematical Journal. 2022;8(2):319-410. doi:10.1007/s40598-022-00200-7

Zinn JC, Stello D, Elsworth Y, et al. The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in – and 0–8. The Astrophysical Journal. 2022;926(2). doi:10.3847/1538-4357/ac2c83

Mathur S, García RA, Breton S, et al. Detections of solar-like oscillations in dwarfs and subgiants with Kepler D short-cadence data. Astronomy &; Astrophysics. 2022;657. doi:10.1051/0004-6361/202141168

Bugnet LA. Hidden currents at the Sun’s surface. Nature Astronomy. 2022;6:631-632. doi:10.1038/s41550-022-01683-2

Dhouib H, Mathis S, Bugnet LA, Van Reeth T, Aerts C. Detecting deep axisymmetric toroidal magnetic fields in stars: The traditional approximation of rotation for differentially rotating deep spherical shells with a general azimuthal magnetic field. Astronomy &; Astrophysics. 2022;661. doi:10.1051/0004-6361/202142956

Ngampruetikorn V, Sachdeva V, Torrence J, Humplik J, Schwab DJ, Palmer SE. Inferring couplings in networks across order-disorder phase transitions. Physical Review Research. 2022;4(2). doi:10.1103/PhysRevResearch.4.023240

Henzinger MH, Peng P. Constant-time Dynamic ( +1)-Coloring. ACM Transactions on Algorithms. 2022;18(2). doi:10.1145/3501403

Barton NH. The “New Synthesis.”10.1073/pnas.2122147119__Proceedings of the National Academy of Sciences of the United States of America. 2022;119(30). doi:10.1073/pnas.2122147119

Nikolic N, Sauert M, Albanese TG, Moll I. Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli. BMC Research Notes. 2022;15. doi:10.1186/s13104-022-06061-9

Hanauer K, Henzinger MH, Hua QC. Fully dynamic four-vertex subgraph counting. In: 1st Symposium on Algorithmic Foundations of Dynamic Networks. Vol 221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.SAND.2022.18

Hanauer K, Henzinger MH, Schulz C. Recent advances in fully dynamic graph algorithms. In: 1st Symposium on Algorithmic Foundations of Dynamic Networks. Vol 221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.SAND.2022.1

Wirth M. Kac regularity and domination of quadratic forms. Advances in Operator Theory. 2022;7(3). doi:10.1007/s43036-022-00199-w