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.
9133 Publications
1997 | Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: Proceedings of the 36th IEEE Conference on Decision and Control. IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717
View
| DOI
1997 | Journal Article | IST-REx-ID: 8528
Kaloshin V. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 1997;31(2):95-99. doi:10.1007/bf02466014
View
| DOI
1997 | Journal Article | IST-REx-ID: 8527
Hunt BR, Kaloshin V. How projections affect the dimension spectrum of fractal measures. Nonlinearity. 1997;10(5):1031-1046. doi:10.1088/0951-7715/10/5/002
View
| DOI
1996 | Journal Article | IST-REx-ID: 11761
Henzinger MH, Williamson DP. On the number of small cuts in a graph. Information Processing Letters. 1996;59(1):41-44. doi:10.1016/0020-0190(96)00079-8
View
| DOI