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.

6107 Publications


1997 | Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata (Vol. 1201, pp. 331–345). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/10.1007/BFb0014736
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_48
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation (Vol. 1243, pp. 273–287). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_19
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
Hunt, B. R., & Kaloshin, V. (1997). How projections affect the dimension spectrum of fractal measures. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/10/5/002
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8528
Kaloshin, V. (1997). Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. Springer Nature. https://doi.org/10.1007/bf02466014
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942
Sazanov, L. A., Burrows, P., & Nixon, P. J. (1996). Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts (Vol. 2, pp. 705–708). Presented at the IPC: International Photosynthesis Congress, Kluwer.
View
 

1996 | Journal Article | IST-REx-ID: 1951
Sazanov, L. A., Burrows, P., & Nixon, P. (1996). Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. Portland Press.
View
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, T., Sazanov, L. A., Aubourg, S., & Jackson, J. (1996). 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. Elsevier. https://doi.org/10.1016/0005-2728(95)00125-5
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2492
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(96)00316-8
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2562
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12248-6
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2564
Ding, Y., Shigemoto, R., Takada, M., Ohishi, H., Nakanishi, S., & Mizuno, N. (1996). Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2565
Li, J., Ohishi, H., Kaneko, T., Shigemoto, R., Neki, A., Nakanishi, S., & Mizuno, N. (1996). 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. Elsevier. https://doi.org/10.1016/0304-3940(95)12299-0
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2566
Kinoshita, A., Ohishi, H., Neki, A., Nomura, S., Shigemoto, R., Takada, M., … Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12489-7
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2567
Li, J., Ding, Y., Shigemoto, R., & Mizuno, N. (1996). Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(96)00064-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2568
Kinoshita, A., Ohishi, H., Nomura, S., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12519-2
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2569
Jia, H., Wang, B., Rao, Z., Shi, J., Shigemoto, R., Kaneko, T., & Mizuno, N. (1996). 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. Elsevier. https://doi.org/10.1016/0304-3940(96)12654-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto, R., Kulik, Á., Roberts, J., Ohishi, H., Nusser, Z., Kaneko, T., & Somogyi, P. (1996). Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature. Nature Publishing Group. https://doi.org/10.1038/381523a0
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi, M., Kobayashi, K., Manabe, T., Takahashi, T., Sakaguchi, I., Katsuura, G., … Nakanishi, S. (1996). Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.273.5275.645
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto, H., Nogi, H., Mori, K., Ohishi, H., Shigemoto, R., Yamamoto, K., … Baba, A. (1996). 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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View | DOI
 

Search

Filter Publications