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.
256 Publications
2009 | Published | Thesis | IST-REx-ID: 4232
H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
2009 | Published | Conference Paper | IST-REx-ID: 3711 | 
P. Dhillon, S. Nowozin, and C. Lampert, “Combining appearance and motion for human action classification in videos,” presented at the CVPR: Computer Vision and Pattern Recognition, 2009, pp. 22–29.
View
| DOI
| Download None (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3870 |
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 3780 |
A. Davison, N. H. Barton, and B. Clarke, “The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails,” Journal of Evolutionary Biology, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 4242 |
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 4136 |
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3775 |
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS