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.
9789 Publications
1997 | Published | Journal Article | IST-REx-ID: 4286 | 
Piálek, J., & Barton, N. H. (1997). The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/145.2.493
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 4287 |
Coyne, J., Barton, N. H., & Turelli, M. (1997). Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1997.tb03650.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 4288 |
Fowler, K., Semple, C., Barton, N. H., & Partridge, L. (1997). Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.1997.0027
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 4289 |
Barton, N. H. (1997). Population genetics: A new apportionment of human diversity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(06)00397-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Published | Book Review | IST-REx-ID: 4290
Barton, N. H. (1997). Natural hybridization and evolution. Genetical Research. Cambridge University Press.
View
1997 | Published | Book Review | IST-REx-ID: 4291
Barton, N. H. (1997). The ecological detective: Confronting models with data. Genetical Research. Cambridge University Press.
View
| Download None (ext.)
1997 | Published | Book Chapter | IST-REx-ID: 4293
Barton, N. H., & Whitlock, M. (1997). The evolution of metapopulations. In I. Hanski & M. E. Gilpin (Eds.), Metapopulation Biology (pp. 183–210). Academic Press. https://doi.org/10.1016/B978-012323445-2/50012-2
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4438
Henzinger, T. A., & Kupferman, O. (1997). From quantity to quality. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 48–62). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014712
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4441
Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 582–593). Bologna, Italy: Springer. https://doi.org/10.1007/3-540-63165-8_213
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_48
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation. In Proceedings of the 8th International Conference on Concurrency Theory (Vol. 1243, pp. 273–287). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-63141-0_19
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 331–345). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014736
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050007
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4605
Alur, R., Henzinger, T. A., & Wong Toi, H. (1997). Symbolic analysis of hybrid systems. In Proceedings of the 36th IEEE Conference on Decision and Control (pp. 702–707). San Diego, CA, USA: IEEE. https://doi.org/10.1109/CDC.1997.650717
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4607
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008626013578
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4608
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration. In 9th International Conference on Computer Aided Verification (Vol. 1254, pp. 340–351). Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_34
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (pp. 100–109). Washington, DC, United States: Association for Computing Machinery (ACM). https://doi.org/10.1145/585265.585270
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 8527
Hunt, B. R., & Kaloshin, V. (1997). How projections affect the dimension spectrum of fractal measures. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/10/5/002
View
| DOI