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

Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.”https://doi.org/10.5281/ZENODO.7757041__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7757041 .

Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.”https://doi.org/10.5281/ZENODO.7548214__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7548214 .

Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”https://doi.org/10.1007/978-3-031-37706-8_8__In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37706-8_8 .

Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”https://doi.org/10.5281/ZENODO.7877757__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7877757 .

Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”https://doi.org/10.5281/ZENODO.7877790__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7877790 .

Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.

Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, 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, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.1007/978-3-031-44267-4_9__In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-44267-4_9 .

Tennage, Pasindu, Cristina Basescu, Eleftherios Kokoris Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galinanes, and Bryan Ford. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.”https://doi.org/10.1145/3600006.3613150__In Proceedings of the 29th Symposium on Operating Systems Principles, 281–97. Association for Computing Machinery, 2023.https://doi.org/10.1145/3600006.3613150 .

Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.”https://doi.org/10.1145/3606037.3606836__In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery, 2023.https://doi.org/10.1145/3606037.3606836 .

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.5281/ZENODO.8191723__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8191723 .

Franschitz, Anna. “Individual and Social Immunity against Viral Infections in Ants.”https://doi.org/10.15479/at:ista:13984__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:13984 .

Prach, Bernd, and Christoph Lampert. “-Lipschitz Neural Networks Are More Expressive with N-Activations.”https://doi.org/10.48550/ARXIV.2311.06103__ArXiv, n.d.https://doi.org/10.48550/ARXIV.2311.06103 .

Stankowski, Sean. “Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails.”https://doi.org/10.5281/ZENODO.8318995__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8318995 .

Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.”https://doi.org/10.3390/cells12121613__Cells. MDPI, 2023.https://doi.org/10.3390/cells12121613 .

Kuzmicz-Kowalska, Katarzyna. “Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord.”https://doi.org/10.15479/at:ista:14323__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:14323 .

Zhang, Cheng, Dominik Janzing, Mihaela  van der Schaar, Francesco Locatello, Peter Spirtes, Kun Zhang, Bernhard Schölkopf, and Caroline Uhler. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” In 2nd Conference on Causal Learning and Reasoning, 2023.

Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.”https://doi.org/10.15479/AT:ISTA:13173__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/AT:ISTA:13173 .

Zheng, Da Wei, and Monika H Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.”https://doi.org/10.1007/978-3-031-32726-1_32__In International Conference on Integer Programming and Combinatorial Optimization, 13904:453–65. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-32726-1_32 .