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, Jaroslav, and Nicholas H Barton. “The Spread of an Advantageous Allele across a Barrier: The Effects of Random Drift and Selection against Heterozygotes.” Genetics. Genetics Society of America, 1997. 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, Jerry, Nicholas H Barton, and Michael Turelli. “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, 1997. 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, Kevin, Colin Semple, Nicholas H Barton, and Linda Partridge. “Genetic Variation for Total Fitness in Drosophila Melanogaster.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 1997. 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, Nicholas H. “Population Genetics: A New Apportionment of Human Diversity.” Current Biology. Cell Press, 1997. 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, Nicholas H. “Natural Hybridization and Evolution.” Genetical Research. Cambridge University Press, 1997.
View
1997 | Published | Book Review | IST-REx-ID: 4291
Barton, Nicholas H. “The Ecological Detective: Confronting Models with Data.” Genetical Research. Cambridge University Press, 1997.
View
| Download None (ext.)
1997 | Published | Book Chapter | IST-REx-ID: 4293
Barton, Nicholas H, and Michael Whitlock. “The Evolution of Metapopulations.” In Metapopulation Biology, edited by Illka Hanski and Michael E. Gilpin, 183–210. Academic Press, 1997. https://doi.org/10.1016/B978-012323445-2/50012-2.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A, and Orna Kupferman. “From Quantity to Quality.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:48–62. Springer, 1997. https://doi.org/10.1007/BFb0014712.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997. https://doi.org/10.1007/3-540-63165-8_213.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050008.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,” 1254:460–63. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_48.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997. https://doi.org/10.1007/3-540-63141-0_19.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997. https://doi.org/10.1007/BFb0014736.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems.” In 8th International Conference on Concurrency Theory, 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997. https://doi.org/10.1007/3-540-63141-0_6.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050007.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.” In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997. https://doi.org/10.1109/CDC.1997.650717 .
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design. Springer, 1997. https://doi.org/10.1023/A:1008626013578.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” In 9th International Conference on Computer Aided Verification, 1254:340–51. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_34.
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997. https://doi.org/10.1145/585265.585270.
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 8527
Hunt, Brian R, and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.” Nonlinearity. IOP Publishing, 1997. https://doi.org/10.1088/0951-7715/10/5/002.
View
| DOI