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.
4974 Publications
2024 | Journal Article | IST-REx-ID: 15405 | 
EIGER. V. Characterizing the host galaxies of luminous quasars at z ≳ 6
M. Yue, A.C. Eilers, R.A. Simcoe, R. Mackenzie, J.J. Matthee, D. Kashino, R. Bordoloi, S.J. Lilly, R.P. Naidu, Astrophysical Journal 966 (2024).
[Published Version]
View
| Files available
| DOI
M. Yue, A.C. Eilers, R.A. Simcoe, R. Mackenzie, J.J. Matthee, D. Kashino, R. Bordoloi, S.J. Lilly, R.P. Naidu, Astrophysical Journal 966 (2024).
2024 | Journal Article | IST-REx-ID: 15404
Neurochemistry and circuit organization of the lateral spiriform nucleus of birds: A uniquely nonmammalian direct pathway component of the basal ganglia
A. Reiner, L. Medina, A. Abellan, Y. Deng, C.A.B. Toledo, H. Luksch, T.A. Vega Zuniga, N.B. Riley, W. Hodos, H.J. Karten, Journal of Comparative Neurology 532 (2024).
View
| DOI
| PubMed | Europe PMC
A. Reiner, L. Medina, A. Abellan, Y. Deng, C.A.B. Toledo, H. Luksch, T.A. Vega Zuniga, N.B. Riley, W. Hodos, H.J. Karten, Journal of Comparative Neurology 532 (2024).
2024 | Journal Article | IST-REx-ID: 15408 |
Integrin β1–mediated mast cell immune-surveillance of blood vessel content
K. Link, L. Muhandes, A. Polikarpova, T. Lämmermann, M.K. Sixt, R. Fässler, A. Roers, Journal of Allergy and Clinical Immunology (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Link, L. Muhandes, A. Polikarpova, T. Lämmermann, M.K. Sixt, R. Fässler, A. Roers, Journal of Allergy and Clinical Immunology (n.d.).
2024 | Journal Article | IST-REx-ID: 15401 |
Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck
F. Napoli, J.-Y. Guan, C.-A. Arnaud, P. Macek, H. Fraga, C. Breyton, P. Schanda, Magnetic Resonance 5 (2024) 33–49.
[Published Version]
View
| Files available
| DOI
F. Napoli, J.-Y. Guan, C.-A. Arnaud, P. Macek, H. Fraga, C. Breyton, P. Schanda, Magnetic Resonance 5 (2024) 33–49.
2024 | Journal Article | IST-REx-ID: 15406 |
Optical Shubnikov-de Haas oscillations in two-dimensional electron systems
M.L. Savchenko, J. Gospodarič, A. Shuvaev, I.A. Dmitriev, V. Dziom, A.A. Dobretsova, N.N. Mikhailov, Z.D. Kvon, A. Pimenov, Physical Review Research 6 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M.L. Savchenko, J. Gospodarič, A. Shuvaev, I.A. Dmitriev, V. Dziom, A.A. Dobretsova, N.N. Mikhailov, Z.D. Kvon, A. Pimenov, Physical Review Research 6 (2024).
2024 | Conference Paper | IST-REx-ID: 15376 |
Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
2024 | Conference Paper | IST-REx-ID: 15377 |
Rabin games and colourful universal trees
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
2024 | Journal Article | IST-REx-ID: 15301 |
Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization
L. Hörmayer, J.C. Montesinos López, N. Trozzi, L. Spona, S. Yoshida, P. Marhavá, S. Caballero Mancebo, E. Benková, C.-P.J. Heisenberg, Y. Dagdas, M. Majda, J. Friml, Dev Cell (2024) S1534-5807(24)00177–1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L. Hörmayer, J.C. Montesinos López, N. Trozzi, L. Spona, S. Yoshida, P. Marhavá, S. Caballero Mancebo, E. Benková, C.-P.J. Heisenberg, Y. Dagdas, M. Majda, J. Friml, Dev Cell (2024) S1534-5807(24)00177–1.
2024 | Thesis | IST-REx-ID: 15101 |
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
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
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.
2024 | Journal Article | IST-REx-ID: 14843
Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron (n.d.).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron (n.d.).
2023 | Book Chapter | IST-REx-ID: 12428 |
A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
2023 | Journal Article | IST-REx-ID: 12534 |
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
2023 | Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
2023 | Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View
| DOI
| PubMed | Europe PMC
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
2023 | Conference Paper | IST-REx-ID: 12735 |
Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
2023 | Conference Poster | IST-REx-ID: 12736 |
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
2023 | Conference Paper | IST-REx-ID: 12760 |
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Thesis | IST-REx-ID: 12716 |
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
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
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.
2023 | Conference Paper | IST-REx-ID: 12854 |
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
2023 | Preprint | IST-REx-ID: 12846 |
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, ArXiv (n.d.).