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.




4077 Publications

2017 | Conference Paper | IST-REx-ID: 942
Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples,” F130154:593–604. ACM, 2017. https://doi.org/10.1145/3106237.3106309.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 943 | OA
Zagórski, Marcin P, Yoji Tabata, Nathalie Brandenberg, Matthias Lutolf, Gašper Tkačik, Tobias Bollenbach, James Briscoe, and Anna Kicheva. “Decoding of Position in the Developing Neural Tube from Antiparallel Morphogen Gradients.” Science. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aam5887.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 944
Beattie, Robert J, Maria P Postiglione, Laura Burnett, Susanne Laukoter, Carmen Streicher, Florian Pauler, Guanxi Xiao, et al. “Mosaic Analysis with Double Markers Reveals Distinct Sequential Functions of Lgl1 in Neural Stem Cells.” Neuron. Cell Press, 2017. https://doi.org/10.1016/j.neuron.2017.04.012.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons, David B, and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/elife.30674.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 945 | OA
Huylmans, Ann K, Ariana Macon, and Beatriz Vicoso. “Global Dosage Compensation Is Ubiquitous in Lepidoptera, but Counteracted by the Masculinization of the Z Chromosome.” Molecular Biology and Evolution. Oxford University Press, 2017. https://doi.org/10.1093/molbev/msx190.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 946 | OA
Wangenheim, Daniel von, Robert Hauschild, Matyas Fendrych, Vanessa Barone, Eva Benková, and Jiří Friml. “Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.26792.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 947 | OA
De Martino, Daniele, Fabrizio Capuani, and Andrea De Martino. “Quantifying the Entropic Cost of Cellular Growth Control.” Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2017. https://doi.org/10.1103/PhysRevE.96.010401.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21.
View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 9506 | OA
Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.” Genome Biology. Springer Nature, 2017. https://doi.org/10.1186/s13059-017-1230-2.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 951 | OA
Schmidt, Tom, Nicholas H Barton, Gordana Rasic, Andrew Turley, Brian Montgomery, Inaki Iturbe Ormaetxe, Peter Cook, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pbio.2001894.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 952 | OA
Turelli, Michael, and Nicholas H Barton. “Deploying Dengue-Suppressing Wolbachia: Robust Models Predict Slow but Effective Spatial Spread in Aedes Aegypti.” Theoretical Population Biology. Elsevier, 2017. https://doi.org/10.1016/j.tpb.2017.03.003.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 953 | OA
Charlesworth, Deborah, Nicholas H Barton, and Brian Charlesworth. “The Sources of Adaptive Evolution.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2017. https://doi.org/10.1098/rspb.2016.2864.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 954 | OA
Lagator, Mato, Tiago Paixao, Nicholas H Barton, Jonathan P Bollback, and Calin C Guet. “On the Mechanistic Nature of Epistasis in a Canonical Cis-Regulatory Element.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.25192.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 955 | OA
Friedlander, Tamar, Roshan Prizak, Nicholas H Barton, and Gašper Tkačik. “Evolution of New Regulatory Functions on Biophysically Realistic Fitness Landscapes.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-00238-8.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 956 | OA
Carlen, Eric, and Jan Maas. “Gradient Flow and Entropy Inequalities for Quantum Markov Semigroups with Detailed Balance.” Journal of Functional Analysis. Academic Press, 2017. https://doi.org/10.1016/j.jfa.2017.05.003.
View | DOI | Download Submitted Version (ext.)
 
2017 | Book Chapter | IST-REx-ID: 957
Clifton, Ben, Jason Whitfield, Inmaculada Sanchez-Romero, Michel Herde, Christian Henneberger, Harald L Janovjak, and Colin Jackson. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.” In Synthetic Protein Switches, edited by Viktor Stein, 1596:71–87. Synthetic Protein Switches. Springer, 2017. https://doi.org/10.1007/978-1-4939-6940-1_5.
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 958
Mitchell, Joshua, William Zhang, Michel Herde, Christian Henneberger, Harald L Janovjak, Megan O’Mara, and Colin Jackson. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.” In Synthetic Protein Switches, edited by Viktor Stein, 1596:89–99. Synthetic Protein Switches. Springer, 2017. https://doi.org/10.1007/978-1-4939-6940-1_6.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 959 | OA
De Martino, Daniele. “Scales and Multimodal Flux Distributions in Stationary Metabolic Network Models via Thermodynamics.” Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2017. https://doi.org/10.1103/PhysRevE.95.062419.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 962
Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_21.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,” Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.37.
View | Files available | DOI
 

Search

Filter Publications