ISTA Research Explorer

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.

8923 Publications

Search / Filter

1997 | Published | Journal Article | IST-REx-ID: 4493

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050008.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4494

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,” 1254:460–63. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_48.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4496

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997. https://doi.org/10.1007/3-540-63141-0_19.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4520

Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997. https://doi.org/10.1007/BFb0014736.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 2492

Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience. Elsevier, 1996. https://doi.org/10.1016/0306-4522(96)00316-8.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2562

Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(95)12248-6.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2564

Ding, Yu, Ryuichi Shigemoto, Masahiko Takada, Hitoshi Ohishi, Shigetada Nakanishi, and Noboru Mizuno. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1996. https://doi.org/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: 2565

Li, Jin, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “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, 1996. https://doi.org/10.1016/0304-3940(95)12299-0.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2566

Kinoshita, Ayae, Hitoshi Ohishi, Akio Neki, Sakashi Nomura, Ryuichi Shigemoto, Masahiko Takada, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR8, in the Rhinencephalic Areas: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(96)12489-7.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2567

Li, Jin, Yu Ding, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminothalamic and Spinothalamic-Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Brain Research. Elsevier, 1996. https://doi.org/10.1016/0006-8993(96)00064-9.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2568

Kinoshita, Ayae, Hitoshi Ohishi, Sakashi Nomura, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR4a, in the Cerebellar Cortex: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(96)12519-2.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2569

Jia, Hong, Bai Wang, Zhi Rao, Ji Shi, Ryuichi Shigemoto, Takeshi Kaneko, and Noboru Mizuno. “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, 1996. https://doi.org/10.1016/0304-3940(96)12654-9.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2570

Shigemoto, Ryuichi, Ákos Kulik, John Roberts, Hitoshi Ohishi, Zoltán Nusser, Takeshi Kaneko, and Péter Somogyi. “Target-Cell-Specific Concentration of a Metabotropic Glutamate Receptor in the Presynaptic Active Zone.” Nature. Nature Publishing Group, 1996. https://doi.org/10.1038/381523a0.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2571

Yokoi, Mineto, Kazuto Kobayashi, Toshiya Manabe, Tomoyuki Takahashi, Isako Sakaguchi, Goro Katsuura, Ryuichi Shigemoto, et al. “Impairment of Hippocampal Mossy Fiber LTD in Mice Lacking MGluR2.” Science. American Association for the Advancement of Science, 1996. https://doi.org/10.1126/science.273.5275.645.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2572

Hashimoto, Hitoshi, Hiroyuki Nogi, Kensaku Mori, Hitoshi Ohishi, Ryuichi Shigemoto, Kyohei Yamamoto, Toshio Matsuda, Noboru Mizuno, Shigekazu Nagata, and Akemichi Baba. “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, 1996. https://doi.org/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: 2573

Tokuno, Hironobu, Masahiko Takada, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Patchy Distribution of Substance P Receptor Immunoreactivity in the Developing Rat Striatum.” Developmental Brain Research. Elsevier, 1996. https://doi.org/10.1016/0165-3806(96)00080-6.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2574

Luján, Rafael, Zoltán Nusser, John Roberts, Ryuichi Shigemoto, and Péter Somogyi. “ Perisynaptic Location of Metabotropic Glutamate Receptors MGluR1 and MGluR5 on Dendrites and Dendritic Spines in the Rat Hippocampus.” European Journal of Neuroscience. Wiley-Blackwell, 1996. https://doi.org/10.1111/j.1460-9568.1996.tb01611.x.

View | DOI | PubMed | Europe PMC

1996 | Published | Journal Article | IST-REx-ID: 2725

Erdös, László. “Rayleigh-Type Isoperimetric Inequality with a Homogeneous Magnetic Field.” Calculus of Variations and Partial Differential Equations. Springer, 1996. https://doi.org/10.1007/BF01254348.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 2726

Erdös, László. “Gaussian Decay of the Magnetic Eigenfunctions.” Geometric and Functional Analysis. Birkhäuser, 1996. https://doi.org/10.1007/BF02247886.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 11761

Henzinger, Monika H, and David P. Williamson. “On the Number of Small Cuts in a Graph.” Information Processing Letters. Elsevier, 1996. https://doi.org/10.1016/0020-0190(96)00079-8.

View | DOI