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.
246 Publications
2002 |Published| Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
1999 |Published| 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 None (ext.)
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
1996 |Published| 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 |Published| Thesis | IST-REx-ID: 4428 |
Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
[Published Version]
View
| Download Published Version (ext.)
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
1991 |Published| 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 None (ext.)
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
1979 |Published| 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.