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.
5006 Publications
2024 | Journal Article | IST-REx-ID: 17090
Heintz KE, Watson D, Brammer G, Vejlgaard S, Hutter A, Strait VB, Matthee JJ, Oesch PA, Jakobsson P, Tanvir NR, Laursen P, Naidu RP, Mason CA, Killi M, Jung I, Hsiao TYY, Abdurro’Uf U, Coe D, Haro PA, Finkelstein SL, Toft S. 2024. Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11. Science. 384(6698), 890–894.
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17094
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2024. Information-flow interfaces. Formal Methods in System Design.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Preprint | IST-REx-ID: 17098 | 
Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. arXiv, 2405.02479.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Preprint | IST-REx-ID: 17099 |
Asadi A, Chatterjee K, Saona Urmeneta RJ, Svoboda J. Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms. arXiv, 2405.02486.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Preprint | IST-REx-ID: 17101 |
Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Zero-sum random games on directed graphs. arXiv, 2401.16252.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 17103 |
Jiang L, Zhang X, Zhao Y, Zhu H, Fu Q, Lu X, Huang W, Yang X, Zhou X, Wu L, Yang A, He X, Dong M, Peng Z, Yang J, Guo L, Wen J, Huang H, Xie Y, Zhu S, Li C, He X, Zhu Y, Friml J, Du Y. 2024. Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. 15, 3437.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17104 |
Krämer JC, Hannezo EB, Gompper G, Elgeti J. 2024. Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells. SciPost Physics. 16(4), 097.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 17105 |
Sheng J, Perego J, Bracco S, Cieciórski P, Danowski W, Comotti A, Feringa BL. 2024. Orthogonal photoswitching in a porous organic framework. Angewandte Chemie International Edition. 63(23), e202404878.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 10018 |
Derenthal U, Wilsch FA. 2024. Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. 23(3), 1259–1294.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Conference Paper | IST-REx-ID: 17053
Froleyks N, Yu Z, Biere A. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.
View
2024 | Journal Article | IST-REx-ID: 17123 |
Brückner D, Tkačik G. 2024. Information content and optimization of self-organized developmental systems. PNAS. 121(23), e2322326121.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Conference Paper | IST-REx-ID: 17126 |
Tairi E, Ünal A. 2024. Lower bounds for lattice-based compact functional encryption. Advances in Cryptology – EUROCRYPT 2024. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 14652, 249–279.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2024 | Journal Article | IST-REx-ID: 17125
Bassani CL, Van Anders G, Banin U, Baranov D, Chen Q, Dijkstra M, Dimitriyev MS, Efrati E, Faraudo J, Gang O, Gaston N, Golestanian R, Guerrero-Garcia GI, Gruenwald M, Haji-Akbari A, Ibáñez M, Karg M, Kraus T, Lee B, Van Lehn RC, Macfarlane RJ, Mognetti BM, Nikoubashman A, Osat S, Prezhdo OV, Rotskoff GM, Saiz L, Shi AC, Skrabalak S, Smalyukh II, Tagliazucchi M, Talapin DV, Tkachenko AV, Tretiak S, Vaknin D, Widmer-Cooper A, Wong GCL, Ye X, Zhou S, Rabani E, Engel M, Travesset A. 2024. Nanocrystal assemblies: Current advances and open problems. ACS Nano.
View
| DOI
2024 | Journal Article | IST-REx-ID: 17127 |
Wang V, Xu MW. 2024. Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 17122 |
Ramming H, Theuerkauf L, Hoos O, Lichter K, Kittel-Schneider S. 2024. The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study. BMC Psychiatry. 24, 401.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, Arai itaru, Kim O, Shigemoto R, Jonas PM. 2024. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. 112(5), 755–771.e9.
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Thesis | IST-REx-ID: 15101 |
Chen J. 2024. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI