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
P. Ho, “Automatic Analysis of Hybrid Systems,” Cornell University, 1995.
View | DOI

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

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

Filters and Search Terms



Filter Publications