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.