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 | Journal Article | IST-REx-ID: 4474 |
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” in Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, 2002, vol. 15, no. 1.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4413
R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Convertibility verification and converter synthesis: Two faces of the same coin,” in Proceedings of the 11th IEEE/ACM international conference on Computer-aided design, San Jose, CA, USA, 2002, pp. 132–139.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4262
N. H. Barton and A. Navarro, “Extending the coalescent to multilocus systems: the case of balancing selection,” Genetical Research, vol. 79, no. 2. Cambridge University Press, pp. 129–139, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4260 |
T. Johnson and N. H. Barton, “The effect of deleterious alleles on adaptation in asexual populations,” Genetics, vol. 162, no. 1. Genetics Society of America, pp. 395–411, 2002.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4349
J. P. Bollback, “Bayesian model adequacy and choice in phylogenetics,” Molecular Biology and Evolution, vol. 19, no. 7. Oxford University Press, pp. 1171–80, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1. Academic Press, pp. 31–48, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4261
N. H. Barton and P. Keightley, “Understanding quantitative genetic variation,” Nature Reviews Genetics, vol. 3. Nature Publishing Group, pp. 11–21, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4347
J. Huelsenbeck, J. P. Bollback, and A. Levine, “Inferring the root of a phylogenetic tree,” Systematic Biology, vol. 51, no. 1. Oxford University Press, pp. 32–43, 2002.
View
| DOI
| PubMed | Europe PMC