ISTA Research Explorer

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.

8920 Publications

1997 | Published | Journal Article | IST-REx-ID: 4288 |

Genetic variation for total fitness in Drosophila melanogaster
K. Fowler, C. Semple, N.H. Barton, L. Partridge, Proceedings of the Royal Society of London Series B Biological Sciences 264 (1997) 191–199.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

1997 | Published | Journal Article | IST-REx-ID: 4289 |

Population genetics: A new apportionment of human diversity
N.H. Barton, Current Biology 7 (1997) 757–758.

[Published Version] View | DOI | Download Published Version (ext.)

1997 | Published | Book Review | IST-REx-ID: 4290

Natural hybridization and evolution
N.H. Barton, Genetical Research 70 (1997) 178–180.

View

1997 | Published | Book Review | IST-REx-ID: 4291

The ecological detective: Confronting models with data
N.H. Barton, Genetical Research 70 (1997) 180–181.

View | Download None (ext.)

1997 | Published | Book Chapter | IST-REx-ID: 4293

The evolution of metapopulations
N.H. Barton, M. Whitlock, in:, I. Hanski, M.E. Gilpin (Eds.), Metapopulation Biology, Academic Press, 1997, pp. 183–210.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4438

From quantity to quality
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4441

Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 4493

HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4494

HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4496

Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4520

Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 2492

Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 75 (1996) 815–826.