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.

6111 Publications


1997 | Journal Article | IST-REx-ID: 4607
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1997, pp. 340–351.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, IEEE, 1997, pp. 100–109.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
The effective size of a subdivided population
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
View
 

1997 | Journal Article | IST-REx-ID: 3631
Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
The strength of indirect selection on female mating preferences
M. Kirkpatrick, N.H. Barton, PNAS 94 (1997) 1282–1286.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Evolution of a species' range
M. Kirkpatrick, N.H. Barton, American Naturalist 150 (1997) 1–23.
View | DOI
 

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

1997 | Journal Article | IST-REx-ID: 4021
A combinatorial approach to cartograms
H. Edelsbrunner, R. Waupotitsch, Computational Geometry: Theory and Applications 7 (1997) 343–360.
View | DOI
 

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

Search

Filter Publications