Rajappa, S., Krishnamurthy, P., Huang, H., Yu, D., Friml, J., Xu, J., &; Kumar, P. P. (2024). The translocation of a chloride channel from the Golgi to the plasma membrane helps plants adapt to salt stress. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-48234-z 

Fiedler, C., Calcabrini, M., Liu, Y., &; Ibáñez, M. (2024). Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials. Angewandte Chemie - International Edition. Wiley.https://doi.org/10.1002/anie.202402628 

Cipolloni, G., Erdös, L., Henheik, S. J., &; Schröder, D. J. (n.d.). Optimal lower bound on eigenvector overlaps for non-Hermitian random matrices. Journal of Functional Analysis. Elsevier.https://doi.org/10.1016/j.jfa.2024.110495 

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 

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 

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 

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 

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30826-0_15 

Chalupa, M., Mühlböck, F., Muroya Lei, S., &; Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:12407 

Lieutier, A., &; Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery.https://doi.org/10.1145/3564246.3585113 

Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., &; Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .

Hoffmann, C., Hubádek, P., Kamath, C., &; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature.https://doi.org/10.1007/978-3-031-31368-4_19 

Chatterjee, K., Henzinger, T. A., Lechner, M., &; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 13993, pp. 3–25). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30823-9_1 

Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12826 

Edelsbrunner, H., &; Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature.https://doi.org/10.1007/s00453-022-01027-6