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.
6978 Publications
1997 |Published| Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science. Association for Computing Machinery (ACM); 1997:100-109. doi:10.1145/585265.585270
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: Proceedings of the 36th IEEE Conference on Decision and Control. IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717
View
| DOI
1996 |Published| Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts. In: Vol 2. Kluwer; 1996:705-708.
View
1996 |Published| Journal Article | IST-REx-ID: 1952
Bizouarn T, Sazanov LA, Aubourg S, Jackson J. Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme. Biochimica et Biophysica Acta - Bioenergetics. 1996;1273(1):4-12. doi:10.1016/0005-2728(95)00125-5
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 1951
Sazanov LA, Burrows P, Nixon P. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 1996;24(3):739-743. doi:10.1042/bst0240739
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2492
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2564
Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 1996;364(2):290-310. doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2566
Kinoshita A, Ohishi H, Neki A, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(1):61-64. doi:10.1016/0304-3940(96)12489-7
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2565
Li J, Ohishi H, Kaneko T, et al. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. 1996;204(1-2):9-12. doi:10.1016/0304-3940(95)12299-0
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2562
Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 1996;202(3):197-200. doi:10.1016/0304-3940(95)12248-6
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2568
Kinoshita A, Ohishi H, Nomura S, Shigemoto R, Nakanishi S, Mizuno N. Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. 1996;207(3):199-202. doi:10.1016/0304-3940(96)12519-2
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2569
Jia H, Wang B, Rao Z, et al. GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat. Neuroscience Letters. 1996;210(1):49-52. doi:10.1016/0304-3940(96)12654-9
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2567
Li J, Ding Y, Shigemoto R, Mizuno N. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 1996;719(1-2):207-212. doi:10.1016/0006-8993(96)00064-9
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2572
Hashimoto H, Nogi H, Mori K, et al. Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 1996;371(4):567-577. doi:10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2574
Luján R, Nusser Z, Roberts J, Shigemoto R, Somogyi P. Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. 1996;8(7):1488-1500. doi:10.1111/j.1460-9568.1996.tb01611.x
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2573
Tokuno H, Takada M, Kaneko T, Shigemoto R, Mizuno N. Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. 1996;95(1):107-117. doi:10.1016/0165-3806(96)00080-6
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2570
Shigemoto R, Kulik Á, Roberts J, et al. Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature. 1996;381(6582):523-525. doi:10.1038/381523a0
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2571
Yokoi M, Kobayashi K, Manabe T, et al. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. 1996;273:645-647. doi:10.1126/science.273.5275.645
View
| DOI
| PubMed | Europe PMC