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.

6702 Publications


1996 | Conference Paper | IST-REx-ID: 4495
A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
The theory of hybrid automata
T.A. Henzinger, in:, IEEE, 1996, pp. 278–292.
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
CAV: Computer Aided Verification
R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Reactive modules
R. Alur, T.A. Henzinger, in:, IEEE, 1996, pp. 207–218.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Analysis of molecular determinants in native AMPA receptors
T. Melcher, J. Geiger, P.M. Jonas, H. Monyer, Neurochemistry International 28 (1996) 141–144.
View | DOI
 

Search

Filter Publications