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
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
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
2019 | Journal Article | IST-REx-ID: 5986 | 
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
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
2019 | Journal Article | IST-REx-ID: 6014 |
Elastic alfven waves in elastic turbulence
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
View
| Files available
| DOI
| arXiv
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 6022 |
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
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).
2019 | Journal Article | IST-REx-ID: 6023 |
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.)
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.
2019 | Journal Article | IST-REx-ID: 6025 |
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
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 6028 |
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
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.
2019 | Journal Article | IST-REx-ID: 6029 |
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
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).
2019 | Conference Paper | IST-REx-ID: 6035 |
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
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.
2019 | Conference Paper | IST-REx-ID: 6042 |
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
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.
2019 | Journal Article | IST-REx-ID: 6046 |
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
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
2019 | Journal Article | IST-REx-ID: 6049 |
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
D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).
2019 | Journal Article | IST-REx-ID: 6050 |
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
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
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
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
2019 | Journal Article | IST-REx-ID: 6053 |
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.)
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339.
2019 | Research Data | IST-REx-ID: 6060 |
Supplementary data for "Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome" (Huylman, Toups et al., 2019).
B. Vicoso, (2019).
View
| Files available
| DOI
B. Vicoso, (2019).
2019 | Research Data | IST-REx-ID: 6062 |
Supplementary Code and Data for the paper "The Entorhinal Cognitive Map is Attracted to Goals"
M. Nardin, (2019).
View
| Files available
| DOI
M. Nardin, (2019).
2019 | Journal Article | IST-REx-ID: 6069 |
Stokes flow analogous to viscous electron current in graphene
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019).
View
| Files available
| DOI
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019).
2019 | Thesis | IST-REx-ID: 6071 |
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
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
2019 | Research Data | IST-REx-ID: 6074 |
Supplementary data for the research paper "Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition"
C. Dotter, G. Novarino, (2019).
View
| Files available
| DOI
C. Dotter, G. Novarino, (2019).
2019 | Journal Article | IST-REx-ID: 6086 |
Singular analytic linear cocycles with negative infinite Lyapunov exponents
C. Sadel, D. Xu, Ergodic Theory and Dynamical Systems 39 (2019) 1082–1098.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Sadel, D. Xu, Ergodic Theory and Dynamical Systems 39 (2019) 1082–1098.
2019 | Journal Article | IST-REx-ID: 6087 |
Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P. Xia, D.J. Gütl, V. Zheden, C.-P.J. Heisenberg, Cell 176 (2019) 1379–1392.e14.
2019 | Journal Article | IST-REx-ID: 6088
Inhibition of ABCB1 and ABCG2 at the mouse blood-brain barrier with marketed drugs to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib
A. Traxl, S. Mairinger, T. Filip, M. Sauberer, J. Stanek, S. Poschner, W. Jäger, V. Zoufal, G. Novarino, N. Tournier, M. Bauer, T. Wanek, O. Langer, Molecular Pharmaceutics 16 (2019) 1282–1293.
View
| DOI
| PubMed | Europe PMC
A. Traxl, S. Mairinger, T. Filip, M. Sauberer, J. Stanek, S. Poschner, W. Jäger, V. Zoufal, G. Novarino, N. Tournier, M. Bauer, T. Wanek, O. Langer, Molecular Pharmaceutics 16 (2019) 1282–1293.
2019 | Journal Article | IST-REx-ID: 6089 |
Pleiotropy modulates the efficacy of selection in drosophila melanogaster
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
2019 | Journal Article | IST-REx-ID: 6090 |
Receptor crosstalk improves concentration sensing of multiple ligands
M. Carballo-Pacheco, J. Desponds, T. Gavrilchenko, A. Mayer, R. Prizak, G. Reddy, I. Nemenman, T. Mora, Physical Review E 99 (2019).
View
| DOI
| Download Preprint (ext.)
M. Carballo-Pacheco, J. Desponds, T. Gavrilchenko, A. Mayer, R. Prizak, G. Reddy, I. Nemenman, T. Mora, Physical Review E 99 (2019).
2019 | Journal Article | IST-REx-ID: 6091 |
Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 6092 |
Quantum many-body dynamics of the Einstein-de Haas effect
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019).
2019 | Journal Article | IST-REx-ID: 6093 |
Fluid dynamics during bleb formation in migrating cells in vivo
M. Goudarzi, A. Boquet-Pujadas, J.C. Olivo-Marin, E. Raz, PLOS ONE 14 (2019).
View
| Files available
| DOI
M. Goudarzi, A. Boquet-Pujadas, J.C. Olivo-Marin, E. Raz, PLOS ONE 14 (2019).
2019 | Journal Article | IST-REx-ID: 6095 |
Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393.
View
| Files available
| DOI
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology 28 (2019) 1375–1393.
2019 | Journal Article | IST-REx-ID: 6102 |
A full vectorial mapping of nanophotonic light fields
B. Le Feber, J.E. Sipe, M. Wulf, L. Kuipers, N. Rotenberg, Light: Science and Applications 8 (2019).
View
| Files available
| DOI
| arXiv
B. Le Feber, J.E. Sipe, M. Wulf, L. Kuipers, N. Rotenberg, Light: Science and Applications 8 (2019).
2019 | Journal Article | IST-REx-ID: 6104
Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking
M. Zwiewka, A. Bielach, P. Tamizhselvan, S. Madhavan, E.E. Ryad, S. Tan, M. Hrtyan, P. Dobrev, R. Vanková, J. Friml, V.B. Tognetti, Plant and Cell Physiology 60 (2019) 255–273.
View
| DOI
| PubMed | Europe PMC
M. Zwiewka, A. Bielach, P. Tamizhselvan, S. Madhavan, E.E. Ryad, S. Tan, M. Hrtyan, P. Dobrev, R. Vanková, J. Friml, V.B. Tognetti, Plant and Cell Physiology 60 (2019) 255–273.
2019 | Journal Article | IST-REx-ID: 6105 |
A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
View
| Files available
| DOI
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology 88 (2019) 566–578.
2019 | Conference Paper | IST-REx-ID: 6163
Rhombic dodecahedron grid—coordinate system and 3D digital object definitions
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, in:, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2019, pp. 27–37.
View
| DOI
R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, in:, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2019, pp. 27–37.
2019 | Journal Article | IST-REx-ID: 6174 |
Kosterlitz-Thouless scaling at many-body localization phase transitions
P.T. Dumitrescu, A. Goremykina, S.A. Parameswaran, M. Serbyn, R. Vasseur, Physical Review B 99 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
P.T. Dumitrescu, A. Goremykina, S.A. Parameswaran, M. Serbyn, R. Vasseur, Physical Review B 99 (2019).
2019 | Thesis | IST-REx-ID: 6179 |
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6182 |
Random matrices with slow correlation decay
L. Erdös, T.H. Krüger, D.J. Schröder, Forum of Mathematics, Sigma 7 (2019).
View
| Files available
| DOI
| arXiv
L. Erdös, T.H. Krüger, D.J. Schröder, Forum of Mathematics, Sigma 7 (2019).
2019 | Journal Article | IST-REx-ID: 6186 |
Cusp universality for random matrices, II: The real symmetric case
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
2019 | Journal Article | IST-REx-ID: 6189 |
Transition to turbulence in particle laden flows
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019).
2019 | Journal Article | IST-REx-ID: 6190 |
CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis
M. Roblek, D. Protsyuk, P.F. Becker, C. Stefanescu, C. Gorzelanny, J.F. Glaus Garzon, L. Knopfova, M. Heikenwalder, B. Luckow, S.W. Schneider, L. Borsig, Molecular Cancer Research 17 (2019) 783–793.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Roblek, D. Protsyuk, P.F. Becker, C. Stefanescu, C. Gorzelanny, J.F. Glaus Garzon, L. Knopfova, M. Heikenwalder, B. Luckow, S.W. Schneider, L. Borsig, Molecular Cancer Research 17 (2019) 783–793.
2019 | Journal Article | IST-REx-ID: 6191 |
Theory of mechanochemical patterning in biphasic biological tissues
P. Recho, A. Hallou, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 5344–5349.
View
| Files available
| DOI
| PubMed | Europe PMC
P. Recho, A. Hallou, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 5344–5349.
2019 | Journal Article | IST-REx-ID: 6194 |
The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
View
| Files available
| DOI
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
2019 | Journal Article | IST-REx-ID: 6230 |
Why structure matters
N.H. Barton, J. Hermisson, M. Nordborg, ELife 8 (2019).
View
| Files available
| DOI
N.H. Barton, J. Hermisson, M. Nordborg, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 6232 |
Boundary regularity of stochastic PDEs
M. Gerencser, Annals of Probability 47 (2019) 804–834.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gerencser, Annals of Probability 47 (2019) 804–834.
2019 | Journal Article | IST-REx-ID: 6240 |
Location of the spectrum of Kronecker random matrices
J. Alt, L. Erdös, T.H. Krüger, Y. Nemish, Annales de l’institut Henri Poincare 55 (2019) 661–696.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Y. Nemish, Annales de l’institut Henri Poincare 55 (2019) 661–696.
2019 | Journal Article | IST-REx-ID: 6259 |
TMK1-mediated auxin signalling regulates differential growth of the apical hook
M. Cao, R. Chen, P. Li, Y. Yu, R. Zheng, D. Ge, W. Zheng, X. Wang, Y. Gu, Z. Gelová, J. Friml, H. Zhang, R. Liu, J. He, T. Xu, Nature 568 (2019) 240–243.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Cao, R. Chen, P. Li, Y. Yu, R. Zheng, D. Ge, W. Zheng, X. Wang, Y. Gu, Z. Gelová, J. Friml, H. Zhang, R. Liu, J. He, T. Xu, Nature 568 (2019) 240–243.
2019 | Journal Article | IST-REx-ID: 6260 |
Pinstatic acid promotes auxin transport by inhibiting PIN internalization
A. Oochi, J. Hajny, K. Fukui, Y. Nakao, M.C. Gallei, M. Quareshy, K. Takahashi, T. Kinoshita, S. Harborough, S. Kepinski, H. Kasahara, R. Napier, J. Friml, K. Hayashi, Plant Physiology 180 (2019) 1152–1165.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Oochi, J. Hajny, K. Fukui, Y. Nakao, M.C. Gallei, M. Quareshy, K. Takahashi, T. Kinoshita, S. Harborough, S. Kepinski, H. Kasahara, R. Napier, J. Friml, K. Hayashi, Plant Physiology 180 (2019) 1152–1165.
2019 | Journal Article | IST-REx-ID: 6261 |
Nitrate modulates the differentiation of root distal stem cells
Y. Wang, Z. Gong, J. Friml, J. Zhang, Plant Physiology 180 (2019) 22–25.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Wang, Z. Gong, J. Friml, J. Zhang, Plant Physiology 180 (2019) 22–25.
2019 | Journal Article | IST-REx-ID: 6262 |
Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls
H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal 98 (2019) 1048–1059.
View
| Files available
| DOI
| PubMed | Europe PMC
H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal 98 (2019) 1048–1059.
2019 | Journal Article | IST-REx-ID: 6297 |
An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, Matrix Biology 78–79 (2019) 47–59.
View
| Files available
| DOI
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, Matrix Biology 78–79 (2019) 47–59.
2019 | Journal Article | IST-REx-ID: 6310 |
Counting rational points on biquadratic hypersurfaces
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.
View
| Files available
| DOI
| arXiv
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.