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.

1458 Publications


2019 | Conference Paper | IST-REx-ID: 6462   OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, n.d.
View | Files available
 

2019 | Conference Paper | IST-REx-ID: 6378   OA
Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 374–381.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, n.d.
View | Files available
 

2019 | Journal Article | IST-REx-ID: 6486   OA
Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019) 111105.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6506   OA
Chance and pleiotropy dominate genetic diversity in complex bacterial environments
L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology (2019).
View | DOI | Download (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6556   OA
3-manifold triangulations with small treewidth
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019, p. 44:1-44:20.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6563   OA
Are two given maps homotopic? An algorithmic viewpoint
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics (2019).
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6260   OA
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 | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6366   OA
A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls
J. Bellstaedt, J. Trenner, R. Lippmann, Y. Poeschl, X. Zhang, J. Friml, M. Quint, C. Delker, Plant Physiology 180 (2019) 757–766.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6575   OA
Emergent SU(2) dynamics and perfect quantum many-body scars
S. Choi, C.J. Turner, H. Pichler, W.W. Ho, A. Michailidis, Z. Papić, M. Serbyn, M.D. Lukin, D.A. Abanin, Physical Review Letters 122 (2019) 220603.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6607   OA
SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness
C.H. Nguyen, T. Glüxam, A. Schlerka, K. Bauer, A.M. Grandits, H. Hackl, O. Dovey, S. Zöchbauer-Müller, J.L. Cooper, G.S. Vassiliou, D. Stoiber, R. Wieser, G. Heller, Scientific Reports 9 (2019) 9139.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6638   OA
Graphs with at most one crossing
A. Silva, A.M. Arroyo Guevara, B. Richter, O. Lee, Discrete Mathematics (2019).
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 301   OA
A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
View | DOI | Download (ext.) | 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 | Download (ext.) | arXiv
 

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) 937.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6095   OA
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 (2019).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6090   OA
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) 022423.
View | DOI | Download (ext.)
 

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
 

2019 | Journal Article | IST-REx-ID: 6191   OA
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
 

2019 | Journal Article | IST-REx-ID: 6189   OA
Transition to turbulence in particle laden flows
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019) 114502.
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed