Please note that ISTA 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.

591 Publications


2017 | Published | Conference Paper | IST-REx-ID: 941
Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.” In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 376–79. ACM, 2017. https://doi.org/10.1145/3092703.3098225.
View | DOI
 

2017 | Published | 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 | WoS
 

2017 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | 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 | WoS
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | 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 | Published | Journal Article | IST-REx-ID: 9574 | OA
Bandeira, Afonso S., Asaf Ferber, and Matthew Alan Kwan. “Resilience for the Littlewood-Offord Problem.” Electronic Notes in Discrete Mathematics. Elsevier, 2017. https://doi.org/10.1016/j.endm.2017.06.025.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | 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
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed