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
N. H. Barton, “Genetic hitchhiking,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 355, no. 1403. Royal Society, The, pp. 1553–1562, 2000.
View | DOI | Download (ext.)
 

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

2000 | Book Review | IST-REx-ID: 4276
N. H. Barton, “Population genetics of multiple loci,” Genetical Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
T. A. Henzinger and S. Rajamani, “Fair bisimulation,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2000, vol. 1785, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2000, vol. 1790, pp. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular hybrid systems,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2000, vol. 1785, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
T. A. Henzinger and R. Majumdar, “A classification of symbolic transition systems,” presented at the STACS: Theoretical Aspects of Computer Science, 2000, vol. 1770, pp. 13–34.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” presented at the HSCC: Hybrid Systems - Computation and Control, 2000, vol. 1790, pp. 130–144.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” presented at the SAS: Static Analysis Symposium, 2000, vol. 1824, pp. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” presented at the ICCAD: Computer-Aided Design, 2000, pp. 245–252.
View | DOI
 

Search

Filter Publications