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.

7734 Publications


1998 | Journal Article | IST-REx-ID: 11681
Lower bounds for fully dynamic connectivity problems in graphs
M.H. Henzinger, M.L. Fredman, Algorithmica 22 (1998) 351–362.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
How projections affect the dimension spectrum of fractal measures
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8528
Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
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:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
View | DOI
 

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
 

Search

Filter Publications