Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. arXiv. doi:10.48550/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. doi:10.48550/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, et al. Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. 2024;15. doi:10.1038/s41467-024-47746-y
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. Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells. SciPost Physics. 2024;16(4). doi:10.21468/scipostphys.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, et al. Orthogonal photoswitching in a porous organic framework. Angewandte Chemie International Edition. 2024;63(23). doi:10.1002/anie.202404878
LibreCat: https://research-explorer.ista.ac.at/record/17105
DOI: 10.1002/anie.202404878

Derenthal U, Wilsch FA. Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. 2024;23(3):1259-1294. doi:10.1017/S1474748022000482
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). In: 27th Workshop on 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. Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

Chen J, Kaufmann W, Chen C, et al. Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. doi:10.1016/j.neuron.2023.12.002
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
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. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
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. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
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. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
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. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
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. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

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

Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
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. doi:10.48550/arXiv.2303.14555
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
arXiv: 2303.14555