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
I. Masai, C. Heisenberg, K. A. Barth, R. Macdonald, S. Adamek, and S. Wilson, “Floating head and masterblind regulate neuronal patterning in the roof of the forebrain,” Neuron, vol. 18, no. 1, pp. 43–57, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
C. Heisenberg and C. Nüsslein Volhard, “The function of silberblick in the positioning of the eye anlage in the zebrafish embryo,” Developmental Biology, vol. 184, no. 1, pp. 85–94, 1997.
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
N. H. Barton, “Natural selection and random genetic drift as causes of evolution on islands,” in Evolution on islands, Oxford University Press, 1997, pp. 102–123.
View
 

1997 | Journal Article | IST-REx-ID: 4285
S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2, pp. 879–906, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 4286
J. Piálek and N. H. Barton, “The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes,” Genetics, vol. 145, no. 2, pp. 493–504, 1997.
View
 

1997 | Book Review | IST-REx-ID: 4287
J. Coyne, N. H. Barton, and M. 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, vol. 51, no. 3. Wiley-Blackwell, pp. 643–671, 1997.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
K. Fowler, C. Semple, N. H. Barton, and L. Partridge, “Genetic variation for total fitness in Drosophila melanogaster,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 264, no. 1379, pp. 191–199, 1997.
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4289
N. H. Barton, “Population genetics: A new apportionment of human diversity,” Current Biology, vol. 7, no. 12. Cell Press, pp. 757–758, 1997.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4290
N. H. Barton, “Natural hybridization and evolution,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 178–180, 1997.
View
 

1997 | Book Review | IST-REx-ID: 4291
N. H. Barton, “The ccological detective: Confronting models with data,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 180–181, 1997.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
T. A. Henzinger and O. Kupferman, “From quantity to quality,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” presented at the ICALP: Automata, Languages and Programming, 1997, vol. 1256, pp. 582–593.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 110–122, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 331–345.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 74–88.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 86–109, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” presented at the CDC: Decision and Control, 1997, pp. 702–707.
View | DOI
 

Search

Filter Publications