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.

439 Publications


2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5986 | OA
Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.” Discrete & Computational Geometry. Springer Nature, 2019. https://doi.org/10.1007/s00454-018-0035-8.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6014 | OA
Varshney, Atul, and Victor Steinberg. “Elastic Alfven Waves in Elastic Turbulence.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-08551-0.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6022 | OA
Merrill, Richard M., Pasi Rastas, Simon H. Martin, Maria C Melo Hurtado, Sarah Barker, John Davey, W. Owen Mcmillan, and Chris D. Jiggins. “Genetic Dissection of Assortative Mating Behavior.” PLoS Biology. Public Library of Science, 2019. https://doi.org/10.1371/journal.pbio.2005902.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6023 | OA
Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0363-6.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

year=2019

Search

Filter Publications