Olusanya, O. O. (2024). Local adaptation, genetic load and extinction in metapopulations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:14711 

Bossmann, L., Leopold, N. K., Mitrouskas, D. J., &; Petrat, S. P. (2024). A note on the binding energy for Bosons in the mean-field limit. Journal of Statistical Physics. Springer Nature.https://doi.org/10.1007/s10955-024-03260-5 

Dello Schiavo, L., Portinale, L., &; Sau, F. (2024). Scaling limits of random walks, harmonic profiles, and stationary nonequilibrium states in Lipschitz domains. Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/23-AAP2007 

Huebbers, J. W., Caldarescu, G. A., Kubátová, Z., Sabol, P., Levecque, S. C. J., Kuhn, H.,https://doi.org/10.1093/plcell/koad319__dárský, V. (2024). Interplay of EXO70 and MLO proteins modulates trichome cell wall composition and susceptibility to powdery mildew. Plant Cell. Oxford University Press.https://doi.org/10.1093/plcell/koad319 

Seoane Souto, R., Leijnse, M., Schrade, C., Valentini, M., Katsaros, G., &; Danon, J. (2024). Tuning the Josephson diode response with an ac current. Physical Review Research. American Physical Society.https://doi.org/10.1103/PhysRevResearch.6.L022002 

Brückner, D., &; Broedersz, C. P. (2024). Learning dynamical models of single and collective cell migration: a review. Reports on Progress in Physics. IOP Publishing.https://doi.org/10.1088/1361-6633/ad36d2 

Agasthya, L. N., &; Muller, C. J. (2024). Dynamics and scaling of internally cooled convection. Communications in Nonlinear Science and Numerical Simulation. Elsevier.https://doi.org/10.1016/j.cnsns.2024.108011 

Trinh, G., Benhamou, B., Pastva, S., &; Soliman, S. (2024). Scalable enumeration of trap spaces in boolean networks via answer set programming. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (Vol. 38, pp. 10714–10722). Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v38i9.28943 

González, M., &; Hausel, T. (2024). Hitchin map on even very stable upward flows. International Journal of Mathematics. World Scientific Publishing.https://doi.org/10.1142/S0129167X2441009X 

Bonolis, D., Browning, T. D., &; Huang, Z. (2024). Density of rational points on some quadric bundle threefolds. Mathematische Annalen. Springer Nature.https://doi.org/10.1007/s00208-024-02854-4 

Pensabene, A., Cantalupo, S., Cicone, C., Decarli, R., Galbiati, M., Ginolfi, M.,https://doi.org/10.1051/0004-6361/202348659__Maseda, M. V. (2024). ALMA survey of a massive node of the Cosmic Web at z c 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. EDP Sciences.https://doi.org/10.1051/0004-6361/202348659 

Godavarthi, S. K., Hiramoto, M., Ignatyev, Y., Levin, J. B., Li, H. Q., Pratelli, M.,https://doi.org/10.1073/pnas.2318041121__Spitzer, N. C. (2024). Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.2318041121 

Abels, H., Fei, M., &; Moser, M. (2024). Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. Springer Nature.https://doi.org/10.1007/s00526-024-02715-7 

Browning, T. D., Pierce, L. B., &; Schindler, D. (2024). Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press.https://doi.org/10.1017/S1474748024000161 

Dvorak, M., &; Kolmogorov, V. (2024). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature.https://doi.org/10.1007/s10107-024-02064-5 

Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z.,https://doi.org/10.1038/s41467-024-46799-3__Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-024-46799-3 

Browning, T. D., &; Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier.https://doi.org/10.1016/j.jnt.2024.02.013 

Chalupa, M., &; Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature.https://doi.org/10.1007/978-3-031-57256-2_20 

Gnyliukh, N., Johnson, A. J., Nagel, M., Monzer, A., Babic, D., Hlavata, A.,https://doi.org/10.1242/jcs.261720__Friml, J. (2024). Role of dynamin-related proteins 2 and S in clathrin-mediated endocytosis in Arabidopsis thaliana. Journal of Cell Science. The Company of Biologists.https://doi.org/10.1242/jcs.261720 

Rouzé, C., Wirth, M., &; Zhang, H. (2024). Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s00220-024-04981-0 

Kolisnyk, D., Queißer, F., Schaller, G., &; Schützhold, R. (2024). Floquet analysis of a superradiant many-qutrit refrigerator. Physical Review Applied. American Physical Society.https://doi.org/10.1103/PhysRevApplied.21.044050 

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 

Andrianova, M. A., Seplyarskiy, V. B., Terradas, M., Sánchez-Heras, A. B., Mur, P., Soto, J. L.,https://doi.org/10.1038/s41431-024-01598-8__Valle, L. (2024). Discovery of recessive effect of human polymerase ;4 proofreading deficiency through mutational analysis of POL-mutated normal and cancer cells. European Journal of Human Genetics. Springer Nature.https://doi.org/10.1038/s41431-024-01598-8 

Babkin, S., Higginbotham, A. P., &; Serbyn, M. (2024). Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field. SciPost Physics. SciPost Foundation.https://doi.org/10.21468/scipostphys.16.5.115 

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 

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 

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 

Anand, A., Mallik, K., Nayak, S. P., &; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30820-8_15 

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 

Dello Schiavo, L., &; Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature.https://doi.org/10.1007/s00028-022-00859-7 

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-031-30829-1_17 

Koval, N., Khalanskiy, D., &; Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery .https://doi.org/10.1145/3591230 

Browning, T. D., Lyczak, J., &; Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers.https://doi.org/10.2140/involve.2023.16.331 

Elefante, S., Stadlbauer, S., Alexander, M. F., &; Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHP - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.

Schlögl, A., Elefante, S., &; Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHP - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.

Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., &; Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society.https://doi.org/10.1021/acs.jpclett.3c01158