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.
5368 Publications
2024 | Published | Conference Paper | IST-REx-ID: 15333 | 
Chalupa M, Richter C. 2024. Bubaak-SpLit: Split what you cannot verify (Competition contribution). 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 353–358.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15334 |
Abels H, Fei M, Moser M. 2024. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 63(4), 94.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15335 |
Godavarthi SK, Hiramoto M, Ignatyev Y, Levin JB, Li HQ, Pratelli M, Borchardt J, Czajkowski C, Borodinsky LN, Sweeney LB, Cline HT, Spitzer NC. 2024. Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. 121(15), e2318041121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15336 |
Pensabene A, Cantalupo S, Cicone C, Decarli R, Galbiati M, Ginolfi M, De Beer S, Fossati M, Fumagalli M, Lazeyras T, Pezzulli G, Travascio A, Wang W, Matthee JJ, Maseda MV. 2024. 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. 684, A119.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15339 |
González M, Hausel T. 2024. Hitchin map on even very stable upward flows. International Journal of Mathematics. 35(09), 2441009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15350 |
Rouzé C, Wirth M, Zhang H. 2024. Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions. Communications in Mathematical Physics. 405(4), 95.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 15352
Murmann JS. 2024. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15358 |
Barton NH, Sachdeva H. 2024. Limits to selection on standing variation in an asexual population. Theoretical Population Biology. 157, 129–137.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15359 |
Dong H, Shi Y, Ying P, Xu K, Liang T, Wang Y, Zeng Z, Wu X, Zhou W, Xiong S, Chen S, Fan Z. 2024. Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials. Journal of Applied Physics. 135(16), 161101.
[Preprint]
View
| Files available
| DOI
| arXiv
2024 | Published | Book Chapter | IST-REx-ID: 15361
Jayasree A, Salava H, Nodzynski T, Sravankumar T. 2024.Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis thaliana Protoplasts from Leaf. In: Plant Functional Genomics. Methods in Molecular Biology, vol. 2787, 305–313.
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15367 |
Babkin S, Higginbotham AP, Serbyn M. 2024. Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field. SciPost Physics. 16(5), 115.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15372 |
Hibshman GN, Bravo JPK, Hooper MM, Dangerfield TL, Zhang H, Finkelstein IJ, Johnson KA, Taylor DW. 2024. Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9. Nature Communications. 15, 3663.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15374 |
Adamowski M, Randuch M, Matijevic I, Narasimhan M, Friml J. 2024. SH3Ps recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis. Cell Reports. 43(5), 114195.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 15375 |
He S, Yu Y, Wang L, Zhang J, Bai Z, Li G, Li P, Feng X. 2024. Linker histone H1 drives heterochromatin condensation via phase separation in Arabidopsis. The Plant Cell. 36(5), 1829–1843.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Avni G, Mallik K, Sadhukhan S. 2024. Auction-based scheduling. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 14572, 153–172.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Majumdar R, Sağlam I, Thejaswini KS. 2024. Rabin games and colourful universal trees. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 14572, 213–231.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15380 |
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2024. Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Journal of Applied and Computational Topology.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 15401 |
Napoli F, Guan J-Y, Arnaud C-A, Macek P, Fraga H, Breyton C, Schanda P. 2024. Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck. Magnetic Resonance. 5(1), 33–49.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15404
Reiner A, Medina L, Abellan A, Deng Y, Toledo CAB, Luksch H, Vega Zuniga TA, Riley NB, Hodos W, Karten HJ. 2024. Neurochemistry and circuit organization of the lateral spiriform nucleus of birds: A uniquely nonmammalian direct pathway component of the basal ganglia. Journal of Comparative Neurology. 532(5), e25620.
View
| DOI
| PubMed | Europe PMC