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

Jiang L, Zhang X, Zhao Y, Zhu H, Fu Q, Lu X, Huang W, Yang X, Zhou X, Wu L, Yang A, He X, Dong M, Peng Z, Yang J, Guo L, Wen J, Huang H, Xie Y, Zhu S, Li C, He X, Zhu Y, Friml J, Du Y. 2024. Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. 15, 3437.
LibreCat: https://research-explorer.ista.ac.at/record/17103
DOI: 10.1038/s41467-024-47746-y
PMID: 38653755

Krämer JC, Hannezo EB, Gompper G, Elgeti J. 2024. Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells. SciPost Physics. 16(4), 097.
LibreCat: https://research-explorer.ista.ac.at/record/17104
DOI: 10.21468/scipostphys.16.4.097
arXiv: 2310.04272

Sheng J, Perego J, Bracco S, Cieciórski P, Danowski W, Comotti A, Feringa BL. 2024. Orthogonal photoswitching in a porous organic framework. Angewandte Chemie International Edition. 63(23), e202404878.
LibreCat: https://research-explorer.ista.ac.at/record/17105
DOI: 10.1002/anie.202404878

Derenthal U, Wilsch FA. 2024. Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. 23(3), 1259–1294.
LibreCat: https://research-explorer.ista.ac.at/record/10018
DOI: 10.1017/S1474748022000482
WoS: 000881319200001
arXiv: 2109.06778

Froleyks N, Yu Z, Biere A. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.
LibreCat: https://research-explorer.ista.ac.at/record/17053

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

Chen J, Kaufmann W, Chen C, Arai  itaru, Kim O, Shigemoto R, Jonas PM. Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron.
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

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

Arroyo-Urea S, Watson J, García-Nafría J. 2023.Molecular Cloning Using In Vivo DNA Assembly. In: DNA Manipulation and Analysis. Methods in Molecular Biology, vol. 2633, 33–44.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

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