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.

6107 Publications


1997 | Conference Paper | IST-REx-ID: 4520
V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 331–345.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 110–122, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 273–287.
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
 

Search

Filter Publications