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.

56 Publications


1997 | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” in 9th International Conference on Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 340–351.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 1997, pp. 100–109.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4607
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2. Springer, pp. 137–156, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” in Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, USA, 1997, pp. 702–707.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8528
V. Kaloshin, “Prevalence in the space of finitely smooth maps,” Functional Analysis and Its Applications, vol. 31, no. 2. Springer Nature, pp. 95–99, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
B. R. Hunt and V. Kaloshin, “How projections affect the dimension spectrum of fractal measures,” Nonlinearity, vol. 10, no. 5. IOP Publishing, pp. 1031–1046, 1997.
View | DOI
 

Filters and Search Terms

year=1997

Search

Filter Publications