en
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.
2154 Publications
2019 | Journal Article | IST-REx-ID: 6586 
Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion
M. Ibáñez, R. Hasler, A. Genç, Y. Liu, B. Kuster, M. Schuster, O. Dobrozhan, D. Cadavid, J. Arbiol, A. Cabot, M.V. Kovalenko, Journal of the American Chemical Society 141 (2019) 8025–8029.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Ibáñez, R. Hasler, A. Genç, Y. Liu, B. Kuster, M. Schuster, O. Dobrozhan, D. Cadavid, J. Arbiol, A. Cabot, M.V. Kovalenko, Journal of the American Chemical Society 141 (2019) 8025–8029.
2019 | Journal Article | IST-REx-ID: 6593
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms (2019) 1–24.
View
| Files available
| DOI
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms (2019) 1–24.
2019 | Journal Article | IST-REx-ID: 6620
On a certain non-split cubic surface
R. De La Bretèche, K.N. Destagnol, J. Liu, J. Wu, Y. Zhao, Science China Mathematics (2019).
View
| DOI
| Download (ext.)
| arXiv
R. De La Bretèche, K.N. Destagnol, J. Liu, J. Wu, Y. Zhao, Science China Mathematics (2019).
2019 | Journal Article | IST-REx-ID: 6632
Coupled superfluidity of binary Bose mixtures in two dimensions
V. Karle, N. Defenu, T. Enss, Physical Review A 99 (2019) 063627.
View
| DOI
| Download (ext.)
| arXiv
V. Karle, N. Defenu, T. Enss, Physical Review A 99 (2019) 063627.
2019 | Journal Article | IST-REx-ID: 6637
Surfing on the seascape: Adaptation in a changing environment
B. Trubenova, M. Krejca, P.K. Lehre, T. Kötzing, Evolution 73 (2019) 1356–1374.
View
| Files available
| DOI
B. Trubenova, M. Krejca, P.K. Lehre, T. Kötzing, Evolution 73 (2019) 1356–1374.
2019 | Journal Article | IST-REx-ID: 6649
Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics (2019).
View
| Files available
| DOI
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics (2019).
2019 | Journal Article | IST-REx-ID: 6795
Green beards in the light of indirect genetic effects
B. Trubenova, R. Hager, Ecology and Evolution (2019).
View
| Files available
| DOI
B. Trubenova, R. Hager, Ecology and Evolution (2019).
2019 | Conference Paper | IST-REx-ID: 6884
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 11.
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 11.
2019 | Conference Paper | IST-REx-ID: 6889
Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 6.
View
| Files available
| DOI
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 6.
2019 | Conference Paper | IST-REx-ID: 6822
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
View
| Files available
| DOI
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
2019 | Conference Paper | IST-REx-ID: 6935
Does preprocessing help under congestion?
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
View
| DOI
| Download (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
2019 | Conference Paper | IST-REx-ID: 6942
Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
View
| DOI
| Download (ext.)
| arXiv
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
2019 | Journal Article | IST-REx-ID: 6978
Geometry of transient chaos in streamwise-localized pipe flow turbulence
N.B. Budanur, A. Dogra, B. Hof, Physical Review Fluids 4 (2019) 102401.
View
| DOI
| Download (ext.)
| arXiv
N.B. Budanur, A. Dogra, B. Hof, Physical Review Fluids 4 (2019) 102401.
2019 | Journal Article | IST-REx-ID: 6980
Tissue rheology in embryonic organization
N. Petridou, C.-P.J. Heisenberg, The EMBO Journal 38 (2019) e102497.
View
| Files available
| DOI
| PubMed | Europe PMC
N. Petridou, C.-P.J. Heisenberg, The EMBO Journal 38 (2019) e102497.
2019 | Journal Article | IST-REx-ID: 7015
Floating Wigner crystal with no boundary charge fluctuations
M. Lewin, E.H. Lieb, R. Seiringer, Physical Review B 100 (2019) 035127.
View
| DOI
| Download (ext.)
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Physical Review B 100 (2019) 035127.
2019 | Conference Paper | IST-REx-ID: 6985
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
View
| DOI
| Download (ext.)
| arXiv
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 6997
Auxin guides roots to avoid obstacles during gravitropic growth
Y. Zhang, J. Friml, New Phytologist (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Zhang, J. Friml, New Phytologist (2019).
2019 | Journal Article | IST-REx-ID: 7034
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
R. Fulek, J. Kynčl, Combinatorica (2019).
View
| DOI
| Download (ext.)
| arXiv
R. Fulek, J. Kynčl, Combinatorica (2019).
2019 | Preprint | IST-REx-ID: 7084
Single-component order parameter in URu2Si2 uncovered by resonant ultrasound spectroscopy and machine learning
S. Ghosh, M. Matty, R. Baumbach, E.D. Bauer, K.A. Modic, A. Shekhter, J.A. Mydosh, E.-A. Kim, B.J. Ramshaw, ArXiv:1903.00552 (n.d.).
View
| Download (ext.)
| arXiv
S. Ghosh, M. Matty, R. Baumbach, E.D. Bauer, K.A. Modic, A. Shekhter, J.A. Mydosh, E.-A. Kim, B.J. Ramshaw, ArXiv:1903.00552 (n.d.).
2019 | Journal Article | IST-REx-ID: 7128
Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
View
| Files available
| DOI
| PubMed | Europe PMC
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
2019 | Journal Article | IST-REx-ID: 7130
Statistical criticality arises in most informative representations
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019) 063402.
View
| DOI
| Download (ext.)
| arXiv
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019) 063402.
2019 | Journal Article | IST-REx-ID: 6788
Mean-field dynamics for the Nelson model with fermions
N.K. Leopold, S.P. Petrat, Annales Henri Poincare (2019).
View
| Files available
| DOI
| arXiv
N.K. Leopold, S.P. Petrat, Annales Henri Poincare (2019).
2019 | Research Data | IST-REx-ID: 7154
Supplementary data for "Programming temporal morphing of self-actuated shells"
R. Guseinov, Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells,” IST Austria, 2019.
View
| Files available
| DOI
R. Guseinov, Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells,” IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 5907
N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated
R. Mócsai, R. Figl, C. Troschl, R. Strasser, E. Svehla, M. Windwarder, A. Thader, F. Altmann, Scientific Reports 9 (2019).
View
| Files available
| DOI
R. Mócsai, R. Figl, C. Troschl, R. Strasser, E. Svehla, M. Windwarder, A. Thader, F. Altmann, Scientific Reports 9 (2019).
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) 28.
View
| Files available
| DOI
| arXiv
B. Le Feber, J.E. Sipe, M. Wulf, L. Kuipers, N. Rotenberg, Light: Science and Applications 8 (2019) 28.
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: 6032
Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2019).
View
| DOI
| Download (ext.)
| arXiv
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2019).
2019 | Conference Paper | IST-REx-ID: 6056
Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019, p. 8751326.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019, p. 8751326.
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
| DOI
| Download (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 | Conference Paper | IST-REx-ID: 6556
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
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.
2019 | Journal Article | IST-REx-ID: 6563
Are two given maps homotopic? An algorithmic viewpoint
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics (2019).
View
| DOI
| Download (ext.)
| arXiv
M. Filakovský, L. Vokřínek, Foundations of Computational Mathematics (2019).
2019 | Journal Article | IST-REx-ID: 6575
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
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.
2019 | Journal Article | IST-REx-ID: 6607
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
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.
2019 | Journal Article | IST-REx-ID: 6412
Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
View
| Files available
| DOI
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
2019 | Conference Paper | IST-REx-ID: 6493
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, 2019, pp. 297–314.
View
| Files available
| DOI
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 | Journal Article | IST-REx-ID: 6506
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.)
L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology (2019).
2019 | Conference Paper | IST-REx-ID: 6462
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, 2019, pp. 630–649.
View
| Files available
| DOI
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
2019 | Conference Paper | IST-REx-ID: 6378
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
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 374–381.
2019 | Journal Article | IST-REx-ID: 6380
Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019) 53.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019) 53.
2019 | Journal Article | IST-REx-ID: 6486
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
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019) 111105.
2019 | Journal Article | IST-REx-ID: 6366
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
J. Bellstaedt, J. Trenner, R. Lippmann, Y. Poeschl, X. Zhang, J. Friml, M. Quint, C. Delker, Plant Physiology 180 (2019) 757–766.
2019 | Journal Article | IST-REx-ID: 6671
The reach, metric distortion, geodesic convexity and the variation of tangent spaces
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology (2019).
View
| Files available
| DOI
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology (2019).
2019 | Journal Article | IST-REx-ID: 6638
Graphs with at most one crossing
A. Silva, A.M. Arroyo Guevara, B. Richter, O. Lee, Discrete Mathematics (2019).
View
| DOI
| Download (ext.)
| arXiv
A. Silva, A.M. Arroyo Guevara, B. Richter, O. Lee, Discrete Mathematics (2019).
2019 | Journal Article | IST-REx-ID: 6657
An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors
P. Danowski, VOEB-Mitteilungen 72 (2019) 59–65.
View
| Files available
| DOI
P. Danowski, VOEB-Mitteilungen 72 (2019) 59–65.
2019 | Conference Paper | IST-REx-ID: 6676
Why extension-based proofs fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, ACM Press, 2019, pp. 986–996.
View
| DOI
| Download (ext.)
| arXiv
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, ACM Press, 2019, pp. 986–996.
2019 | Journal Article | IST-REx-ID: 6784
Molecular noise of innate immunity shapes bacteria-phage ecologies
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, PLoS Computational Biology 15 (2019).
View
| Files available
| DOI
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, PLoS Computational Biology 15 (2019).
2019 | Journal Article | IST-REx-ID: 6796
Partial coherence and frustration in self-organizing spherical grids
F. Stella, E. Urdapilleta, Y. Luo, A. Treves, Hippocampus (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
F. Stella, E. Urdapilleta, Y. Luo, A. Treves, Hippocampus (2019).
2019 | Journal Article | IST-REx-ID: 6835
Rational points and prime values of polynomials in moderately many variables
K.N. Destagnol, E. Sofos, Bulletin Des Sciences Mathematiques 156 (2019) 102794.
View
| DOI
| Download (ext.)
| arXiv
K.N. Destagnol, E. Sofos, Bulletin Des Sciences Mathematiques 156 (2019) 102794.
2019 | Conference Paper | IST-REx-ID: 6885
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 27.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 27.
2019 | Journal Article | IST-REx-ID: 6828
Arakawa-Suzuki functors for Whittaker modules
A. Brown, Journal of Algebra 538 (2019) 261–289.
View
| DOI
| Download (ext.)
| arXiv
A. Brown, Journal of Algebra 538 (2019) 261–289.