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.
3881 Publications
2021 | Journal Article | IST-REx-ID: 9260 | 
Browning TD, Yamagishi S. 2021. Arithmetic of higher-dimensional orbifolds and a mixed Waring problem. Mathematische Zeitschrift. 299, 1071–1101.
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9262 |
Mbianda J, Bakail MM, André C, Moal G, Perrin ME, Pinna G, Guerois R, Becher F, Legrand P, Traoré S, Douat C, Guichard G, Ochsenbein F. 2021. Optimal anchoring of a foldamer inhibitor of ASF1 histone chaperone through backbone plasticity. Science Advances. 7(12), eabd9153.
View
| Files available
| DOI
| PubMed | Europe PMC
2021 | Preprint | IST-REx-ID: 9281 |
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv, 2103.11389.
View
| Files available
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9282 |
Nauman M, Kiem DH, Lee S, Son S, Park J-G, Kang W, Han MJ, Jo YJ. 2021. Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3. 2D Materials. 8(3), 035011.
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9283 |
Nagy-Staron AA, Tomasek K, Caruso Carter C, Sonnleitner E, Kavcic B, Paixão T, Guet CC. 2021. Local genetic context shapes the function of a gene regulatory network. eLife. 10, e65993.
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9287 |
Narasimhan M, Gallei MC, Tan S, Johnson AJ, Verstraeten I, Li L, Rodriguez Solovey L, Han H, Himschoot E, Wang R, Vanneste S, Sánchez-Simarro J, Aniento F, Adamowski M, Friml J. 2021. Systematic analysis of specific and nonspecific auxin effects on endocytosis and trafficking. Plant Physiology. 186(2), 1122–1142.
View
| Files available
| DOI
| PubMed | Europe PMC
2021 | Conference Paper | IST-REx-ID: 10002 |
Chatterjee K, Dvorak W, Henzinger M, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10004 |
Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10005 |
Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09).
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Thesis | IST-REx-ID: 10007 |
Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. IST Austria.
View
| Files available
| DOI