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 | 
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: 1993 Proceedings Real-Time Systems Symposium. IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: 5th International Conference on Computer Aided Verification. Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing. ACM; 1993:592-601. doi:10.1145/167088.167242
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). 1992;57(10):1443-1460.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2486
Shigemoto R, Nakanishi S, Mizuno N. 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. Journal of Comparative Neurology. 1992;322(1):121-135. doi:10.1002/cne.903220110
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2485
Hori S, Komatsu Y, Shigemoto R, Mizuno N, Nakanishi S. Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. 1992;130(4):1885-1895. doi:10.1210/endo.130.4.1312429
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2484
Tanabe Y, Masu M, Ishii T, Shigemoto R, Nakanishi S. A family of metabotropic glutamate receptors. Neuron. 1992;8(1):169-179. doi:10.1016/0896-6273(92)90118-W
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2533 |
Abe T, Sugihara H, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. 1992;267(19):13361-13368. doi:10.1016/S0021-9258(18)42219-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC