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 
LibreCat: https://research-explorer.ista.ac.at/record/15320
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/15315
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/15313
DOI: 10.1016/j.cnsns.2024.108011
arXiv: 2311.04114

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 
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

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 
LibreCat: https://research-explorer.ista.ac.at/record/15101
DOI: 10.15479/at:ista:15101

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 
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. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society.https://doi.org/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., 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 
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

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 
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12760
DOI: 10.4230/LIPIcs.STACS.2023.36
arXiv: 2301.01744

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 
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12846
DOI: 10.48550/arXiv.2303.14555
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 
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/12407
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/13048
DOI: 10.1145/3564246.3585113
arXiv: 2303.04014

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13053
arXiv: 2207.14200

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 
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19