E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design. Springer Nature, 2024.

L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a stochastic game,” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2024.

A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and J. Svoboda, “Deterministic sub-exponential algorithm for discounted-sum games with unary weights,” arXiv. .

A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and J. Svoboda, “Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms,” arXiv. .

L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Zero-sum random games on directed graphs,” arXiv. .

L. Jiang et al., “Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast,” Nature Communications, vol. 15. Springer Nature, 2024.

J. C. Krämer, E. B. Hannezo, G. Gompper, and J. Elgeti, “Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells,” SciPost Physics, vol. 16, no. 4. SciPost Foundation, 2024.

J. Sheng et al., “Orthogonal photoswitching in a porous organic framework,” Angewandte Chemie International Edition, vol. 63, no. 23. Wiley, 2024.

U. Derenthal and F. A. Wilsch, “Integral points on singular del Pezzo surfaces,” Journal of the Institute of Mathematics of Jussieu, vol. 23, no. 3. Cambridge University Press, pp. 1259–1294, 2024.

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

J. Chen, “Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse,” Institute of Science and Technology Austria, 2024.

J. Chen et al., “Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse,” Neuron. Elsevier.

E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions, vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.

A. Ghazaryan, A. Cappellaro, M. Lemeshko, and A. Volosniev, “Dissipative dynamics of an impurity with spin-orbit coupling,” Physical Review Research, vol. 5, no. 1. American Physical Society, 2023.

P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.

K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.

S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.

N. Koval, D.-A. Alistarh, and R. Elizarov, “Fast and scalable channels in Kotlin Coroutines,” in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Montreal, QC, Canada, 2023, pp. 107–118.

V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.

M. H. Henzinger, S. Neumann, H. Räcke, and S. Schmid, “Dynamic maintenance of monotone dynamic programs and applications,” in 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 2023, vol. 254.