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.

5484 Publications


1994 | Journal Article | IST-REx-ID: 3460
Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3477 View | DOI
 

1994 | Journal Article | IST-REx-ID: 4033
Selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
Algorithms for bichromatic line-segment problems and polyhedral terrains
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1994, pp. 431–454.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
View | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, Springer, 1994, pp. 1–13.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism
A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Molecular diversity of glutamate receptors and their physiological functions
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, Experientia Supplementum 71 (1994) 71–80.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed