Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6590 Publications
2017 |
Published |
Thesis | PhD |
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 , Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
2017 |
Published |
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).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
2017 |
Published |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
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 |
Published |
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
| WoS
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
2017 |
Published |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| 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 |
Published |
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
| WoS
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 |
Published |
Journal Article |
IST-REx-ID: 9445 |
DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
D.B. Lyons, D. Zilberman, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.B. Lyons, D. Zilberman, ELife 6 (2017).
2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
| WoS
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
2017 |
Published |
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).
[Published Version]
View
| Files available
| DOI
| WoS
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
earlier version | 2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 |
Published |
Journal Article |
IST-REx-ID: 9506 |
An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Zilberman, Genome Biology 18 (2017).
2017 |
Published |
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.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.
2017 |
Published |
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).
[Published Version]
View
| Files available
| DOI
| WoS
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).
2017 |
Published |
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).
[Published Version]
View
| Files available
| DOI
| WoS
T. Friedlander, R. Prizak, N.H. Barton, G. Tkačik, Nature Communications 8 (2017).
2017 |
Published |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.
2017 |
Published |
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 |
Published |
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 |
Published |
Thesis | PhD |
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, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, Institute of Science and Technology Austria, 2017.
2017 |
Published |
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
| WoS
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
earlier version | 2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.