Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5069 Publications
2010 | Conference Paper | IST-REx-ID: 3866 | 
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, & P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 4134
Bridle, J., Polechova, J., Kawata, M., & Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. Wiley-Blackwell. https://doi.org/10.1111/j.1461-0248.2010.01442.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 4243 |
Barton, N. H., Etheridge, A., & Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v15-741
[Published Version]
View
| Files available
| DOI
2010 | Book (Editor) | IST-REx-ID: 4346 |
Danowski, P., & Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter. https://doi.org/10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
Nickovic, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger & K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3776 |
Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0106
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0001
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3777 |
Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2009.0320
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View
| DOI
| PubMed | Europe PMC