Please note that ISTA 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.

7224 Publications


1994 | Journal Article | IST-REx-ID: 4501
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
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 | 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 | Conference Paper | IST-REx-ID: 4614
The observational power of clocks
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
View | DOI
 

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 | 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: 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 | 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: 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: 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 | 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: 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 | 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: 2549
Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat
Y. Nakaya, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 249–274.
View | DOI
 

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
 

1994 | Journal Article | IST-REx-ID: 2551
Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina
C. Akazawa, H. Ohishi, Y. Nakajima, N. Okamoto, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 171 (1994) 52–54.
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
 

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: 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: 2555
Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
View | DOI
 

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

1994 | Book Chapter | IST-REx-ID: 3453
Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse
E. Von Kitzing, P.M. Jonas, B. Sakmann, in:, L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, D. Ottoson (Eds.), Molecular and Cellular Mechanisms of Neurotransmitter Release, Raven Press, 1994, pp. 235–260.
View | DOI
 

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: 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: 3476
Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices
G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.
View | Download (ext.)
 

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

1994 | Conference Paper | IST-REx-ID: 3550
Modeling with simplicial complexes (topology, geometry and algorithms)
H. Edelsbrunner, in:, Unknown, 1994, pp. 36–44.
View | Download (ext.)
 

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: 3642 View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
Counting triangle crossings and halving planes
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
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: 4037
Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
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 | Journal Article | IST-REx-ID: 4039
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
View | DOI
 

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

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

1993 | Conference Paper | IST-REx-ID: 4506
Towards refining temporal specifications into hybrid systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4589 | OA
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
View | DOI | Download Published Version (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4616
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4618
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4620
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 1947
Activation and inhibition of mitochondrial transhydrogenase by metal ions
L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948 View
 

Search

Filter Publications