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.)
 

2019 | Journal Article | IST-REx-ID: 6025 | OA
Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6028 | OA
A solution theory for quasilinear singular SPDEs
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6029 | OA
A fast and simple contact printing approach to generate 2D protein nanopatterns
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6035 | OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042 | OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6046 | OA
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6049 | OA
Feedback-induced self-oscillations in large interacting systems subjected to phase transitions
D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050 | OA
Two circles and only a straightedge
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6052
A practical guide to optimization in X10 expansion microscopy
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6053 | OA
Quantum electromechanics of a hypersonic crystal
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339.
View | DOI | Download Submitted Version (ext.)
 
 
 

2019 | Journal Article | IST-REx-ID: 6069 | OA
Stokes flow analogous to viscous electron current in graphene
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019).
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6071 | OA
Coevolution of transcription factors and their binding sites in sequence space
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
View | Files available | DOI
 
 

Filters and Search Terms

year=2019

Search

Filter Publications