Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4935 Publications
2024 | Conference Paper | IST-REx-ID: 15321 | 
Trinh G, Benhamou B, Pastva S, Soliman S. Scalable enumeration of trap spaces in boolean networks via answer set programming. In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. Vol 38. Association for the Advancement of Artificial Intelligence; 2024:10714-10722. doi:10.1609/aaai.v38i9.28943
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15316
Zocher S, Mccloskey A, Karasinsky A, et al. Lifelong persistence of nuclear RNAs in the mouse brain. Science. 2024;384(6691):53-59. doi:10.1126/science.adf3481
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15339 |
González M, Hausel T. Hitchin map on even very stable upward flows. International Journal of Mathematics. 2024. doi:10.1142/S0129167X2441009X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15337 |
Bonolis D, Browning TD, Huang Z. Density of rational points on some quadric bundle threefolds. Mathematische Annalen. 2024. doi:10.1007/s00208-024-02854-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Thesis | IST-REx-ID: 15101 |
Chen J. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, et al. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. doi:10.1016/j.neuron.2023.12.002
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15336 |
Pensabene A, Cantalupo S, Cicone C, et al. ALMA survey of a massive node of the Cosmic Web at z ∼ 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. 2024;684. doi:10.1051/0004-6361/202348659
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15335 |
Godavarthi SK, Hiramoto M, Ignatyev Y, et al. Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. 2024;121(15). doi:10.1073/pnas.2318041121
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15338 |
Browning TD, Pierce LB, Schindler D. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 2024. doi:10.1017/S1474748024000161
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15334 |
Abels H, Fei M, Moser M. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 2024;63(4). doi:10.1007/s00526-024-02715-7
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Book Chapter | IST-REx-ID: 12428 |
Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12534 |
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:10.1137/1.9781611977554.ch173
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea S, Watson J, García-Nafría J. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 12735 |
Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12760 |
Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 12716 |
Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv