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.

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.

Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo,10.5281/ZENODO.8191723 .

Franschitz A. 2023. Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria.

Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. 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 .

Abualia R, Riegler S, Benková E. 2023. Nitrate, auxin and cytokinin - a trio to tango. Cells. 12(12), 1613.

Kuzmicz-Kowalska K. 2023. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria.

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.

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 .

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.

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.

Mondal S, Jethwa RB, Pant B, Hauschild R, Freunberger SA. 2023. Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions.

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.

Esposito AR, Mondelli M. 2023. Concentration without independence via information measures. Proceedings of 2023 IEEE International Symposium on Information Theory. ISIT: IEEE International Symposium on Information Theory, 400–405.

Kwan MA, Sah A, Sawhney M. 2023. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 361(), 565–575.

Agresti A, Hussein A. 2023. Maximal Lp-regularity and He-calculus for block operator matrices and applications. Journal of Functional Analysis. 285(11), 110146.

Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv, 2301.01712.

Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv,10.1101/2023.12.02.569702 .

Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.