Hwong, Yi-Ling, M. Colin, Philipp Aglas, Caroline J Muller, and S. C. Sherwood. “Assessing Memory in Convection Schemes Using Idealized Tests.”https://doi.org/10.1029/2023MS003726__Journal of Advances in Modeling Earth Systems. Wiley, 2023.https://doi.org/10.1029/2023MS003726 .
LibreCat: https://research-explorer.ista.ac.at/record/14654
DOI: 10.1029/2023MS003726

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

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.
LibreCat: https://research-explorer.ista.ac.at/record/14993

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14743
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
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 .
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13214
DOI: 10.3390/cells12121613
WoS: 001017033600001
PMID: 37371083

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/14974

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173