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.

5633 Publications


1997 | Journal Article | IST-REx-ID: 4493
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Springer, 1997, pp. 331–345.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 1952 View | DOI
 

1996 | Journal Article | IST-REx-ID: 2568
Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 199–202.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone
R. Shigemoto, Á. Kulik, J. Roberts, H. Ohishi, Z. Nusser, T. Kaneko, P. Somogyi, Nature 381 (1996) 523–525.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed