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
T. D. Browning and S. Yamagishi, “Arithmetic of higher-dimensional orbifolds and a mixed Waring problem,” Mathematische Zeitschrift, vol. 299. Springer Nature, pp. 1071–1101, 2021.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9262 | OA
J. Mbianda et al., “Optimal anchoring of a foldamer inhibitor of ASF1 histone chaperone through backbone plasticity,” Science Advances, vol. 7, no. 12. American Association for the Advancement of Science, 2021.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Preprint | IST-REx-ID: 9281 | OA
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
View | Files available | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9282 | OA
M. Nauman et al., “Complete mapping of magnetic anisotropy for prototype Ising van der Waals FePS3,” 2D Materials, vol. 8, no. 3. IOP Publishing, 2021.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9283 | OA
A. A. Nagy-Staron et al., “Local genetic context shapes the function of a gene regulatory network,” eLife, vol. 10. eLife Sciences Publications, 2021.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9287 | OA
M. Narasimhan et al., “Systematic analysis of specific and nonspecific auxin effects on endocytosis and trafficking,” Plant Physiology, vol. 186, no. 2. Oxford University Press, pp. 1122–1142, 2021.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Conference Paper | IST-REx-ID: 10002 | OA
K. Chatterjee, W. Dvorak, M. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10004 | OA
K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 10005 | OA
M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09. World Scientific, 2021.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Thesis | IST-REx-ID: 10007 | OA
S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” IST Austria, 2021.
View | Files available | DOI
 

Search

Filter Publications