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.




3833 Publications

2021 | Journal Article | IST-REx-ID: 9288
El Houari, I., Van Beirs, C., Arents, H., Han, H., Chanoca, A., Opdenacker, D., … Vanholme, B. (2021). Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport. New Phytologist. Wiley. https://doi.org/10.1111/nph.17349
View | 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. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739
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. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595
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. World Scientific. https://doi.org/10.1142/S0218202521500457
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. https://doi.org/10.15479/at:ista:10007
View | Files available | DOI
 

Search

Filter Publications