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.

6386 Publications


2000 | Journal Article | IST-REx-ID: 4274 | OA
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.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Population genetics of multiple loci
N.H. Barton, Genetical Research 75 (2000) 371–373.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Springer, 2000, pp. 299–314.
View | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

Search

Filter Publications