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 AP, Guillen A, Jones N, Donnelly T, Bernoff A. 2011. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 130(5), 2694–2699.
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 9144 | 
Muller CJ, O’Gorman PA, Back LE. 2011. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 24(11), 2784–2800.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 923 |
Fré S, Hannezo EB, Šale S, Huyghe M, Lafkas D, Kissel H, Louvi A, Greve J, Louvard D, Artavanis Tsakonas S. 2011. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 6(10), e25785.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
Almagor S, Boker U, Kupferman O. 2011. What’s decidable about weighted automata. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6996, 482–491.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Chatterjee K, Henzinger TA, Prabhu V. 2011. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 7(4).
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3375 |
de Vladar H, Barton NH. 2011. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 8(58), 720–739.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3290 |
Lohse K, Harrison R, Barton NH. 2011. A general method for calculating likelihoods under the coalescent process. Genetics. 189(3), 977–987.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3394 |
Polechova J, Barton NH. 2011. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 189(1), 227–235.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3390 |
Barton NH, Etheridge A. 2011. The relation between reproductive value and genetic contribution. Genetics. 188(4), 953–973.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3353 |
Tripakis S, Lickly B, Henzinger TA, Lee E. 2011. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 33(4), 14.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3362 |
Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. 2011. Dynamic reactive modules. CONCUR: Concurrency Theory, LNCS, vol. 6901, 404–418.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5379 |
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. 2011. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 12(4), 28.
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
[Published Version]
View
| Files available
| DOI