Dubach G, Reker J. 2024. Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications.
LibreCat: https://research-explorer.ista.ac.at/record/17047
DOI: 10.1142/s2010326324500072
arXiv: 2212.14638

Chen J. 2024. Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Delamare G, Feitosa Tomé D, Clopath C. 2024. Intrinsic neural excitability biases allocation and overlap of memory engrams. Journal of Neuroscience. 44(21), e0846232024.
LibreCat: https://research-explorer.ista.ac.at/record/17092
DOI: 10.1523/JNEUROSCI.0846-23.2024
PMID: 38561228

Ku SP, Atucha E, Alavi N, Mulla-Osman H, Kayumova R, Yoshida M, Csicsvari JL, Sauvage MM. 2024. Phase locking of hippocampal C neurons to distal C theta oscillations selectively predicts memory performance. Cell Reports. 43(6), 114276.
LibreCat: https://research-explorer.ista.ac.at/record/17089
DOI: 10.1016/j.celrep.2024.114276

Zakerinia H, Talaei S, Nadiradze G, Alistarh D-A. 2024. Communication-efficient federated learning with data and client heterogeneity. Proceedings of the 27th International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics, PMLR, vol. 238, 3448–3456.
LibreCat: https://research-explorer.ista.ac.at/record/17093
arXiv: 2206.10032

Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. arXiv, 2405.02479.
LibreCat: https://research-explorer.ista.ac.at/record/17098
DOI: 10.48550/arXiv.2405.02479
arXiv: 2405.02479

Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. arXiv, 2405.02486.
LibreCat: https://research-explorer.ista.ac.at/record/17099
DOI: 10.48550/arXiv.2405.02486
arXiv: 2405.02486

Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Zero-sum random games on directed graphs. arXiv, 2401.16252.
LibreCat: https://research-explorer.ista.ac.at/record/17101
DOI: 10.48550/arXiv.2401.16252
arXiv: 2401.16252

Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions. Methods in Molecular Biology, vol. 2608, 183–205.
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. 2023. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 5(1), 013029.
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

Zeller P, Yeung J, Viñas Gaza H, de Barbanson BA, Bhardwaj V, Florescu M, van der Linden R, van Oudenaarden A. 2023. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 55, 333–345.
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

Koval N, Alistarh D-A, Elizarov R. 2023. Fast and scalable channels in Kotlin Coroutines. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP: Sympopsium on Principles and Practice of Parallel Programming, 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Henzinger MH, Neumann S, Räcke H, Schmid S. 2023. Dynamic maintenance of monotone dynamic programs and applications. 40th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 254, 36.
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

Chalupa M, Henzinger TA. 2023. Bubaak: Runtime monitoring of program verifiers. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 535–540.
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv, 2303.14555.
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. Vamos: Middleware for best-effort third-party monitoring. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13991, 260–281.
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 10.15479/AT:ISTA:12407