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.

143 Publications

1995 | Thesis | IST-REx-ID: 4428
Ho, P. (1995). Automatic Analysis of Hybrid Systems. Cornell University.
View | DOI

1991 | Thesis | IST-REx-ID: 4516
Henzinger, T. A. (1991). The Temporal Specification and Verification of Real-time Systems . Stanford University.
View | Download (ext.)

1979 | Thesis | IST-REx-ID: 4337
Barton, N. H. (1979). A hybrid zone in the alpine grasshopper Podisma pedestris. University of East Anglia.

Filters and Search Terms



Filter Publications