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.
331 Publications
2011 | Published | Journal Article | IST-REx-ID: 90
Higginbotham, Andrew P., et al. “Evidence of the Harmonic Faraday Instability in Ultrasonic Atomization Experiments with a Deep, Inviscid Fluid.” Journal of the Acoustical Society of America, vol. 130, no. 5, Acoustical Society of America, 2011, pp. 2694–99, doi:10.1121/1.3643816.
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 9143
Muller, Caroline J., and P. A. O’Gorman. “An Energetic Perspective on the Regional Response of Precipitation to Climate Change.” Nature Climate Change, vol. 1, no. 5, Springer Nature, 2011, pp. 266–71, doi:10.1038/nclimate1169.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 9144 | 
Muller, Caroline J., et al. “Intensification of Precipitation Extremes with Warming in a Cloud-Resolving Model.” Journal of Climate, vol. 24, no. 11, American Meteorological Society, 2011, pp. 2784–800, doi:10.1175/2011jcli3876.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 918
Hannezo, Edouard B., et al. “Instabilities of Monolayered Epithelia Shape and Structure of Villi and Crypts.” Physical Review Letters, vol. 107, no. 7, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.078104.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 919
Angelini, Thomas, et al. “Glass-like Dynamics of Collective Cell Migration.” Proceedings of the National Academy of Sciences of the United States of America, vol. 108, no. 12, PNAS, 2011, pp. 4714–19, doi:10.1073/pnas.1010059108.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 923 |
Fré, Silvia, et al. “Notch Lineages and Activity in Intestinal Stem Cells Determined by a New Set of Knock in Mice.” PLoS One, vol. 6, no. 10, e25785, Public Library of Science, 2011, doi:10.1371/journal.pone.0025785.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
Almagor, Shaull, et al. What’s Decidable about Weighted Automata. Vol. 6996, Springer, 2011, pp. 482–91, doi:10.1007/978-3-642-24372-1_37.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3375 |
de Vladar, Harold, and Nicholas H. Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface, vol. 8, no. 58, The Royal Society, 2011, pp. 720–39, doi:10.1098/rsif.2010.0438.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3290 |
Lohse, Konrad, et al. “A General Method for Calculating Likelihoods under the Coalescent Process.” Genetics, vol. 189, no. 3, Genetics Society of America, 2011, pp. 977–87, doi:10.1534/genetics.111.129569.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3394 |
Polechova, Jitka, and Nicholas H. Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.” Genetics, vol. 189, no. 1, Genetics Society of America, 2011, pp. 227–35, doi:10.1534/genetics.111.129817.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3390 |
Barton, Nicholas H., and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.” Genetics, vol. 188, no. 4, Genetics Society of America, 2011, pp. 953–73, doi:10.1534/genetics.111.127555.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3352
Fisher, Jasmin, et al. “Biology as Reactivity.” Communications of the ACM, vol. 54, no. 10, ACM, 2011, pp. 72–82, doi:10.1145/2001269.2001289.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3353 |
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3362 |
Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5384 |
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3360 |
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF. Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.
View
| DOI