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.
120 Publications
1999 | Thesis | IST-REx-ID: 4411
Algorithms and Methodology for Scalable Model Checking
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
View
| Download (ext.)
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
1996 | Thesis | IST-REx-ID: 4419
The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
View
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
1995 | Thesis | IST-REx-ID: 4428
Automatic Analysis of Hybrid Systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
View
| DOI
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
1991 | Thesis | IST-REx-ID: 4516
The Temporal Specification and Verification of Real-time Systems
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
View
| Download (ext.)
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
1979 | Thesis | IST-REx-ID: 4337
A hybrid zone in the alpine grasshopper Podisma pedestris
N.H. Barton, A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris, University of East Anglia, 1979.
View
N.H. Barton, A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris, University of East Anglia, 1979.