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.

9114 Publications


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.
[Published Version] View | DOI | Download Published Version (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: 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: 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 | 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.)
 

1992 | Journal Article | IST-REx-ID: 1945
Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms
L.A. Sazanov, S. Zaǐtsev, Biochemistry (Moscow) 57 (1992) 1443–1460.
View | Download None (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2486
Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat
R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 322 (1992) 121–135.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2485
Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, S. Nakanishi, Endocrinology 130 (1992) 1885–1895.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2484
A family of metabotropic glutamate receptors
Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, S. Nakanishi, Neuron 8 (1992) 169–179.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2533 | OA
Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 267 (1992) 13361–13368.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications