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.

11357 Publications


1997 | Published | Journal Article | IST-REx-ID: 4018
Edelsbrunner H, Shah N. 1997. Triangulating topological spaces. International Journal of Computational Geometry & Applications. 7(4), 365–378.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4021 | OA
Edelsbrunner H, Waupotitsch R. 1997. A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. 7(5–6), 343–360.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. 1997. Cutting dense point sets in half. Discrete & Computational Geometry. 17(3), 243–255.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4023
Edelsbrunner H, Ramos E. 1997. Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. 17(3), 287–306.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4174 | OA
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4201 | OA
Heisenberg C-PJ, Nüsslein Volhard C. 1997. The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. 184(1), 85–94.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Book Chapter | IST-REx-ID: 4284
Barton NH. 1997.Natural selection and random genetic drift as causes of evolution on islands. In: Evolution on islands. , 102–123.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4285 | OA
Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4286 | OA
Piálek J, Barton NH. 1997. The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. 145(2), 493–504.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4287 | OA
Coyne J, Barton NH, 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. 51(3), 643–671.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4288 | OA
Fowler K, Semple C, Barton NH, Partridge L. 1997. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 264(1379), 191–199.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 4289 | OA
Barton NH. 1997. Population genetics: A new apportionment of human diversity. Current Biology. 7(12), 757–758.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Book Review | IST-REx-ID: 4290
Barton NH. 1997. Natural hybridization and evolution. Genetical Research. 70(2), 178–180.
View
 

1997 | Published | Book Review | IST-REx-ID: 4291
Barton NH. 1997. The ecological detective: Confronting models with data. Genetical Research. 70(2), 180–181.
View | Download None (ext.)
 

1997 | Published | Book Chapter | IST-REx-ID: 4293
Barton NH, Whitlock M. 1997.The evolution of metapopulations. In: Metapopulation Biology. , 183–210.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. 1997. From quantity to quality. Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 48–62.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. Proceedings of the 24th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 1256, 582–593.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254, 460–463.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. Proceedings of the 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 273–287.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed