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 | Journal Article | IST-REx-ID: 15316
S. Zocher et al., “Lifelong persistence of nuclear RNAs in the mouse brain,” Science, vol. 384, no. 6691. AAAS, pp. 53–59, 2024.
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15339 | 
M. González and T. Hausel, “Hitchin map on even very stable upward flows,” International Journal of Mathematics. World Scientific Publishing, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15337 |
D. Bonolis, T. D. Browning, and Z. Huang, “Density of rational points on some quadric bundle threefolds,” Mathematische Annalen. Springer Nature, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15336 |
A. Pensabene 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, vol. 684. EDP Sciences, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15335 |
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.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15334 |
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.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15338 |
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.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 10045 |
M. Dvorak and V. Kolmogorov, “Generalized minimum 0-extension problem and discrete convexity,” Mathematical Programming. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Thesis | IST-REx-ID: 15101 |
J. Chen, “Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
J. Chen et al., “Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse,” Neuron. Elsevier.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Book Chapter | IST-REx-ID: 12428 |
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.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12534 |
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.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Book Chapter | IST-REx-ID: 12720
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.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 12735 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Poster | IST-REx-ID: 12736 |
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12760 |
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.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 12716 |
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.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12854 |
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.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12846 |
A. Chern and S. Ishida, “Area formula for spherical polygons via prequantization,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv