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.
6205 Publications
2000 | Journal Article | IST-REx-ID: 4010
Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
View
| DOI
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
2000 | Journal Article | IST-REx-ID: 4147
A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)
P. Sordino, C.-P.J. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176.
View
P. Sordino, C.-P.J. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176.
2000 | Journal Article | IST-REx-ID: 4197
Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
View
| DOI
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
2000 | Book Review | IST-REx-ID: 4268
Evolving evolvability
L. Partridge, N.H. Barton, Nature 407 (2000) 457–458.
View
| DOI
L. Partridge, N.H. Barton, Nature 407 (2000) 457–458.
2000 | Journal Article | IST-REx-ID: 4269
Is Wright’s shifting balance process important in evolution?
J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 54 (2000) 306–317.
View
| DOI
J. Coyne, N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 54 (2000) 306–317.
2000 | Journal Article | IST-REx-ID: 4270
Detecting bottlenecks and selective sweeps from DNA sequence polymorphism
N. Galtier, F. Depaulis, N.H. Barton, Genetics 155 (2000) 981–987.
View
N. Galtier, F. Depaulis, N.H. Barton, Genetics 155 (2000) 981–987.
2000 | Journal Article | IST-REx-ID: 4271
The effects of epistasis on the structure of hybrid zones
N.H. Barton, M. Shpak, Genetical Research 75 (2000) 179–198.
View
| DOI
N.H. Barton, M. Shpak, Genetical Research 75 (2000) 179–198.
2000 | Journal Article | IST-REx-ID: 4272
The stability of symmetrical solutions to polygenic models
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.
View
| DOI
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.
2000 | Journal Article | IST-REx-ID: 4273
Limits to natural selection
N.H. Barton, L. Partridge, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 22 (2000) 1075–1084.
View
| DOI
N.H. Barton, L. Partridge, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 22 (2000) 1075–1084.
2000 | Journal Article | IST-REx-ID: 4274 | 
Genetic hitchhiking
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562.
View
| DOI
| Download (ext.)
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562.
2000 | Book Chapter | IST-REx-ID: 4275
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
2000 | Book Review | IST-REx-ID: 4276
Population genetics of multiple loci
N.H. Barton, Genetical Research 75 (2000) 371–373.
View
N.H. Barton, Genetical Research 75 (2000) 371–373.
2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Springer, 2000, pp. 299–314.
View
| DOI
T.A. Henzinger, S. Rajamani, in:, Springer, 2000, pp. 299–314.
2000 | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Springer, 2000, pp. 145–159.
View
| DOI
T.A. Henzinger, J. Raskin, in:, Springer, 2000, pp. 145–159.
2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 142–156.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 142–156.
2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 13–34.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 13–34.
2000 | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Springer, 2000, pp. 130–144.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Springer, 2000, pp. 130–144.
2000 | Conference Paper | IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Springer, 2000, pp. 220–239.
View
| DOI
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Springer, 2000, pp. 220–239.
2000 | Conference Paper | IST-REx-ID: 4483
Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, IEEE, 2000, pp. 245–252.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, IEEE, 2000, pp. 245–252.
2000 | Conference Paper | IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Springer, 2000, pp. 549–563.
View
| DOI
T.A. Henzinger, in:, Springer, 2000, pp. 549–563.