Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6705 Publications

2021 | Preprint | IST-REx-ID: 10018 | OA
Derenthal U, Wilsch FA. Integral points on singular del Pezzo surfaces. arXiv.
View | Download Preprint (ext.) | arXiv

2021 | Thesis | IST-REx-ID: 10007 | OA
Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007
View | Files available | DOI

2021 | Preprint | IST-REx-ID: 10013 | OA
Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv.
View | Files available | Download Preprint (ext.) | arXiv

2021 | Journal Article | IST-REx-ID: 10015 | OA
Nikonorova N, Murphy E, Fonseca de Lima C, et al. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 2021;10. doi:10.3390/cells10071665
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2021 | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee K, Dvorak W, Henzinger M, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739
View | DOI | Download Preprint (ext.) | arXiv


Filter Publications