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.
2021 | Journal Article | IST-REx-ID: 9262 |
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 | Conference Paper | IST-REx-ID: 10002 |
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 | Journal Article | IST-REx-ID: 10005 |
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