Beznosikov, Aleksandr, et al. “On Biased Compression for Distributed Learning.” Journal of Machine Learning Research, vol. 24, Journal of Machine Learning Research, 2023, pp. 1–50.

Kisan, Jan Matyás, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.”10.1007/978-3-031-43587-4_24__24th International Symposium on Fundamentals of Computation Theory, vol. 14292, Springer Nature, 2023, pp. 333–47, doi:10.1007/978-3-031-43587-4_24.

Cohen, Shir, et al. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.”10.1007/978-3-031-47751-5_3__27th International Conference on Financial Cryptography and Data Security, vol. 13951, Springer Nature, 2023, pp. 36–53, doi:10.1007/978-3-031-47751-5_3.

Schwayer, Cornelia, and David Brückner. “Connecting Theory and Experiment in Cell and Tissue Mechanics.”10.1242/jcs.261515__Journal of Cell Science, vol. 136, no. 24, jcs. 261515, The Company of Biologists, 2023, doi:10.1242/jcs.261515.

Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”10.1609/aaai.v37i10.26407__Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 10, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–35, doi:10.1609/aaai.v37i10.26407.

Sakref, Yann, et al. “On Kinetic Constraints That Catalysis Imposes on Elementary Processes.”10.1021/acs.jpcb.3c04627__The Journal of Physical Chemistry B, vol. 127, no. 51, American Chemical Society, 2023, pp. 10950–59, doi:10.1021/acs.jpcb.3c04627.

Azadbakht, Ali, et al. “Nonadditivity in Interactions between Three Membrane-Wrapped Colloidal Spheres.”10.1016/j.bpj.2023.12.020__Biophysical Journal, Elsevier, doi:10.1016/j.bpj.2023.12.020.

Becker, Lea Marie, et al. “Cover Picture: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by MagicAngleSpinning NMR Spectroscopy of Aromatic Residues.”10.1002/anie.202304138__Angewandte Chemie International Edition, vol. 62, no. 19, e202304138, Wiley, 2023, doi:10.1002/anie.202304138.

Cipolloni, Giorgio, et al. “On the Rightmost Eigenvalue of Non-Hermitian Random Matrices.”10.1214/23-aop1643__The Annals of Probability, vol. 51, no. 6, Institute of Mathematical Statistics, 2023, pp. 2192–242, doi:10.1214/23-aop1643.

Becker, Lea Marie, et al. “Der starre Kern und die flexible Oberfläche von Amyloidfibrillen – MagicAngleSpinning NMR Spektroskopie von aromatischen Resten.”10.1002/ange.202219314__Angewandte Chemie, vol. 135, no. 19, e202219314, Wiley, 2023, doi:10.1002/ange.202219314.

Haerter, Jan O., and Caroline J. Muller. “Mechanisms for the SelfOrganization of Tropical Deep Convection.”10.1002/9781119700357.ch8__Clouds and Their Climatic Impacts, edited by Sylvia Sullivan and Corinna Hoose, Wiley, 2023, pp. 179–93, doi:10.1002/9781119700357.ch8.

Sudec, I., and Paul Schanda. “Preparing Chaperone–Client Protein Complexes for Biophysical and Structural Studies.”10.1039/bk9781839165986-00136__Biophysics of Molecular Chaperones, edited by Sebastian Hiller et al., vol. 29, Royal Society of Chemistry, 2023, pp. 136–61, doi:10.1039/bk9781839165986-00136.

Wruck, F., et al. “Probing Single Chaperone Substrates.”10.1039/bk9781839165986-00278__Biophysics of Molecular Chaperones, edited by Sebastian Hiller et al., vol. 29, Royal Society of Chemistry, 2023, pp. 278–318, doi:10.1039/bk9781839165986-00278.

Mitrouskas, David Johannes, and Robert Seiringer. “Ubiquity of Bound States for the Strongly Coupled Polaron.”10.2140/paa.2023.5.973__Pure and Applied Analysis, vol. 5, no. 4, Mathematical Sciences Publishers, 2023, pp. 973–1008, doi:10.2140/paa.2023.5.973.

Sahu, Rishabh, et al. “Entangling Microwaves and Telecom Wavelength Light.”10.1364/ls.2023.lm1f.3__Frontiers in Optics + Laser Science 2023, LM1F.3, Optica Publishing Group, 2023, doi:10.1364/ls.2023.lm1f.3.

Anastos, Michael. “Constructing Hamilton Cycles and Perfect Matchings Efficiently.”10.5817/cz.muni.eurocomb23-005__Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41, doi:10.5817/cz.muni.eurocomb23-005.

Stöllner, Andrea, et al. “Measuring Spontaneous Charging of Single Aerosol Particles.”10.5194/egusphere-egu23-6166__EGU General Assembly 2023, 6166, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-6166.

Rella, Simon, et al. “Complex Vaccination Strategies Prevent the Emergence of Vaccine Resistance.”10.1093/eurpub/ckad160.597__European Journal of Public Health, vol. 33, no. Supplement_2, ckad160.597, Oxford University Press, 2023, doi:10.1093/eurpub/ckad160.597.

Polesello, Andrea, et al. “Intensification Mechanisms of Tropical Cyclones.”10.5194/egusphere-egu23-6157__EGU General Assembly 2023, EG-6157, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-6157.

Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.”10.1145/3592411__Transactions on Graphics, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:10.1145/3592411.

Chen, Huihuang, et al. “Distinct Functions of TI and AF Receptors in Auxin Signalling.”10.1016/j.molp.2023.06.007__Molecular Plant, vol. 16, no. 7, Elsevier , 2023, pp. 1117–19, doi:10.1016/j.molp.2023.06.007.

Feitosa Tomé, Douglas. Douglastome/Dynamic-Engrams: Dynamic and Selective Engrams Emerge with Memory Consolidation. Zenodo, 2023, doi:10.5281/ZENODO.10251087.

Mukhopadhyay, Soham, et al. “Superconductivity from a Melted Insulator in Josephson Junction Arrays.”10.1038/s41567-023-02161-w__Nature Physics, vol. 19, Springer Nature, 2023, pp. 1630–35, doi:10.1038/s41567-023-02161-w.

Qi, Linlin, and Jií Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.”10.1111/nph.19123__New Phytologist, vol. 240, no. 2, Wiley, 2023, pp. 489–95, doi:10.1111/nph.19123.

Minchington, Thomas, et al. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.”10.1016/j.coisb.2023.100459__Current Opinion in Systems Biology, vol. 35, 100459, Elsevier, 2023, doi:10.1016/j.coisb.2023.100459.

Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.”10.1016/j.jde.2023.05.038__Journal of Differential Equations, vol. 368, no. 9, Elsevier, 2023, pp. 247–300, doi:10.1016/j.jde.2023.05.038.

Brunck, Florestan R. “Iterated Medial Triangle Subdivision in Surfaces of Constant Curvature.”10.1007/s00454-023-00500-5__Discrete and Computational Geometry, vol. 70, no. 3, Springer Nature, 2023, pp. 1059–89, doi:10.1007/s00454-023-00500-5.

Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.”10.1109/TIT.2023.3292219__IEEE Transactions on Information Theory, vol. 69, no. 10, Institute of Electrical and Electronics Engineers, 2023, pp. 6340–57, doi:10.1109/TIT.2023.3292219.

Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.”10.4153/S000843952300036X__Canadian Mathematical Bulletin, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:10.4153/S000843952300036X.

Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.”10.1016/j.xplc.2023.100632__Plant Communications, vol. 4, no. 6, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.

Grober, Daniel, et al. “Unconventional Colloidal Aggregation in Chiral Bacterial Baths.”10.1038/s41567-023-02136-x__Nature Physics, vol. 19, Springer Nature, 2023, pp. 1680–88, doi:10.1038/s41567-023-02136-x.

Cornalba, Federico, and Julian L. Fischer. “The Dean-Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles.”10.1007/s00205-023-01903-7__Archive for Rational Mechanics and Analysis, vol. 247, no. 5, 76, Springer Nature, 2023, doi:10.1007/s00205-023-01903-7.

Kueffner, Konstantin, et al. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).”10.1007/s10009-023-00711-4__International Journal on Software Tools for Technology Transfer, vol. 25, Springer Nature, 2023, pp. 575–92, doi:10.1007/s10009-023-00711-4.

Napoli, Federico, et al. “Protein Dynamics Detected by Magic-Angle Spinning Relaxation Dispersion NMR.”10.1016/j.sbi.2023.102660__Current Opinion in Structural Biology, vol. 82, no. 10, 102660, Elsevier, 2023, doi:10.1016/j.sbi.2023.102660.

Henzinger, Monika H., et al. “A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems.”10.1007/s00453-023-01154-8__Algorithmica, vol. 85, Springer Nature, 2023, pp. 2680–3716, doi:10.1007/s00453-023-01154-8.

Rønning, Jonas, et al. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.”10.1039/d3sm00316g__Soft Matter, vol. 39, Royal Society of Chemistry, 2023, pp. 7513–27, doi:10.1039/d3sm00316g.

Vernooij, Matthijs, and Melchior Wirth. “Derivations and KMS-Symmetric Quantum Markov Semigroups.”10.1007/s00220-023-04795-6__Communications in Mathematical Physics, vol. 403, Springer Nature, 2023, pp. 381–416, doi:10.1007/s00220-023-04795-6.

Lombardi, Fabrizio, et al. “Beyond Pulsed Inhibition: Alpha Oscillations Modulate Attenuation and Amplification of Neural Activity in the Awake Resting State.”10.1016/j.celrep.2023.113162__Cell Reports, vol. 42, no. 10, 113162, Elsevier, 2023, doi:10.1016/j.celrep.2023.113162.

Ojavee, Sven E., et al. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.”10.1016/j.ajhg.2023.07.006__American Journal of Human Genetics, vol. 110, no. 9, Elsevier, 2023, pp. 1549–63, doi:10.1016/j.ajhg.2023.07.006.

Hausel, Tamás, et al. “Arithmetic and Metric Aspects of Open de Rham Spaces.”10.1112/plms.12555__Proceedings of the London Mathematical Society, vol. 127, no. 4, Wiley, 2023, pp. 958–1027, doi:10.1112/plms.12555.

Hirashima, Tsuyoshi, et al. “Stretching the Limits of Extracellular Signal-Related Kinase (ERK) Signaling — Cell Mechanosensing to ERK Activation.”10.1016/j.ceb.2023.102217__Current Opinion in Cell Biology, vol. 84, no. 10, 102217, Elsevier, 2023, doi:10.1016/j.ceb.2023.102217.

Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.”10.1016/j.jcta.2023.105776__Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776.

Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer Complex.”10.1002/ejoc.202300769__European Journal of Organic Chemistry, vol. 26, no. 42, e202300769, Wiley, 2023, doi:10.1002/ejoc.202300769.

Seiringer, Robert, and Jan Philip Solovej. “A Simple Approach to Lieb-Thirring Type Inequalities.”10.1016/j.jfa.2023.110129__Journal of Functional Analysis, vol. 285, no. 10, 110129, Elsevier, 2023, doi:10.1016/j.jfa.2023.110129.

Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.”10.1016/j.synthmet.2023.117463__Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.

Castellano, Ilaria, et al. “Weakly Weighted Generalised Quasi-Metric Spaces and Semilattices.”10.1016/j.tcs.2023.114129__Theoretical Computer Science, vol. 977, 114129, Elsevier, 2023, doi:10.1016/j.tcs.2023.114129.

Maes, Margaret E., et al. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.”10.1186/s13024-023-00659-8__Molecular Neurodegeneration, vol. 18, 67, Springer Nature, 2023, doi:10.1186/s13024-023-00659-8.

Fan, Zhi Yuan, et al. “Microwave-Optics Entanglement via Cavity Optomagnomechanics.”10.1002/lpor.202200866__Laser and Photonics Reviews, vol. 17, no. 12, 2200866, Wiley, 2023, doi:10.1002/lpor.202200866.

Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.”10.3389/fncir.2023.1146449__Frontiers in Neural Circuits, vol. 17, 1146449, Frontiers, 2023, doi:10.3389/fncir.2023.1146449.

Hwong, Yi-Ling, et al. “Evaluating Memory Properties in Convection Schemes Using Idealised Tests.”10.5194/egusphere-egu23-4968__EGU General Assembly 2023, EG-4968, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-4968.

Abramian, Sophie, et al. “Extreme Precipitation in Tropical Squall Lines.”10.5194/egusphere-egu23-15870__EGU General Assembly 2023, EG-15870, European Geosciences Union, 2023, doi:10.5194/egusphere-egu23-15870.

Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.”10.46298/theoretics.23.4__TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.

Bombari, Simone, et al. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” Proceedings of the 40th International Conference on Machine Learning, vol. 202, ML Research Press, 2023, pp. 2738–76.

Súkeník, Peter, et al. “Deep Neural Collapse Is Provably Optimal for the Deep Unconstrained Features Model.” 37th Annual Conference on Neural Information Processing Systems.

Wu, Diyuan, et al. “Mean-Field Analysis for Heavy Ball Methods: Dropout-Stability, Connectivity, and Global Convergence.” Transactions on Machine Learning Research, ML Research Press, 2023.

Shaw, Thomas, et al. Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer. Zenodo, 2023, doi:10.5281/ZENODO.8277285.

Knaus, Lisa. The Metabolism of the Developing Brainf: How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13107.

Knaus, Lisa, et al. “Large Neutral Amino Acid Levels Tune Perinatal Neuronal Excitability and Survival.”10.1016/j.cell.2023.02.037__Cell, vol. 186, no. 9, Elsevier, 2023, p. 1950–1967.e25, doi:10.1016/j.cell.2023.02.037.

Valentini, Marco, et al. “Radio Frequency Driven Superconducting Diode and Parity Conserving  Cooper Pair Transport in a Two-Dimensional Germanium Hole Gas.”10.48550/arXiv.2306.07109__ArXiv, 2306.07109, doi:10.48550/arXiv.2306.07109.

Burg, Max, et al. “Image Retrieval Outperforms Diffusion Models on Data Augmentation.” Journal of Machine Learning Research, ML Research Press, 2023.

Yao, Dingling, et al. “Multi-View Causal Representation Learning with Partial Observability.”10.48550/arXiv.2311.04056__ArXiv, 2311.04056, doi:10.48550/arXiv.2311.04056.

Maiorca, Valentino, et al. “Latent Space Translation via Semantic Alignment.”10.48550/arXiv.2311.00664__ArXiv, 2311.00664, doi:10.48550/arXiv.2311.00664.

Kori, Avinash, et al. “Grounded Object Centric Learning.”10.48550/arXiv.2307.09437__ArXiv, 2307.09437, doi:10.48550/arXiv.2307.09437.

Zhu, Zhenyu, et al. “Sample Complexity Bounds for Score-Matching: Causal Discovery and Generative Modeling.”10.48550/arXiv.2310.18123__ArXiv, 2310.18123, doi:10.48550/arXiv.2310.18123.

Montagna, Francesco, et al. “Assumption Violations in Causal Discovery and the Robustness of Score Matching.”10.48550/arXiv.2310.13387__ArXiv, 2310.13387, doi:10.48550/arXiv.2310.13387.

Fumero, Marco, et al. “Leveraging Sparse and Shared Feature Activations for Disentangled Representation Learning.”10.48550/arXiv.2304.07939__ArXiv, 2304.07939, doi:10.48550/arXiv.2304.07939.

Löwe, Sindy, et al. “Rotating Features for Object Discovery.”10.48550/arXiv.2306.00600__ArXiv, 2306.00600, doi:10.48550/arXiv.2306.00600.

Zhao, Zixu, et al. “Object-Centric Multiple Object Tracking.”10.48550/arXiv.2309.00233__ArXiv, 2309.00233, doi:10.48550/arXiv.2309.00233.

Montagna, Francesco, et al. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.”10.48550/arXiv.2310.14246__ArXiv, 2310.14246, doi:10.48550/arXiv.2310.14246.

Fan, Ke, et al. “Unsupervised Open-Vocabulary Object Localization in Videos.”10.48550/arXiv.2309.09858__ArXiv, 2309.09858, doi:10.48550/arXiv.2309.09858.

Xu, Danru, et al. “A Sparsity Principle for Partially Observable Causal Representation Learning.” Causal Representation Learning Workshop at NeurIPS 2023, 54, OpenReview, 2023.

Fu, Teng, et al. “Mismatched Estimation of Non-Symmetric Rank-One Matrices Corrupted by Structured Noise.”10.1109/isit54713.2023.10206671__Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, doi:10.1109/isit54713.2023.10206671.

Marensi, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.”10.1017/jfm.2023.780__Journal of Fluid Mechanics, vol. 974, , Cambridge University Press, 2023, doi:10.1017/jfm.2023.780.

Jethwa, Rajesh B., et al. “To DISP or Not? The Farreaching Reaction Mechanisms Underpinning Lithiumair Batteries.”10.1002/anie.202316476__Angewandte Chemie International Edition, e202316476, Wiley, 2023, doi:10.1002/anie.202316476.

Liu, Zhengtao, et al. “Lattice Expansion Enables Interstitial Doping to Achieve a High Average ZT in Ntype PbS.”10.1002/idm2.12056__Interdisciplinary Materials, vol. 2, no. 1, Wiley, 2023, pp. 161–70, doi:10.1002/idm2.12056.

Malvai, Harjasleen, et al. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.”10.14722/ndss.2023.24545__Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023, doi:10.14722/ndss.2023.24545.

Benes, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.”10.1007/978-3-031-42697-1_2__21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.

Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.”10.1007/978-3-031-22340-2_3__Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.

Becker, Lea Marie, et al. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by MagicAngle Spinning NMR of Aromatic Residues.”10.1002/anie.202219314__Angewandte Chemie International Edition, vol. 62, no. 19, e202219314, Wiley, 2023, doi:10.1002/anie.202219314.

Becker, Lea Marie, and Paul Schanda. Research Data to: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic-Angle-Spinning NMR Spectroscopy of Aromatic Residues. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12497.

Danzl, Johann G. Research Data for the Publication “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13126.

Dunajova, Zuzana, et al. Chiral and Nematic Phases of Flexible Active Filaments. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13116.

Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.”10.1038/s41567-023-02218-w__Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.

Michalska, Julia M., et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.”10.1038/s41587-023-01911-8__Nature Biotechnology, Springer Nature, 2023, doi:10.1038/s41587-023-01911-8.

Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.

Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevicesf: From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.

Curk, Samo. Aggregation_data. Figshare, 2023.

Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”10.1007/978-3-031-37709-9_1__35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.

Hwong, Yi-Ling, et al. “Assessing Memory in Convection Schemes Using Idealized Tests.”10.1029/2023MS003726__Journal of Advances in Modeling Earth Systems, vol. 15, no. 12, e2023M3726, Wiley, 2023, doi:10.1029/2023MS003726.

Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”10.1007/978-3-031-30823-9_25__TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.

Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.

Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary Distributions. Zenodo, 2023, doi:10.5281/ZENODO.7548214.

Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”10.1007/978-3-031-37706-8_8__35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.

Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.

Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.

Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.

Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 1st Workshop on Machine Learning &; Global Health, OpenReview, 2023.

Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”10.1007/978-3-031-44267-4_9__23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.

Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.”10.1145/3600006.3613150__Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.

Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.”10.1145/3606037.3606836__Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 5, Association for Computing Machinery, 2023, doi:10.1145/3606037.3606836.