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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. IST Austria.
View | Files available | DOI
 

Search

Filter Publications