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.
106 Publications
2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 46–60). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_5
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness. In Proceedings of the 16th International Workshop on Computer Science Logic (Vol. 2471, pp. 292–305). Edinburgh, Scotland: Springer. https://doi.org/10.1007/3-540-45793-3_20
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4413
Passerone, R., De Alfaro, L., Henzinger, T. A., & Sangiovanni Vincentelli, A. (2002). Convertibility verification and converter synthesis: Two faces of the same coin. In Proceedings of the 11th IEEE/ACM international conference on Computer-aided design (pp. 132–139). San Jose, CA, USA: IEEE. https://doi.org/10.1145/774572.774592
View
| DOI
2002 | Journal Article | IST-REx-ID: 4262
Barton, N. H., & Navarro, A. (2002). Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672301005493
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4260 | 
Johnson, T., & Barton, N. H. (2002). The effect of deleterious alleles on adaptation in asexual populations. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/162.1.395
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4349
Bollback, J. P. (2002). Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/oxfordjournals.molbev.a004175
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4263
Barton, N. H., Depaulis, F., & Etheridge, A. (2002). Neutral evolution in spatially continuous populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2001.1557
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4261
Barton, N. H., & Keightley, P. (2002). Understanding quantitative genetic variation. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg700
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, J., Bollback, J. P., & Levine, A. (2002). Inferring the root of a phylogenetic tree. Systematic Biology. Oxford University Press. https://doi.org/10.1080/106351502753475862
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4407
Raskin, J., Schobbens, P., & Henzinger, T. A. (2002). Axioms for real-time logics. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(00)00308-X
View
| DOI