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 | Journal Article | IST-REx-ID: 3768
Kupczok, A., & Von Haeseler, A. (2009). Comment on “A congruence index for testing topological similarity between trees.” Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btn539
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View
2009 | Published | Conference Paper | IST-REx-ID: 3711 | 
Dhillon, P., Nowozin, S., & Lampert, C. (2009). Combining appearance and motion for human action classification in videos (pp. 22–29). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPRW.2009.5204237
View
| DOI
| Download None (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/10.1007/978-3-642-04027-6_9
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 3780 |
Davison, A., Barton, N. H., & Clarke, B. (2009). 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. Wiley. https://doi.org/10.1111/j.1420-9101.2009.01770.x
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 4242 |
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 4136 |
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View
| DOI
| WoS
2009 | Published | Journal Article | IST-REx-ID: 3775 |
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2009 | Published | Book Chapter | IST-REx-ID: 3675
Barton, N. H. (2009). Why sex and recombination? In Cold Spring Harbor Symposia on Quantitative Biology (Vol. 74, pp. 187–195). Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/sqb.2009.74.030
View
| DOI
| WoS