Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. 2023. Data-assessing memory in convection schemes using idealized tests, Zenodo,10.5281/ZENODO.7757041 .
LibreCat: https://research-explorer.ista.ac.at/record/14991
DOI: 10.5281/ZENODO.7757041

Meggendorfer T. 2023. Artefact for: Correct Approximation of Stationary Distributions, Zenodo,10.5281/ZENODO.7548214 .
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 10.5281/ZENODO.7548214

Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM, Zenodo,10.5281/ZENODO.7877757 .
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties, Zenodo,10.5281/ZENODO.7877790 .
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin C, Asiedu  MN, Fourie C, Rosman B, Turki H, Lambebo Tonja A, Abbott J, Ajala M, Adedayo SA, Emezue CC, Machangara D. 2023. A framework for grassroots research collaboration in machine learning and global health. 1st Workshop on Machine Learning &; Global Health. ICLR: International Conference on Learning Representations.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

Tennage P, Basescu C, Kokoris Kogias E, Syta E, Jovanovic P, Estrada-Galinanes V, Ford B. 2023. QuePaxa: Escaping the tyranny of timeouts in consensus. Proceedings of the 29th Symposium on Operating Systems Principles. SOSP: Symposium on Operating Systems Principles, 281–297.
LibreCat: https://research-explorer.ista.ac.at/record/14743
DOI: 10.1145/3600006.3613150

Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: Symposium on Computer Animation, 5.
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 10.1145/3606037.3606836

Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo,10.5281/ZENODO.8191723 .
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Stankowski S. 2023. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails, Zenodo,10.5281/ZENODO.8318995 .
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

Abualia R, Riegler S, Benková E. 2023. Nitrate, auxin and cytokinin - a trio to tango. Cells. 12(12), 1613.
LibreCat: https://research-explorer.ista.ac.at/record/13214
DOI: 10.3390/cells12121613
WoS: 001017033600001
PMID: 37371083

Kuzmicz-Kowalska K. 2023. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 10.15479/at:ista:14323

Zhang C, Janzing D, van der Schaar M, Locatello F, Spirtes P, Zhang K, Schölkopf B, Uhler C. 2023. Causality in the time of LLMs: Round table discussion results of CLeaR 2023. 2nd Conference on Causal Learning and Reasoning. CLeaR: Conference on Causal Learning and Reasoning.
LibreCat: https://research-explorer.ista.ac.at/record/14974

Shigemoto R. 2023. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals, Institute of Science and Technology Austria,10.15479/AT:ISTA:13173 .
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Drout MR, Götberg YLL, Ludwig BA, Groh JH, de Mink SE, O’Grady AJG, Smith N. 2023. An observed population of intermediate-mass helium stars that have been stripped in binaries. Science. 382(6676), 1287–1291.
LibreCat: https://research-explorer.ista.ac.at/record/15085
DOI: 10.1126/science.ade4970
PMID: 38096420
arXiv: 2307.00061

Zheng DW, Henzinger MH. 2023. Multiplicative auction algorithm for approximate maximum weight bipartite matching. International Conference on Integer Programming and Combinatorial Optimization. IPCO: Integer Programming and Combinatorial Optimization, LNCS, vol. 13904, 453–465.
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217