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.
3078 Publications
2017 | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Journal Article | IST-REx-ID: 1433
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
View
| DOI
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
2017 | Journal Article | IST-REx-ID: 1528 |

Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
View
| Files available
| DOI
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
2017 | Conference Paper | IST-REx-ID: 1000 |

PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, Omnipress, 2017, pp. 1905–1914.
View
| Download Submitted Version (ext.)
A. Kolesnikov, C. Lampert, in:, Omnipress, 2017, pp. 1905–1914.
2017 | Conference Paper | IST-REx-ID: 1001 |

CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
View
| Files available
| DOI
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
2017 | Conference Paper | IST-REx-ID: 1002 |

Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
View
| Files available
| DOI
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
2017 | Conference Paper | IST-REx-ID: 1003 |

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
2017 | Journal Article | IST-REx-ID: 1004 |

Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View
| Files available
| DOI
| PubMed | Europe PMC
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
2017 | Journal Article | IST-REx-ID: 1006 |

Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
View
| Files available
| DOI
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
2017 | Journal Article | IST-REx-ID: 1007 |

Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
View
| Files available
| DOI
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
2017 | Conference Paper | IST-REx-ID: 1009 |

Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
View
| Download Submitted Version (ext.)
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
2017 | Journal Article | IST-REx-ID: 1010 |

Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
View
| Files available
| DOI
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
2017 | Conference Paper | IST-REx-ID: 1011 |

Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
2017 | Journal Article | IST-REx-ID: 1013 |

Viewpoint: Microwave quantum states beat the heat
J.M. Fink, Physics 10 (2017).
View
| Files available
| DOI
J.M. Fink, Physics 10 (2017).
2017 | Journal Article | IST-REx-ID: 1015 |

Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
View
| Files available
| DOI
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
2017 | Journal Article | IST-REx-ID: 1016
Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
View
| DOI
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
2017 | Journal Article | IST-REx-ID: 1017 |

Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
View
| Files available
| DOI
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
2017 | Journal Article | IST-REx-ID: 1018
Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
View
| DOI
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
2017 | Journal Article | IST-REx-ID: 1019
X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
View
| DOI
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
2017 | Journal Article | IST-REx-ID: 1020 |

Disordered cellulose based nanostructures for enhanced light scattering
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
View
| DOI
| Download Submitted Version (ext.)
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
2017 | Journal Article | IST-REx-ID: 1021 |

Boundary layer turbulence in experiments on quasi Keplerian flows
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
View
| DOI
| Download Submitted Version (ext.)
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
2017 | Journal Article | IST-REx-ID: 1022 |

The topology of the cosmic web in terms of persistent Betti numbers
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
View
| DOI
| Download Submitted Version (ext.)
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
2017 | Journal Article | IST-REx-ID: 1023 |

Local law for the product of independent non-Hermitian random matrices with independent entries
Y. Nemish, Electronic Journal of Probability 22 (2017).
View
| Files available
| DOI
Y. Nemish, Electronic Journal of Probability 22 (2017).
2017 | Journal Article | IST-REx-ID: 1025
Cell biology: Stretched divisions
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
View
| DOI
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
2017 | Journal Article | IST-REx-ID: 1026
Optogenetic methods in drug screening: Technologies and applications
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
View
| DOI
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
2017 | Journal Article | IST-REx-ID: 1028 |

Green-light-induced inactivation of receptor signaling using cobalamin-binding domains
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie - International Edition 56 (2017) 4608–4611.
View
| Files available
| DOI
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie - International Edition 56 (2017) 4608–4611.
2017 | Journal Article | IST-REx-ID: 1030 |

Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
View
| Files available
| DOI
M. Villányi, Informationspraxis 3 (2017).
2017 | Journal Article | IST-REx-ID: 1063 |

Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
View
| DOI
| Download Submitted Version (ext.)
H. Uecker, Evolution 71 (2017) 845–858.
2017 | Journal Article | IST-REx-ID: 1065 |

Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
View
| Files available
| DOI
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
2017 | Journal Article | IST-REx-ID: 1066
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
2017 | Journal Article | IST-REx-ID: 1067 |

The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
View
| Files available
| DOI
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
2017 | Journal Article | IST-REx-ID: 1072 |

The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
View
| Download Preprint (ext.)
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
2017 | Journal Article | IST-REx-ID: 1073 |

Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
View
| DOI
| Download Submitted Version (ext.)
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
2017 | Journal Article | IST-REx-ID: 1074 |

Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
View
| Files available
| DOI
| Download Preprint (ext.)
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
2017 | Journal Article | IST-REx-ID: 1076 |

Strong-field ionization via a high-order Coulomb-corrected strong-field approximation
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
View
| DOI
| Download Submitted Version (ext.)
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
2017 | Journal Article | IST-REx-ID: 1077 |

Evolutionary interplay between structure, energy and epistasis in the coat protein of the fX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
View
| Files available
| DOI
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
2017 | Journal Article | IST-REx-ID: 1078 |

Light sheet fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
View
| Files available
| DOI
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
2017 | Journal Article | IST-REx-ID: 1079 |

Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
View
| DOI
| Download Submitted Version (ext.)
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
2017 | Journal Article | IST-REx-ID: 1080 |

Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
View
| Files available
| DOI
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 1084
Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
View
| DOI
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
2017 | Journal Article | IST-REx-ID: 1085 |

Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
View
| Files available
| DOI
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 1086 |

Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide
M. Di Giglio, M. Muttenthaler, K. Harpsøe, Z. Liutkeviciute, P. Keov, T. Eder, T. Rattei, S. Arrowsmith, S. Wray, A. Marek, T. Elbert, P. Alewood, D. Gloriam, C. Gruber, Scientific Reports 7 (2017) 41002.
View
| Files available
| DOI
M. Di Giglio, M. Muttenthaler, K. Harpsøe, Z. Liutkeviciute, P. Keov, T. Eder, T. Rattei, S. Arrowsmith, S. Wray, A. Marek, T. Elbert, P. Alewood, D. Gloriam, C. Gruber, Scientific Reports 7 (2017) 41002.
2017 | Journal Article | IST-REx-ID: 1087 |

Speed and structure of turbulent fronts in pipe flow
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
View
| DOI
| Download Submitted Version (ext.)
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
2017 | Journal Article | IST-REx-ID: 1089 |

Total positivity in Markov structures
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
View
| DOI
| Download Submitted Version (ext.)
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
2017 | Journal Article | IST-REx-ID: 1104 |

Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
View
| Files available
| DOI
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
2017 | Conference Paper | IST-REx-ID: 1108 |

Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, JMLR, Inc. and Microtome Publishing, 2017, pp. 213–222.
View
| Download Submitted Version (ext.)
A. Zimin, C. Lampert, in:, JMLR, Inc. and Microtome Publishing, 2017, pp. 213–222.
2017 | Journal Article | IST-REx-ID: 1109 |

Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free
B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
View
| DOI
| Download Preprint (ext.)
B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
2017 | Journal Article | IST-REx-ID: 1110 |

Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
View
| Files available
| DOI
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
2017 | Journal Article | IST-REx-ID: 1111 |

Selection limits to adaptive walks on correlated landscapes
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
2017 | Conference Paper | IST-REx-ID: 1112
An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
View
| DOI
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.