Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification  (Vol. 13964, pp. 156–169). Paris, France: Springer Nature.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, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo.https://doi.org/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.https://doi.org/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, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LO, United States.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A.,  Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In 1st Workshop on Machine Learning &; Global Health. Kigali, Rwanda: OpenReview.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature.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, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., &; Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery.https://doi.org/10.1145/3600006.3613150 
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. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3606037.3606836 
LibreCat: https://research-explorer.ista.ac.at/record/14748
DOI: 10.1145/3606037.3606836

Chalupa, M., &; Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo.https://doi.org/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.https://doi.org/10.15479/at:ista:13984 
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Prach, B., &; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv.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, S. (2023). Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. Zenodo.https://doi.org/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. MDPI.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, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14323 
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.,  Uhler, C. (2023). Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In 2nd Conference on Causal Learning and Reasoning. Tübingen, Germany.
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.https://doi.org/10.15479/AT:ISTA:13173 
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Zheng, D. W., &; Henzinger, M. H. (2023). Multiplicative auction algorithm for approximate maximum weight bipartite matching. In International Conference on Integer Programming and Combinatorial Optimization (Vol. 13904, pp. 453–465). Madison, WI, United States: Springer Nature.https://doi.org/10.1007/978-3-031-32726-1_32 
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &; Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. Springer Nature.https://doi.org/10.1007/s41468-023-00126-9 
LibreCat: https://research-explorer.ista.ac.at/record/13182
DOI: 10.1007/s41468-023-00126-9

Mondal, S., Jethwa, R. B., Pant, B., Hauschild, R., &; Freunberger, S. A. (2023). Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/d3fd00088e 
LibreCat: https://research-explorer.ista.ac.at/record/13044
DOI: 10.1039/d3fd00088e
WoS: 001070423500001

Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14587 
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587