Asadi, A., Chatterjee, K., Saona Urmeneta, R. J., &; Svoboda, J. (n.d.). Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. arXiv.https://doi.org/10.48550/arXiv.2405.02486 

Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., &; Ziliotto, B. (n.d.). Zero-sum random games on directed graphs. arXiv.https://doi.org/10.48550/arXiv.2401.16252 

Jiang, L., Zhang, X., Zhao, Y., Zhu, H., Fu, Q., Lu, X.,https://doi.org/10.1038/s41467-024-47746-y__Du, Y. (2024). Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-47746-y 

Krämer, J. C., Hannezo, E. B., Gompper, G., &; Elgeti, J. (2024). Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells. SciPost Physics. SciPost Foundation.https://doi.org/10.21468/scipostphys.16.4.097 

Sheng, J., Perego, J., Bracco, S., Cieciórski, P., Danowski, W., Comotti, A., &; Feringa, B. L. (2024). Orthogonal photoswitching in a porous organic framework. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.202404878 

Derenthal, U., &; Wilsch, F. A. (2024). Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press.https://doi.org/10.1017/S1474748022000482 

Froleyks, N., Yu, Z., &; Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.

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.https://doi.org/10.15479/at:ista:15101 

Chen, J., Kaufmann, W., Chen, C., Arai,https://doi.org/10.1016/j.neuron.2023.12.002__itaru, Kim, O., Shigemoto, R., &; Jonas, P. M. (n.d.). Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2023.12.002 

Hannezo, E. B., &; Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature.https://doi.org/10.1007/978-1-0716-2887-4_12 

Ghazaryan, A., Cappellaro, A., Lemeshko, M., &; Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society.https://doi.org/10.1103/physrevresearch.5.013029 

Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M.,https://doi.org/10.1038/s41588-022-01260-3__van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature.https://doi.org/10.1038/s41588-022-01260-3 

Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., &; Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611977554.ch173 

Arroyo-Urea, S., Watson, J., &; García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature.https://doi.org/10.1007/978-1-0716-3004-4_3 

Koval, N., Alistarh, D.-A., &; Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577481 

Aksenov, V., Brown, T. A., Fedorov, A., &; Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery.https://doi.org/10.1145/3572848.3577512 

Henzinger, M. H., Neumann, S., Räcke, H., &; Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.STACS.2023.36 

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.https://doi.org/10.15479/at:ista:12716 

Chalupa, M., &; Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_32 

Chern, A., &; Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv.https://doi.org/10.48550/arXiv.2303.14555