Please note that IST 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.

5758 Publications


1997 | Journal Article | IST-REx-ID: 4174
Masai, Ichiro, Carl Heisenberg, K Anukampa Barth, Rachel Macdonald, Sylwia Adamek, and Stephen Wilson. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.” Neuron 18, no. 1 (1997): 43–57. https://doi.org/10.1016/S0896-6273(01)80045-3.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg, Carl, and Christiane Nüsslein Volhard. “The Function of Silberblick in the Positioning of the Eye Anlage in the Zebrafish Embryo.” Developmental Biology 184, no. 1 (1997): 85–94. https://doi.org/10.1006/dbio.1997.8511.
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton, Nicholas H. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.” In Evolution on Islands, 102–23. Oxford University Press, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 4285
Otto, Sarah, and Nicholas H Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics 147, no. 2 (1997): 879–906.
View
 

1997 | 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 145, no. 2 (1997): 493–504.
View
 

1997 | Book Review | 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.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
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 264, no. 1379 (1997): 191–99. https://doi.org/10.1098/rspb.1997.0027.
View | DOI | Download (ext.)
 

1997 | Book Review | 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.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4290
Barton, Nicholas H. “Natural Hybridization and Evolution.” Genetical Research. Cambridge University Press, 1997.
View
 

1997 | Book Review | IST-REx-ID: 4291
Barton, Nicholas H. “The Ccological Detective: Confronting Models with Data.” Genetical Research. Cambridge University Press, 1997.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton, Nicholas H, and Michael Whitlock. “The Evolution of Metapopulations.” In Metapopulation Biology, 183–210. Academic Press, 1997. https://doi.org/10.1016/B978-012323445-2/50012-2.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A, and Orna Kupferman. “From Quantity to Quality,” 1201:48–62. Springer, 1997. https://doi.org/ 10.1007/BFb0014712.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata,” 1256:582–93. Springer, 1997. https://doi.org/10.1007/3-540-63165-8_213.
View | DOI
 

1997 | 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 1, no. 1–2 (1997): 110–22. https://doi.org/10.1007/s100090050008.
View | DOI
 

1997 | 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 | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation,” 1243:273–87. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997. https://doi.org/10.1007/3-540-63141-0_19.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata,” 1201:331–45. Springer, 1997. https://doi.org/10.1007/BFb0014736.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems,” 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997. https://doi.org/10.1007/3-540-63141-0_6.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer 1, no. 1–2 (1997): 86–109. https://doi.org/10.1007/s100090050007.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems,” 702–7. IEEE, 1997. https://doi.org/10.1109/CDC.1997.650717  .
View | DOI
 

Search

Filter Publications