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 | Thesis | IST-REx-ID: 938 |

Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
View
| Files available
| DOI
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
2017 | Journal Article | IST-REx-ID: 939 |

Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
View
| DOI
| Download Submitted Version (ext.)
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
2017 | Conference Paper | IST-REx-ID: 941
JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
View
| DOI
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
2017 | Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View
| DOI
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
2017 | Journal Article | IST-REx-ID: 943 |

Decoding of position in the developing neural tube from antiparallel morphogen gradients
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
2017 | Journal Article | IST-REx-ID: 944
Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
View
| DOI
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
2017 | Journal Article | IST-REx-ID: 945 |

Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
View
| Files available
| DOI
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
2017 | Journal Article | IST-REx-ID: 946 |

Live tracking of moving samples in confocal microscopy for vertically grown roots
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
View
| Files available
| DOI
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 947 |

Quantifying the entropic cost of cellular growth control
D. De Martino, F. Capuani, A. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
View
| DOI
| Download Submitted Version (ext.)
D. De Martino, F. Capuani, A. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
2017 | Conference Paper | IST-REx-ID: 950 |

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 951 |

Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
View
| Files available
| DOI
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
2017 | Journal Article | IST-REx-ID: 952 |

Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.
2017 | Journal Article | IST-REx-ID: 953 |

The sources of adaptive evolution
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).
2017 | Journal Article | IST-REx-ID: 954 |

On the mechanistic nature of epistasis in a canonical cis-regulatory element
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).
View
| Files available
| DOI
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 955 |

Evolution of new regulatory functions on biophysically realistic fitness landscapes
T. Friedlander, R. Prizak, N.H. Barton, G. Tkačik, Nature Communications 8 (2017).
View
| Files available
| DOI
T. Friedlander, R. Prizak, N.H. Barton, G. Tkačik, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 956 |

Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.
View
| DOI
| Download Submitted Version (ext.)
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.
2017 | Book Chapter | IST-REx-ID: 957
Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors
B. Clifton, J. Whitfield, I. Sanchez-Romero, M. Herde, C. Henneberger, H.L. Janovjak, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 71–87.
View
| DOI
B. Clifton, J. Whitfield, I. Sanchez-Romero, M. Herde, C. Henneberger, H.L. Janovjak, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 71–87.
2017 | Book Chapter | IST-REx-ID: 958
Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
View
| DOI
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
2017 | Journal Article | IST-REx-ID: 959 |

Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics
D. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 95 (2017) 062419.
View
| DOI
| Download Submitted Version (ext.)
D. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 95 (2017) 062419.
2017 | Journal Article | IST-REx-ID: 960 |

Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks
A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).
View
| Files available
| DOI
A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).
2017 | Thesis | IST-REx-ID: 961 |

Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, IST Austria, 2017.
View
| Files available
| DOI
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, IST Austria, 2017.
2017 | Conference Paper | IST-REx-ID: 962
Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
View
| DOI
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
2017 | Conference Paper | IST-REx-ID: 963 |

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 988 |

Current-phase relation of ballistic graphene Josephson junctions
G. Nanda, J.L. Aguilera Servin, P. Rakyta, A. Kormányos, R. Kleiner, D. Koelle, K. Watanabe, T. Taniguchi, L. Vandersypen, S. Goswami, Nano Letters 17 (2017) 3396–3401.
View
| Files available
| DOI
G. Nanda, J.L. Aguilera Servin, P. Rakyta, A. Kormányos, R. Kleiner, D. Koelle, K. Watanabe, T. Taniguchi, L. Vandersypen, S. Goswami, Nano Letters 17 (2017) 3396–3401.
2017 | Conference Paper | IST-REx-ID: 989
Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
View
| DOI
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
2017 | Journal Article | IST-REx-ID: 990 |

Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow
H. Sachdeva, N.H. Barton, Evolution; International Journal of Organic Evolution 71 (2017) 1478–1493.
View
| Files available
| DOI
| PubMed | Europe PMC
H. Sachdeva, N.H. Barton, Evolution; International Journal of Organic Evolution 71 (2017) 1478–1493.
2017 | Journal Article | IST-REx-ID: 991
Synaptotagmins: That’s why so many
C. Chen, P.M. Jonas, Neuron 94 (2017) 694–696.
View
| DOI
C. Chen, P.M. Jonas, Neuron 94 (2017) 694–696.
2017 | Thesis | IST-REx-ID: 992 |

Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
View
| Files available
| DOI
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
2017 | Journal Article | IST-REx-ID: 993 |

Subsampling scaling
A. Levina (Martius), V. Priesemann, Nature Communications 8 (2017).
View
| Files available
| DOI
A. Levina (Martius), V. Priesemann, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 994 |

Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
View
| DOI
| Download Submitted Version (ext.)
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
2017 | Journal Article | IST-REx-ID: 995 |

Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View
| DOI
| Download Submitted Version (ext.)
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
2017 | Journal Article | IST-REx-ID: 996 |

Strongly aligned molecules inside helium droplets in the near-adiabatic regime
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).
View
| DOI
| Download Submitted Version (ext.)
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).
2017 | Journal Article | IST-REx-ID: 997 |

Emergence of non-abelian magnetic monopoles in a quantum impurity problem
E. Yakaboylu, A. Deuchert, M. Lemeshko, APS Physics, Physical Review Letters 119 (2017).
View
| DOI
| Download Submitted Version (ext.)
E. Yakaboylu, A. Deuchert, M. Lemeshko, APS Physics, Physical Review Letters 119 (2017).
2017 | Conference Paper | IST-REx-ID: 998 |

iCaRL: Incremental classifier and representation learning
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
View
| DOI
| Download Submitted Version (ext.)
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
2017 | Conference Paper | IST-REx-ID: 999 |

Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, Omnipress, 2017, pp. 2807–2816.
View
| Download Submitted Version (ext.)
A. Pentina, C. Lampert, in:, Omnipress, 2017, pp. 2807–2816.
2017 | Book Chapter | IST-REx-ID: 424 |

Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
View
| Files available
| DOI
| Download Published Version (ext.)
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
2017 | Conference Paper | IST-REx-ID: 431 |

QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, Inc., 2017, pp. 1710–1721.
View
| Download Submitted Version (ext.)
| arXiv
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, Inc., 2017, pp. 1710–1721.
2017 | Conference Paper | IST-REx-ID: 432 |

ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, PMLR, 2017, pp. 4035–4043.
View
| Files available
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, PMLR, 2017, pp. 4035–4043.
2017 | Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View
| DOI
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
2017 | Journal Article | IST-REx-ID: 447 |

Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
View
| Download Submitted Version (ext.)
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
2017 | Journal Article | IST-REx-ID: 453 |

Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
View
| Files available
| DOI
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
2017 | Journal Article | IST-REx-ID: 459 |

Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
View
| Files available
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
2017 | Conference Paper | IST-REx-ID: 313 |

Experimental evidence for Wigner's tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
View
| Files available
| DOI
| arXiv
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
2017 | Thesis | IST-REx-ID: 6291 |

Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
View
| Files available
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 1127 |

Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, IST Austria, 2017.
View
| Files available
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, IST Austria, 2017.
2017 | Journal Article | IST-REx-ID: 1029 |

Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast
M. Lukacisin, M. Landon, R. Jajoo, PLoS One 12 (2017).
View
| Files available
| DOI
M. Lukacisin, M. Landon, R. Jajoo, PLoS One 12 (2017).
2017 | Conference Paper | IST-REx-ID: 949 |

JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
2017 | Conference Paper | IST-REx-ID: 639 |

Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
2017 | Journal Article | IST-REx-ID: 682 |

PirB regulates asymmetries in hippocampal circuitry
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).
View
| Files available
| DOI
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).
2017 | Journal Article | IST-REx-ID: 696 |

Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).
View
| Files available
| DOI
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).
2017 | Journal Article | IST-REx-ID: 1027 |

Toward a quantitative understanding of antibiotic resistance evolution
M. Lukacisinova, M.T. Bollenbach, Current Opinion in Biotechnology 46 (2017) 90–97.
View
| Files available
| DOI
M. Lukacisinova, M.T. Bollenbach, Current Opinion in Biotechnology 46 (2017) 90–97.
2017 | Journal Article | IST-REx-ID: 704 |

Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection
M. Steinrück, C.C. Guet, ELife 6 (2017).
View
| Files available
| DOI
M. Steinrück, C.C. Guet, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 1024 |

Methodological advances in auxin and cytokinin biology
A. Hurny, E. Benková, Auxins and Cytokinins in Plant Biology 1569 (2017) 1–29.
View
| Files available
| DOI
A. Hurny, E. Benková, Auxins and Cytokinins in Plant Biology 1569 (2017) 1–29.
2017 | Journal Article | IST-REx-ID: 664
The dynamic cytokine niche
F.P. Assen, M.K. Sixt, Immunity 46 (2017) 519–520.
View
| Files available
| DOI
F.P. Assen, M.K. Sixt, Immunity 46 (2017) 519–520.
2017 | Journal Article | IST-REx-ID: 676 |

Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation
G. Krens, J. Veldhuis, V. Barone, D. Capek, J.-L. Maître, W. Brodland, C.-P.J. Heisenberg, Development 144 (2017) 1798–1806.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Krens, J. Veldhuis, V. Barone, D. Capek, J.-L. Maître, W. Brodland, C.-P.J. Heisenberg, Development 144 (2017) 1798–1806.
2017 | Journal Article | IST-REx-ID: 661 |

Friction forces position the neural anlage
M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.
2016 | Conference Paper | IST-REx-ID: 8094 |

Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
View
| Files available
| DOI
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
2016 | Journal Article | IST-REx-ID: 1705 |

Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
View
| Files available
| DOI
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
2016 | Conference Paper | IST-REx-ID: 1707
Optimal geospatial allocation of volunteers for crisis management
J. Pielorz, C. Lampert, in:, IEEE, 2016.
View
| DOI
J. Pielorz, C. Lampert, in:, IEEE, 2016.
2016 | Journal Article | IST-REx-ID: 1794 |

Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
2016 | Journal Article | IST-REx-ID: 1833 |

On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
View
| DOI
| Download Preprint (ext.)
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
2016 | Journal Article | IST-REx-ID: 1881 |

Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
2016 | Conference Paper | IST-REx-ID: 478 |

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
2016 | Conference Paper | IST-REx-ID: 479
Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
View
| DOI
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
2016 | Conference Paper | IST-REx-ID: 480 |

Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
2016 | Conference Paper | IST-REx-ID: 482
Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, OSA, 2016.
View
| DOI
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, OSA, 2016.
2016 | Journal Article | IST-REx-ID: 510 |

The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
View
| DOI
| Download Submitted Version (ext.)
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
2016 | Technical Report | IST-REx-ID: 5445 |

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5446 |

Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5447 |

Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5448 |

Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
View
| Files available
| arXiv
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5449 |

Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5451 |

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5452 |

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 | Technical Report | IST-REx-ID: 5453 |

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 | Research Data | IST-REx-ID: 5550 |

Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
View
| Files available
| DOI
T. Ellis, D. Field, (2016).
2016 | Research Data | IST-REx-ID: 5551 |

Data on pollinator observations and offpsring phenotypes
T. Ellis, (2016).
View
| Files available
| DOI
T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5552 |

Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).
View
| Files available
| DOI
T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5553 |

Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
D. Field, T. Ellis, (2016).
View
| Files available
| DOI
D. Field, T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5555 |

Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
View
| Files available
| DOI
R. Hauschild, (2016).
2016 | Research Data | IST-REx-ID: 5556 |

MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, M. Landon, R. Jajoo, (2016).
View
| Files available
| DOI
M. Lukacisin, M. Landon, R. Jajoo, (2016).
2016 | Research Data | IST-REx-ID: 5557 |

Synthetic discrete tomography problems
P. Swoboda, (2016).
View
| Files available
| DOI
P. Swoboda, (2016).
2016 | Research Data | IST-REx-ID: 5558 |

Tracking, Correcting and Absorbing Water Surface Waves
M. Bojsen-Hansen, (2016).
View
| Files available
| DOI
M. Bojsen-Hansen, (2016).
2016 | Journal Article | IST-REx-ID: 1270 |

Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
View
| Files available
| DOI
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1271 |

Steering cell migration by alternating blebs and actin-rich protrusions
A. Diz Muñoz, P. Romanczuk, W. Yu, M. Bergert, K. Ivanovitch, G. Salbreux, C.-P.J. Heisenberg, E. Paluch, BMC Biology 14 (2016).
View
| Files available
| DOI
A. Diz Muñoz, P. Romanczuk, W. Yu, M. Bergert, K. Ivanovitch, G. Salbreux, C.-P.J. Heisenberg, E. Paluch, BMC Biology 14 (2016).
2016 | Journal Article | IST-REx-ID: 1272 |

Generalized offsetting of planar structures using skeletons
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
View
| Files available
| DOI
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
2016 | Journal Article | IST-REx-ID: 1273 |

Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3
S. Porco, A. Larrieu, Y. Du, A. Gaudinier, T. Goh, K. Swarup, R. Swarup, B. Kuempers, A. Bishopp, J. Lavenus, I. Casimiro, K. Hill, E. Benková, H. Fukaki, S. Brady, B. Scheres, B. Peéet, M. Bennett, Development 143 (2016) 3340–3349.
View
| DOI
| Download Preprint (ext.)
S. Porco, A. Larrieu, Y. Du, A. Gaudinier, T. Goh, K. Swarup, R. Swarup, B. Kuempers, A. Bishopp, J. Lavenus, I. Casimiro, K. Hill, E. Benková, H. Fukaki, S. Brady, B. Scheres, B. Peéet, M. Bennett, Development 143 (2016) 3340–3349.
2016 | Journal Article | IST-REx-ID: 1274 |

Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
View
| Files available
| DOI
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1275
Callan-Jones et al. Reply
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 117 (2016).
View
| DOI
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P.J. Heisenberg, R. Voituriez, Physical Review Letters 117 (2016).
2016 | Journal Article | IST-REx-ID: 1276 |

Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex
P. Postila, K. Kaszuba, P. Kuleta, I. Vattulainen, M. Sarewicz, A. Osyczka, T. Róg, Scientific Reports 6 (2016).
View
| Files available
| DOI
P. Postila, K. Kaszuba, P. Kuleta, I. Vattulainen, M. Sarewicz, A. Osyczka, T. Róg, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1277 |

Danger-associated peptide signaling in Arabidopsis requires clathrin
F. Ortiz Morea, D. Savatin, W. Dejonghe, R. Kumar, Y. Luo, M. Adamowski, J. Van Begin, K. Dressano, G. De Oliveira, X. Zhao, Q. Lu, A. Madder, J. Friml, D. De Moura, E. Russinova, PNAS 113 (2016) 11028–11033.
View
| DOI
| Download Preprint (ext.)
F. Ortiz Morea, D. Savatin, W. Dejonghe, R. Kumar, Y. Luo, M. Adamowski, J. Van Begin, K. Dressano, G. De Oliveira, X. Zhao, Q. Lu, A. Madder, J. Friml, D. De Moura, E. Russinova, PNAS 113 (2016) 11028–11033.
2016 | Journal Article | IST-REx-ID: 1278 |

Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies
H. Matsuno, M. Kudoh, A. Watakabe, T. Yamamori, R. Shigemoto, S. Nagao, PLoS One 11 (2016).
View
| Files available
| DOI
H. Matsuno, M. Kudoh, A. Watakabe, T. Yamamori, R. Shigemoto, S. Nagao, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1279 |

Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the CA1 area of the hippocampus
K. Kovács, J. O’Neill, P. Schönenberger, M. Penttonen, D.K. Rangel Guerrero, J.L. Csicsvari, PLoS One 11 (2016).
View
| Files available
| DOI
K. Kovács, J. O’Neill, P. Schönenberger, M. Penttonen, D.K. Rangel Guerrero, J.L. Csicsvari, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1280 |

Fixed energy universality for generalized wigner matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
View
| DOI
| Download Preprint (ext.)
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
2016 | Journal Article | IST-REx-ID: 1281 |

Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor
E. Bouguyon, F. Perrine Walker, M. Pervent, J. Rochette, C. Cuesta, E. Benková, A. Martinière, L. Bach, G. Krouk, A. Gojon, P. Nacry, Plant Physiology 172 (2016) 1237–1248.
View
| DOI
| Download Preprint (ext.)
E. Bouguyon, F. Perrine Walker, M. Pervent, J. Rochette, C. Cuesta, E. Benková, A. Martinière, L. Bach, G. Krouk, A. Gojon, P. Nacry, Plant Physiology 172 (2016) 1237–1248.
2016 | Journal Article | IST-REx-ID: 1282 |

On eigenvalues of random complexes
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.
View
| DOI
| Download Preprint (ext.)
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.
2016 | Journal Article | IST-REx-ID: 1283
Seedlings’ strategy to overcome a soil barrier
Q. Zhu, E. Benková, Trends in Plant Science 21 (2016) 809–811.
View
| Files available
| DOI
Q. Zhu, E. Benková, Trends in Plant Science 21 (2016) 809–811.
2016 | Journal Article | IST-REx-ID: 1285
Focal adhesion-independent cell migration
E. Paluch, I. Aspalter, M.K. Sixt, Annual Review of Cell and Developmental Biology 32 (2016) 469–490.
View
| DOI
E. Paluch, I. Aspalter, M.K. Sixt, Annual Review of Cell and Developmental Biology 32 (2016) 469–490.
2016 | Journal Article | IST-REx-ID: 1286 |

Rotation of cold molecular ions inside a Bose-Einstein condensate
B. Midya, M. Tomza, R. Schmidt, M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 94 (2016).
View
| DOI
| Download Preprint (ext.)
B. Midya, M. Tomza, R. Schmidt, M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 94 (2016).
2016 | Journal Article | IST-REx-ID: 1287 |

Modes and exceptional points in waveguides with impedance boundary conditions
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
View
| DOI
| Download Preprint (ext.)
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.