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.

5430 Publications


1994 | Journal Article | IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 6167
Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex
T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 60 (1994) 199–211.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney
Y. Sugimoto, T. Namba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.
View
 

1994 | Journal Article | IST-REx-ID: 4179
Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
View
 

1994 | Journal Article | IST-REx-ID: 4299
Evolution of aging: Testing the theory using Drosophila
L. Partridge, N.H. Barton, Genetica 91 (1994) 89–98.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, Springer, 1994, pp. 331–351.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney
Y. Sugimoto, T. Hamba, R. Shigemoto, M. Negishi, A. Ichikawa, S. Narumiya, American Journal of Physiology 266 (1994) F823–F828.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
View | DOI
 

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

1994 | Journal Article | IST-REx-ID: 3641
The reduction in fixation probability caused by substitutions at linked loci
N.H. Barton, Genetical Research 64 (1994) 199–208.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475   OA
Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
C. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
View
 

1994 | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
View | DOI
 
 

1994 | Conference Paper | IST-REx-ID: 2548
Induction mechanism of long term depression in cultured Purkinje neurons
T. Hirano, K. Kasono, R. Shigemoto, S. Nakanishi, in:, Biomedical Research Foundation, 1994, pp. 79–81.
View
 

1994 | Journal Article | IST-REx-ID: 2550
Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction
N. Okamoto, S. Hori, C. Akazawa, Y. Hayashi, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 269 (1994) 1231–1236.
View
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed