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.

438 Publications


2019 | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5986 | OA
A proof of the orbit conjecture for flipping edge-labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6014 | OA
Elastic alfven waves in elastic turbulence
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6022 | OA
Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6023 | OA
A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

year=2019

Search

Filter Publications