G. Trinh, B. Benhamou, S. Pastva, and S. Soliman, “Scalable enumeration of trap spaces in boolean networks via answer set programming,” in Proceedings of the 38th AAAI Conference on Artificial Intelligence, 2024, vol. 38, no. 9, pp. 10714–10722.
LibreCat: https://research-explorer.ista.ac.at/record/15321
DOI: 10.1609/aaai.v38i9.28943

S. Zocher et al., “Lifelong persistence of nuclear RNAs in the mouse brain,” Science, vol. 384, no. 6691. AAAS, pp. 53–59, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15316
DOI: 10.1126/science.adf3481
PMID: 38574132

M. González and T. Hausel, “Hitchin map on even very stable upward flows,” International Journal of Mathematics. World Scientific Publishing, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15339
DOI: 10.1142/S0129167X2441009X
arXiv: 2303.01404

D. Bonolis, T. D. Browning, and Z. Huang, “Density of rational points on some quadric bundle threefolds,” Mathematische Annalen. Springer Nature, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15337
DOI: 10.1007/s00208-024-02854-4
arXiv: 2204.09322

A. Pensabene et al., “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, vol. 684. EDP Sciences, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

S. K. Godavarthi et al., “Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges,” PNAS, vol. 121, no. 15. Proceedings of the National Academy of Sciences, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15335
DOI: 10.1073/pnas.2318041121
PMID: 38568976

H. Abels, M. Fei, and M. Moser, “Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility,” Calculus of Variations and Partial Differential Equations, vol. 63, no. 4. Springer Nature, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15334
DOI: 10.1007/s00526-024-02715-7
arXiv: 2304.12096

T. D. Browning, L. B. Pierce, and D. Schindler, “Generalised quadratic forms over totally real number fields,” Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2024.
LibreCat: https://research-explorer.ista.ac.at/record/15338
DOI: 10.1017/S1474748024000161
arXiv: 2212.11038

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

J. Chen et al., “Developmental transformation of C+ channel-vesicle nanotopography at a central GABAergic synapse,” Neuron. Elsevier.
LibreCat: https://research-explorer.ista.ac.at/record/14843
DOI: 10.1016/j.neuron.2023.12.002
PMID: 38215739

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.
LibreCat: https://research-explorer.ista.ac.at/record/12428
DOI: 10.1007/978-1-0716-2887-4_12
PMID: 36653709

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.
LibreCat: https://research-explorer.ista.ac.at/record/12534
DOI: 10.1103/physrevresearch.5.013029

P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

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.
LibreCat: https://research-explorer.ista.ac.at/record/12676
DOI: 10.1137/1.9781611977554.ch173

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.
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

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.
LibreCat: https://research-explorer.ista.ac.at/record/12735
DOI: 10.1145/3572848.3577481
arXiv: 2211.04986

V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

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

L. Burnett, “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, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/12716
DOI: 10.15479/at:ista:12716

M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32