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.
4854 Publications
2017 | Published | Conference Paper | IST-REx-ID: 942
Le, Xuan, et al. S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples. Vol. F130154, ACM, 2017, pp. 593–604, doi:10.1145/3106237.3106309.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 943 | 
Zagórski, Marcin P., et al. “Decoding of Position in the Developing Neural Tube from Antiparallel Morphogen Gradients.” Science, vol. 356, no. 6345, American Association for the Advancement of Science, 2017, pp. 1379–83, doi: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., et al. “Mosaic Analysis with Double Markers Reveals Distinct Sequential Functions of Lgl1 in Neural Stem Cells.” Neuron, vol. 94, no. 3, Cell Press, 2017, p. 517–533.e3, doi:10.1016/j.neuron.2017.04.012.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 945 |
Huylmans, Ann K., et al. “Global Dosage Compensation Is Ubiquitous in Lepidoptera, but Counteracted by the Masculinization of the Z Chromosome.” Molecular Biology and Evolution, vol. 34, no. 10, Oxford University Press, 2017, pp. 2637–49, doi:10.1093/molbev/msx190.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 947 |
De Martino, Daniele, et al. “Quantifying the Entropic Cost of Cellular Growth Control.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1, 010401, American Institute of Physics, 2017, doi:10.1103/PhysRevE.96.010401.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 949 |
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 950 |
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.21.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 951 |
Schmidt, Tom, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology, vol. 15, no. 5, e2001894, Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 952 |
Turelli, Michael, and Nicholas H. Barton. “Deploying Dengue-Suppressing Wolbachia: Robust Models Predict Slow but Effective Spatial Spread in Aedes Aegypti.” Theoretical Population Biology, vol. 115, Elsevier, 2017, pp. 45–60, doi:10.1016/j.tpb.2017.03.003.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 953 |
Charlesworth, Deborah, et al. “The Sources of Adaptive Evolution.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855, 20162864, Royal Society, The, 2017, doi: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 |
Lagator, Mato, et al. “On the Mechanistic Nature of Epistasis in a Canonical Cis-Regulatory Element.” ELife, vol. 6, e25192, eLife Sciences Publications, 2017, doi:10.7554/eLife.25192.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 956 |
Carlen, Eric, and Jan Maas. “Gradient Flow and Entropy Inequalities for Quantum Markov Semigroups with Detailed Balance.” Journal of Functional Analysis, vol. 273, no. 5, Academic Press, 2017, pp. 1810–69, doi: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, et al. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 71–87, doi:10.1007/978-1-4939-6940-1_5.
View
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 958
Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.” Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi:10.1007/978-1-4939-6940-1_6.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 959 |
De Martino, Daniele. “Scales and Multimodal Flux Distributions in Stationary Metabolic Network Models via Thermodynamics.” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 95, no. 6, American Institute of Physics, 2017, p. 062419, doi:10.1103/PhysRevE.95.062419.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 960 |
Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Thesis | IST-REx-ID: 961 |
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_825.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh, Minh, et al. Model Counting for Recursively-Defined Strings. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418, doi:10.1007/978-3-319-63390-9_21.
View
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 963 |
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 83, 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.37.
[Published Version]
View
| Files available
| DOI
2017 | Research Data Reference | IST-REx-ID: 9707 |
Riccio, Paul, et al. Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)