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.

5703 Publications


1999 | Journal Article | IST-REx-ID: 4442
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
Formal specification and verification of a dataflow processor array
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
View
 

1999 | Conference Paper | IST-REx-ID: 4485
Rectangular hybrid games
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Springer, 1999, pp. 23–60.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2593
NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
View
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed