Please note that ISTA 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.
4204 Publications
2018 | Thesis | IST-REx-ID: 539 | 
Hurny, Andrej. Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_930.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1013 |
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics, vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10418 |
Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1175 |
Alwen, Joel F., et al. Cumulative Space in Black-White Pebbling and Resolution. Edited by Christos Papadimitriou, vol. 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21, doi:10.4230/LIPIcs.ITCS.2017.38.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1191 |
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi:10.1007/s11538-016-0244-3.
[Preprint]
View
| DOI
| Download Preprint (ext.)