[{"publisher":"Elsevier","article_type":"original","page":"199 - 202","quality_controlled":"1","publication_status":"published","date_created":"2018-12-11T11:58:26Z","article_processing_charge":"No","title":"Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat","intvolume":"       207","pmid":1,"_id":"2568","scopus_import":"1","author":[{"last_name":"Kinoshita","first_name":"Ayae","full_name":"Kinoshita, Ayae"},{"full_name":"Ohishi, Hitoshi","first_name":"Hitoshi","last_name":"Ohishi"},{"full_name":"Nomura, Sakashi","last_name":"Nomura","first_name":"Sakashi"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}],"issue":"3","volume":207,"acknowledgement":"We are grateful to Mr. Akira Uesugi for photographic help.","extern":"1","doi":"10.1016/0304-3940(96)12519-2","day":"05","abstract":[{"text":"Localization of a metabotropic glutamate receptor, mGluR4a, was immunohistochemically examined in the rat cerebellum with an antibody, which was produced by using a synthetic peptide corresponding to a C-terminal sequence of rat mGluR4a. Marked mGluR4a-like immunoreactivity (mGluRLta-LI) was seen in neuropil of the molecular layer of the cerebellar cortex. Electron microscopically, mGluR4a-LI was observed in many axon terminals in the molecular layer. These axon terminals showing mGluR4a-LI were filled with round synaptic vesicles and were in asymmetric synaptic contacts most frequently with dendritic spines. The results indicate that mGluR4a are located presynaptically in the parallel fibers arising from the granule cells in the cerebellar cortex.","lang":"eng"}],"date_updated":"2022-08-12T09:06:18Z","year":"1996","citation":{"apa":"Kinoshita, A., Ohishi, H., Nomura, S., Shigemoto, R., Nakanishi, S., &#38; Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3940(96)12519-2\">https://doi.org/10.1016/0304-3940(96)12519-2</a>","ama":"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. <i>Neuroscience Letters</i>. 1996;207(3):199-202. doi:<a href=\"https://doi.org/10.1016/0304-3940(96)12519-2\">10.1016/0304-3940(96)12519-2</a>","chicago":"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.” <i>Neuroscience Letters</i>. Elsevier, 1996. <a href=\"https://doi.org/10.1016/0304-3940(96)12519-2\">https://doi.org/10.1016/0304-3940(96)12519-2</a>.","ieee":"A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat,” <i>Neuroscience Letters</i>, vol. 207, no. 3. Elsevier, pp. 199–202, 1996.","mla":"Kinoshita, Ayae, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR4a, in the Cerebellar Cortex: A Light and Electron Microscope Study in the Rat.” <i>Neuroscience Letters</i>, vol. 207, no. 3, Elsevier, 1996, pp. 199–202, doi:<a href=\"https://doi.org/10.1016/0304-3940(96)12519-2\">10.1016/0304-3940(96)12519-2</a>.","short":"A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 199–202.","ista":"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. 207(3), 199–202."},"external_id":{"pmid":["8728484"]},"language":[{"iso":"eng"}],"oa_version":"None","month":"04","publication":"Neuroscience Letters","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"issn":["0304-3940"]},"publist_id":"4331","date_published":"1996-04-05T00:00:00Z","type":"journal_article"},{"page":"49 - 52","quality_controlled":"1","publisher":"Elsevier","article_type":"original","_id":"2569","pmid":1,"scopus_import":"1","author":[{"full_name":"Jia, Hong","last_name":"Jia","first_name":"Hong"},{"last_name":"Wang","first_name":"Bai","full_name":"Wang, Bai"},{"first_name":"Zhi","last_name":"Rao","full_name":"Rao, Zhi"},{"full_name":"Shi, Ji","first_name":"Ji","last_name":"Shi"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kaneko","first_name":"Takeshi","full_name":"Kaneko, Takeshi"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"issue":"1","publication_status":"published","date_created":"2018-12-11T11:58:26Z","article_processing_charge":"No","title":"GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat","intvolume":"       210","volume":210,"acknowledgement":"The authors thank Prof. Hui-Min Li for his critical reading of the manuscript and his excellent suggestions. We are also grateful to Ms. Miao-Li Zhang for her assistance in the electron microscopic technique and photography and to Mr. Akira Uesugi for photographic help. This work was supported in part by the Grant (39370240) from the National Natural Science Foundation of China. ","extern":"1","date_updated":"2022-08-12T08:18:55Z","year":"1996","citation":{"apa":"Jia, H., Wang, B., Rao, Z., Shi, J., Shigemoto, R., Kaneko, T., &#38; 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. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3940(96)12654-9\">https://doi.org/10.1016/0304-3940(96)12654-9</a>","ama":"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. <i>Neuroscience Letters</i>. 1996;210(1):49-52. doi:<a href=\"https://doi.org/10.1016/0304-3940(96)12654-9\">10.1016/0304-3940(96)12654-9</a>","ieee":"H. Jia <i>et al.</i>, “GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat,” <i>Neuroscience Letters</i>, vol. 210, no. 1. Elsevier, pp. 49–52, 1996.","chicago":"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.” <i>Neuroscience Letters</i>. Elsevier, 1996. <a href=\"https://doi.org/10.1016/0304-3940(96)12654-9\">https://doi.org/10.1016/0304-3940(96)12654-9</a>.","short":"H. Jia, B. Wang, Z. Rao, J. Shi, R. Shigemoto, T. Kaneko, N. Mizuno, Neuroscience Letters 210 (1996) 49–52.","mla":"Jia, Hong, 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.” <i>Neuroscience Letters</i>, vol. 210, no. 1, Elsevier, 1996, pp. 49–52, doi:<a href=\"https://doi.org/10.1016/0304-3940(96)12654-9\">10.1016/0304-3940(96)12654-9</a>.","ista":"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. 210(1), 49–52."},"external_id":{"pmid":["8762189"]},"doi":"10.1016/0304-3940(96)12654-9","day":"24","abstract":[{"text":"Morphological substrates for interactions between γ-aminobutyric acid (GABA) and substance P upon neurons expressing substance Preceptor (SPR) in the nucleus of the solitary tract (NST) were investigated by immunocytochemical electron microscopy. In the NST of the rat, many GABA-like immunoreactive axon terminals were in symmetric synaptic contacts with dendritic profiles; they were observed on nearly a half of the SPR-like immunoreactive dendritic profiles in the medial part of the caudal half of the NST.","lang":"eng"}],"language":[{"iso":"eng"}],"publication":"Neuroscience Letters","oa_version":"None","month":"05","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"1996-05-24T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["0304-3940"]},"publist_id":"4329"},{"extern":"1","acknowledgement":"We thank E. Molnar for help in immunoblotting; A. D. Smith for comments on the manuscript; D. Latawiec fortechnical assistance; and P. Jays and F. Kennedy for photographic assistance. This work was partly supported by the Ministry of Education, Science and Culture of Japan. AK. is supported by the MHB MagyarTudomanyert Foundation and the OTKA Foundation of the Hungarian Government. ","volume":381,"external_id":{"pmid":["8632825 "]},"date_updated":"2022-08-11T14:45:35Z","citation":{"ista":"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. 381(6582), 523–525.","mla":"Shigemoto, Ryuichi, et al. “Target-Cell-Specific Concentration of a Metabotropic Glutamate Receptor in the Presynaptic Active Zone.” <i>Nature</i>, vol. 381, no. 6582, Nature Publishing Group, 1996, pp. 523–25, doi:<a href=\"https://doi.org/10.1038/381523a0\">10.1038/381523a0</a>.","short":"R. Shigemoto, Á. Kulik, J. Roberts, H. Ohishi, Z. Nusser, T. Kaneko, P. Somogyi, Nature 381 (1996) 523–525.","ieee":"R. Shigemoto <i>et al.</i>, “Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone,” <i>Nature</i>, vol. 381, no. 6582. Nature Publishing Group, pp. 523–525, 1996.","chicago":"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.” <i>Nature</i>. Nature Publishing Group, 1996. <a href=\"https://doi.org/10.1038/381523a0\">https://doi.org/10.1038/381523a0</a>.","ama":"Shigemoto R, Kulik Á, Roberts J, et al. Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. <i>Nature</i>. 1996;381(6582):523-525. doi:<a href=\"https://doi.org/10.1038/381523a0\">10.1038/381523a0</a>","apa":"Shigemoto, R., Kulik, Á., Roberts, J., Ohishi, H., Nusser, Z., Kaneko, T., &#38; Somogyi, P. (1996). Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/381523a0\">https://doi.org/10.1038/381523a0</a>"},"year":"1996","abstract":[{"lang":"eng","text":"The probability of synaptic neurotransmitter release from nerve terminals is regulated by presynaptic receptors responding to transmitters released from the same nerve terminal or from terminals of other neurons. The release of glutamate, the major excitatory neurotransmitter, is suppressed by presynaptic auto receptors. Here we show that a metabotropic glutamate receptor (mGluR7) in the rat hippocampus is restricted to the presynaptic grid, the site of synaptic vesicle fusion. Pyramidal cell terminals presynaptic to mGluR1α-expressing interneurons have at least a ten-fold higher level of presynaptic mGluR7 than terminals making synapses with pyramidal cells and other types of interneuron. Distinct levels of mGluR7 are found at different synapses made by individual pyramidal axons or even single boutons. These results raise the possibility that presynaptic neurons could regulate the probability of transmitter release at individual synapses according to the postsynaptic target"}],"doi":"10.1038/381523a0","day":"06","page":"523 - 525","quality_controlled":"1","article_type":"original","publisher":"Nature Publishing Group","author":[{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","last_name":"Shigemoto"},{"full_name":"Kulik, Ákos","first_name":"Ákos","last_name":"Kulik"},{"full_name":"Roberts, John","first_name":"John","last_name":"Roberts"},{"full_name":"Ohishi, Hitoshi","last_name":"Ohishi","first_name":"Hitoshi"},{"last_name":"Nusser","first_name":"Zoltán","full_name":"Nusser, Zoltán"},{"first_name":"Takeshi","last_name":"Kaneko","full_name":"Kaneko, Takeshi"},{"first_name":"Péter","last_name":"Somogyi","full_name":"Somogyi, Péter"}],"issue":"6582","_id":"2570","pmid":1,"scopus_import":"1","title":"Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone","intvolume":"       381","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:58:26Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","date_published":"1996-06-06T00:00:00Z","type":"journal_article","publist_id":"4328","publication_identifier":{"issn":["0028-0836"]},"language":[{"iso":"eng"}],"publication":"Nature","month":"06","oa_version":"None"},{"author":[{"full_name":"Yokoi, Mineto","first_name":"Mineto","last_name":"Yokoi"},{"full_name":"Kobayashi, Kazuto","last_name":"Kobayashi","first_name":"Kazuto"},{"last_name":"Manabe","first_name":"Toshiya","full_name":"Manabe, Toshiya"},{"full_name":"Takahashi, Tomoyuki","first_name":"Tomoyuki","last_name":"Takahashi"},{"full_name":"Sakaguchi, Isako","last_name":"Sakaguchi","first_name":"Isako"},{"full_name":"Katsuura, Goro","last_name":"Katsuura","first_name":"Goro"},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Ohishi","first_name":"Hitoshi","full_name":"Ohishi, Hitoshi"},{"last_name":"Nomura","first_name":"Sakashi","full_name":"Nomura, Sakashi"},{"full_name":"Nakamura, Kenji","last_name":"Nakamura","first_name":"Kenji"},{"first_name":"Kazuki","last_name":"Nakao","full_name":"Nakao, Kazuki"},{"last_name":"Katsuki","first_name":"Motoya","full_name":"Katsuki, Motoya"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"}],"_id":"2571","pmid":1,"scopus_import":"1","title":"Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2","intvolume":"       273","publication_status":"published","date_created":"2018-12-11T11:58:27Z","article_processing_charge":"No","page":"645 - 647","quality_controlled":"1","article_type":"original","publisher":"American Association for the Advancement of Science","external_id":{"pmid":["8662555 "]},"date_updated":"2022-08-11T13:53:55Z","citation":{"mla":"Yokoi, Mineto, et al. “Impairment of Hippocampal Mossy Fiber LTD in Mice Lacking MGluR2.” <i>Science</i>, vol. 273, American Association for the Advancement of Science, 1996, pp. 645–47, doi:<a href=\"https://doi.org/10.1126/science.273.5275.645\">10.1126/science.273.5275.645</a>.","short":"M. Yokoi, K. Kobayashi, T. Manabe, T. Takahashi, I. Sakaguchi, G. Katsuura, R. Shigemoto, H. Ohishi, S. Nomura, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Science 273 (1996) 645–647.","ista":"Yokoi M, Kobayashi K, Manabe T, Takahashi T, Sakaguchi I, Katsuura G, Shigemoto R, Ohishi H, Nomura S, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1996. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. 273, 645–647.","apa":"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. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.273.5275.645\">https://doi.org/10.1126/science.273.5275.645</a>","ama":"Yokoi M, Kobayashi K, Manabe T, et al. Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. <i>Science</i>. 1996;273:645-647. doi:<a href=\"https://doi.org/10.1126/science.273.5275.645\">10.1126/science.273.5275.645</a>","chicago":"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.” <i>Science</i>. American Association for the Advancement of Science, 1996. <a href=\"https://doi.org/10.1126/science.273.5275.645\">https://doi.org/10.1126/science.273.5275.645</a>.","ieee":"M. Yokoi <i>et al.</i>, “Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2,” <i>Science</i>, vol. 273. American Association for the Advancement of Science, pp. 645–647, 1996."},"year":"1996","abstract":[{"lang":"eng","text":"Subtype 2 of the metabotropic glutamate receptor (mGluR2) is expressed in the presynaptic elements of hippocampal mossy fiber-CA3 synapses. Knockout mice deficient in mGluR2 showed no histological changes and no alterations in basal synaptic transmission, paired-pulse facilitation, or tetanus-induced long-term potentiation (LTP) at the mossy fiber-CA3 synapses. Long-term depression (LTD) induced by low-frequency stimulation, however, was almost fully abolished. The mutant mice performed normally in water maze learning tasks. Thus, the presynaptic mGluR2 is essential for inducing LTD at the mossy fiber-CA3 synapses, but this hippocampal LTD does not seem to be required for spatial learning."}],"doi":"10.1126/science.273.5275.645","day":"02","extern":"1","volume":273,"publication":"Science","month":"08","oa_version":"None","language":[{"iso":"eng"}],"date_published":"1996-08-02T00:00:00Z","type":"journal_article","publist_id":"4327","publication_identifier":{"issn":["0036-8075"]},"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"doi":"10.1002/(SICI)1096-9861(19960805)371:4&lt;567::AID-CNE6&gt;3.3.CO;2-M","day":"05","abstract":[{"lang":"eng","text":"The distribution of the mRNA for a pituitary adenylate cyclase- activating polypeptide (PACAP) receptor (PACAP-R) was examined in the rat brain, and also in the hypophysis and pineal gland, by in situ hybridization with a specific 35S-labeled riboprobe which was generated from a rat PACAP-R cDNA clone. In the brain, expression of PACAP-R mRNA was most prominent in the periglomerular and granule cells of the olfactory bulb, granule cells of the dentate gyrus, supraoptic nucleus, and area postrema. The expression was also intense in the piriform, cingulate, and retrosplenial cortices, pyramidal cells in CA2, non-pyramidal cells in CA1- CA3, neuronal cells in the hilus of the dentate gyrus, lateral septal nucleus, intercalated amygdaloid nucleus, anterodorsal thalamic nucleus, most of the midline and intralaminar thalamic nuclei, many regions of the hypothalamus, dorsal motor nucleus of the vagus nerve, hypoglossal nucleus, and lateral reticular nucleus. No significant expression was detected in the mitral and tufted cells in the olfactory bulb, pyramidal cells in CA1 and CA3, posterior nuclear group of the thalamus, dorsal lateral geniculate nucleus, and Purkinje, Golgi, and granule cells in the cerebellar cortex. Moderate-to-weak expression was further observed in many other regions of the brain. In the cerebellar cortex, presumed Bergmann gila cells showed moderate expression. In the hypophysis, the expression was moderate in the anterior lobe, and weak to moderate in the posterior lobe; no significant expression was observed in the intermediate lobe. In the pineal gland, the expression was very weak, if any. Thus, the expression of PACAP-R was detected not only on neuronal cells but also on some particular glial cells. The present study has shown, for the first time, the exact site of PACAP-R expression in the brain and hypophysis. Although the functional significance of PACAP and PACAP-R in the brain still remains to be clarified, the present results are considered to provide some direction for future functional studies."}],"date_updated":"2022-08-11T13:20:31Z","citation":{"apa":"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. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M\">https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M</a>","ama":"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. <i>Journal of Comparative Neurology</i>. 1996;371(4):567-577. doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M\">10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M</a>","ieee":"H. Hashimoto <i>et al.</i>, “Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study,” <i>Journal of Comparative Neurology</i>, vol. 371, no. 4. Wiley-Blackwell, pp. 567–577, 1996.","chicago":"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.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1996. <a href=\"https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M\">https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M</a>.","short":"H. Hashimoto, H. Nogi, K. Mori, H. Ohishi, R. Shigemoto, K. Yamamoto, T. Matsuda, N. Mizuno, S. Nagata, A. Baba, Journal of Comparative Neurology 371 (1996) 567–577.","mla":"Hashimoto, Hitoshi, et al. “Distribution of the MRNA for a Pituitary Adenylate Cyclase-Activating Polypeptide Receptor in the Rat Brain: An in Situ Hybridization Study.” <i>Journal of Comparative Neurology</i>, vol. 371, no. 4, Wiley-Blackwell, 1996, pp. 567–77, doi:<a href=\"https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M\">10.1002/(SICI)1096-9861(19960805)371:4&#38;lt;567::AID-CNE6&#38;gt;3.3.CO;2-M</a>.","ista":"Hashimoto H, Nogi H, Mori K, Ohishi H, Shigemoto R, Yamamoto K, Matsuda T, Mizuno N, Nagata S, 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. 371(4), 567–577."},"year":"1996","external_id":{"pmid":["8841910"]},"volume":371,"acknowledgement":"We are grateful for the photographic help of Mr. Akira Uesugi and helpful  discussions and support of Drs. Shige- tada Nakanishi, Yukihiko  Sugimoto, Atsushi Ichikawa, Masabumi Minami, Takeshi Ishihara, Jun Ogasawara, Daisuke Watanabe, Akiko Tani, Yoshihiro Yoshihara, Miwa Kawasaki, Hiroshi Aino, Nobuya  Ogawa, Akiko Nishino, and Rie Hosoi. We also thank Ms. Yukiko Sakagami  for secretarial assistance. This work was supported in part by a Grant-in-Aid for Scientific Research from the Ministry of We are grateful for the photographic help of Mr. Akira Uesugi and helpful  discussions and support of Drs. Shige- tada Nakanishi, Yukihiko  Sugimoto, Atsushi Ichikawa, Masabumi Minami, Takeshi Ishihara, Jun Ogasawara, Daisuke Watanabe, Akiko Tani, Yoshihiro Yoshihara, Miwa Kawasaki, Hiroshi Aino, Nobuya  Ogawa, Akiko Nishino, and Rie Hosoi. We also thank Ms. Yukiko Sakagami  for secretarial assistance. This work was supported in part by a Grant-in-Aid for Scientific Research from the Ministry of We are grateful for the photographic help of Mr. Akira Uesugi and helpful  discussions and support of Drs. Shige- tada Nakanishi, Yukihiko  Sugimoto, Atsushi Ichikawa, Masabumi Minami, Takeshi Ishihara, Jun Ogasawara, Daisuke Watanabe, Akiko Tani, Yoshihiro Yoshihara, Miwa Kawasaki, Hiroshi Aino, Nobuya  Ogawa, Akiko Nishino, and Rie Hosoi. We also thank Ms. Yukiko Sakagami  for secretarial assistance. This work was supported in part by a Grant-in-Aid for Scientific Research from the Ministry of Education, Science and Culture of Japan and by grants from Uehara Memorial Foundation and Ono Pharmaceutical Co., Ltd","extern":"1","publication_status":"published","date_created":"2018-12-11T11:58:27Z","article_processing_charge":"No","title":"Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study","intvolume":"       371","pmid":1,"_id":"2572","scopus_import":"1","author":[{"full_name":"Hashimoto, Hitoshi","first_name":"Hitoshi","last_name":"Hashimoto"},{"full_name":"Nogi, Hiroyuki","last_name":"Nogi","first_name":"Hiroyuki"},{"last_name":"Mori","first_name":"Kensaku","full_name":"Mori, Kensaku"},{"last_name":"Ohishi","first_name":"Hitoshi","full_name":"Ohishi, Hitoshi"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Yamamoto","first_name":"Kyohei","full_name":"Yamamoto, Kyohei"},{"full_name":"Matsuda, Toshio","last_name":"Matsuda","first_name":"Toshio"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"},{"full_name":"Nagata, Shigekazu","last_name":"Nagata","first_name":"Shigekazu"},{"first_name":"Akemichi","last_name":"Baba","full_name":"Baba, Akemichi"}],"issue":"4","publisher":"Wiley-Blackwell","article_type":"original","page":"567 - 577","quality_controlled":"1","publication_identifier":{"issn":["0021-9967"]},"publist_id":"4326","date_published":"1996-08-05T00:00:00Z","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","oa_version":"None","month":"08","publication":"Journal of Comparative Neurology","language":[{"iso":"eng"}]},{"abstract":[{"text":"Developmental changes of the distribution pattern of substance P receptor (SPR) were investigated immunohistochemically in the rat striatum. The SPR immunoreactivity in the striatum first emerged at postnatal day 1 and transiently showed a patchy pattern of distribution until it displayed the adult pattern of homogeneous distribution by the end of the third postnatal week. The SPR-immunoreactive patches were most marked in the medial and dorsolateral parts of the striatum, as well as in the subcallosal streak. They matched tyrosine hydroxylase-enriched areas and, conversely, avoided calbindin-enriched zones. No neurons within the SPR-immunoreactive patches contained either choline acetyltransferase or somatostatin, which is known to be contained in intrinsic neurons in the striatum. The vast majority of SPR-immunoreactive patch neurons also contained DARPP-32, a phosphoprotein that is expressed in striatal projection neurons with D1 dopamine receptor. The results indicate that SPR-immunoreactive patches which appear transiently in the developing striatum are in register with the striatal patch compartment, and that SPR immunoreactivity within these patches may be expressed on projection neurons rather than intrinsic neurons. Such SPR immunoreactivity in projection neurons in striatal patches may fade out in adulthood.","lang":"eng"}],"day":"20","doi":"10.1016/0165-3806(96)00080-6","external_id":{"pmid":["8873981 "]},"year":"1996","citation":{"chicago":"Tokuno, Hironobu, Masahiko Takada, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Patchy Distribution of Substance P Receptor Immunoreactivity in the Developing Rat Striatum.” <i>Developmental Brain Research</i>. Elsevier, 1996. <a href=\"https://doi.org/10.1016/0165-3806(96)00080-6\">https://doi.org/10.1016/0165-3806(96)00080-6</a>.","ieee":"H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, and N. Mizuno, “Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum,” <i>Developmental Brain Research</i>, vol. 95, no. 1. Elsevier, pp. 107–117, 1996.","ama":"Tokuno H, Takada M, Kaneko T, Shigemoto R, Mizuno N. Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. <i>Developmental Brain Research</i>. 1996;95(1):107-117. doi:<a href=\"https://doi.org/10.1016/0165-3806(96)00080-6\">10.1016/0165-3806(96)00080-6</a>","apa":"Tokuno, H., Takada, M., Kaneko, T., Shigemoto, R., &#38; Mizuno, N. (1996). Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. <i>Developmental Brain Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/0165-3806(96)00080-6\">https://doi.org/10.1016/0165-3806(96)00080-6</a>","ista":"Tokuno H, Takada M, Kaneko T, Shigemoto R, Mizuno N. 1996. Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. 95(1), 107–117.","short":"H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, N. Mizuno, Developmental Brain Research 95 (1996) 107–117.","mla":"Tokuno, Hironobu, et al. “Patchy Distribution of Substance P Receptor Immunoreactivity in the Developing Rat Striatum.” <i>Developmental Brain Research</i>, vol. 95, no. 1, Elsevier, 1996, pp. 107–17, doi:<a href=\"https://doi.org/10.1016/0165-3806(96)00080-6\">10.1016/0165-3806(96)00080-6</a>."},"date_updated":"2022-08-11T12:07:34Z","extern":"1","volume":95,"acknowledgement":"We thank Mr. Akira Uesugi and Ms. Miao-Li Zhang for their photographic help. We are also grateful for the support of Dr. Kajitaro Morita in the Morita Clinic of Internal Medicine and Pediatrics at Kadoma, Osaka, Japan, and for the support of Drs. Satoru Fukuchi, Ritsu Hayashi, Sozaburo Hayashi, Mizuho Katsurada, Yutaka Kitani, Keiko Kumagai, Toshihiko Kuroda., Hiroshi Matsubara, Hiroshi Matsushita, Chisato Minakuchi, Gonpei Niwa, Hajime Oda, Masahiko Ohbayashi, Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watanabe, Kazuo Yoshino, and Toshiaki Yoshino. This work was supported in part by Grants-in-Aid for Special Research on Priority Areas 05267104, Scientific Research (B) \r\n5454658, and Scientific Research (C) 05680658 and 06680735 from the Ministry of Education, Science and Culture of Japan.","intvolume":"        95","title":"Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum","date_created":"2018-12-11T11:58:28Z","article_processing_charge":"No","publication_status":"published","issue":"1","author":[{"first_name":"Hironobu","last_name":"Tokuno","full_name":"Tokuno, Hironobu"},{"full_name":"Takada, Masahiko","first_name":"Masahiko","last_name":"Takada"},{"last_name":"Kaneko","first_name":"Takeshi","full_name":"Kaneko, Takeshi"},{"first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"scopus_import":"1","pmid":1,"_id":"2573","article_type":"original","publisher":"Elsevier","quality_controlled":"1","page":"107 - 117","publist_id":"4325","publication_identifier":{"issn":["0165-3806"]},"type":"journal_article","date_published":"1996-08-20T00:00:00Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","month":"08","oa_version":"None","publication":"Developmental Brain Research","language":[{"iso":"eng"}]},{"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","date_published":"1996-07-01T00:00:00Z","publist_id":"4324","publication_identifier":{"issn":["0953-816X"]},"language":[{"iso":"eng"}],"publication":"European Journal of Neuroscience","month":"07","oa_version":"None","extern":"1","volume":8,"external_id":{"pmid":["8758956 "]},"citation":{"ista":"Luján R, Nusser Z, Roberts J, Shigemoto R, Somogyi P. 1996.  Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. 8(7), 1488–1500.","short":"R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 8 (1996) 1488–1500.","mla":"Luján, Rafael, et al. “ Perisynaptic Location of Metabotropic Glutamate Receptors MGluR1 and MGluR5 on Dendrites and Dendritic Spines in the Rat Hippocampus.” <i>European Journal of Neuroscience</i>, vol. 8, no. 7, Wiley-Blackwell, 1996, pp. 1488–500, doi:<a href=\"https://doi.org/10.1111/j.1460-9568.1996.tb01611.x\">10.1111/j.1460-9568.1996.tb01611.x</a>.","ieee":"R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, and P. Somogyi, “ Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus,” <i>European Journal of Neuroscience</i>, vol. 8, no. 7. Wiley-Blackwell, pp. 1488–1500, 1996.","chicago":"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.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 1996. <a href=\"https://doi.org/10.1111/j.1460-9568.1996.tb01611.x\">https://doi.org/10.1111/j.1460-9568.1996.tb01611.x</a>.","ama":"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. <i>European Journal of Neuroscience</i>. 1996;8(7):1488-1500. doi:<a href=\"https://doi.org/10.1111/j.1460-9568.1996.tb01611.x\">10.1111/j.1460-9568.1996.tb01611.x</a>","apa":"Luján, R., Nusser, Z., Roberts, J., Shigemoto, R., &#38; Somogyi, P. (1996).  Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1460-9568.1996.tb01611.x\">https://doi.org/10.1111/j.1460-9568.1996.tb01611.x</a>"},"year":"1996","date_updated":"2022-08-11T11:57:08Z","abstract":[{"lang":"eng","text":"lonotropic and metabotropic (mGluR1a) glutamate receptors were reported to be segregated from each other within the postsynaptic membrane at individual synapses. In order to establish whether this pattern of distribution applies to the hippocampal principal cells and to other postsynaptic metabotropic glutamate receptors, the mGluR1a/b/c and mGluR5 subtypes were localized by immunocytochemistry. Principal cells in all hippocampal fields were reactive for mGluR5, the strata oriens and radiatum of the CA1 area being most strongly immunolabelled. Labelling for mGluR1b/c was strongest on some pyramids in the CA3 area, weaker on granule cells and absent on CA1 pyramids. Subpopulations of non-principal cells showed strong mGluR1 or mGluR5 immunoreactivity. Electron microscopic pre-embedding immunoperoxidase and both pre- and postembedding immunogold methods consistently revealed the extrasynaptic location of both mGluRs in the somatic and dendritic membrane of pyramidal and granule cells. The density of immunolabelling was highest on dendritic spines. At synapses, immunoparticles for both mGluR1 and mGluR5 were found always outside the postsynaptic membrane specializations. Receptors were particularly concentrated in a perisynaptic annulus around type 1 synaptic junctions, including the invaginations at 'perforated' synapses. Measurements of immunolabelling on dendritic spines showed decreasing levels of receptor as a function of distance from the edge of the synaptic specialization. We propose that glutamatergic synapses with an irregular edge develop in order to increase the circumference of synaptic junctions leading to an increase in the metabotropic to ionotropic glutamate receptor ratio at glutamate release sites. The perisynaptic position of postsynaptic metabotropic glutamate receptors appears to be a general feature of glutamatergic synaptic organization and may apply to other G-protein-coupled receptors. © European Neuroscience Association."}],"day":"01","doi":"10.1111/j.1460-9568.1996.tb01611.x","quality_controlled":"1","page":"1488 - 1500","article_type":"original","publisher":"Wiley-Blackwell","issue":"7","author":[{"first_name":"Rafael","last_name":"Luján","full_name":"Luján, Rafael"},{"last_name":"Nusser","first_name":"Zoltán","full_name":"Nusser, Zoltán"},{"last_name":"Roberts","first_name":"John","full_name":"Roberts, John"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Somogyi, Péter","last_name":"Somogyi","first_name":"Péter"}],"scopus_import":"1","pmid":1,"_id":"2574","intvolume":"         8","title":" Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus","date_created":"2018-12-11T11:58:28Z","article_processing_charge":"No","publication_status":"published"},{"page":"283 - 292","quality_controlled":0,"publisher":"Springer","publication":"Calculus of Variations and Partial Differential Equations","_id":"2725","author":[{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"László Erdös","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László"}],"issue":"3","publication_status":"published","date_created":"2018-12-11T11:59:16Z","title":"Rayleigh-type isoperimetric inequality with a homogeneous magnetic field","month":"04","intvolume":"         4","volume":4,"extern":1,"status":"public","date_updated":"2021-01-12T06:59:17Z","citation":{"ama":"Erdös L. Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. <i>Calculus of Variations and Partial Differential Equations</i>. 1996;4(3):283-292. doi:<a href=\"https://doi.org/10.1007/BF01254348\">10.1007/BF01254348</a>","apa":"Erdös, L. (1996). Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. <i>Calculus of Variations and Partial Differential Equations</i>. Springer. <a href=\"https://doi.org/10.1007/BF01254348\">https://doi.org/10.1007/BF01254348</a>","ieee":"L. Erdös, “Rayleigh-type isoperimetric inequality with a homogeneous magnetic field,” <i>Calculus of Variations and Partial Differential Equations</i>, vol. 4, no. 3. Springer, pp. 283–292, 1996.","chicago":"Erdös, László. “Rayleigh-Type Isoperimetric Inequality with a Homogeneous Magnetic Field.” <i>Calculus of Variations and Partial Differential Equations</i>. Springer, 1996. <a href=\"https://doi.org/10.1007/BF01254348\">https://doi.org/10.1007/BF01254348</a>.","short":"L. Erdös, Calculus of Variations and Partial Differential Equations 4 (1996) 283–292.","mla":"Erdös, László. “Rayleigh-Type Isoperimetric Inequality with a Homogeneous Magnetic Field.” <i>Calculus of Variations and Partial Differential Equations</i>, vol. 4, no. 3, Springer, 1996, pp. 283–92, doi:<a href=\"https://doi.org/10.1007/BF01254348\">10.1007/BF01254348</a>.","ista":"Erdös L. 1996. Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calculus of Variations and Partial Differential Equations. 4(3), 283–292."},"year":"1996","date_published":"1996-04-01T00:00:00Z","type":"journal_article","doi":"10.1007/BF01254348","day":"01","abstract":[{"text":"We prove that the two dimensional free magnetic Schrödinger operator, with a fixed constant magnetic field and Dirichlet boundary conditions on a planar domain with a given area, attains its smallest possible eigenvalue if the domain is a disk. We also give some rough bounds on the lowest magnetic eigenvalue of the disk.","lang":"eng"}],"publist_id":"4167"},{"date_updated":"2022-08-11T10:05:58Z","year":"1996","citation":{"ista":"Erdös L. 1996. Gaussian decay of the magnetic eigenfunctions. Geometric and Functional Analysis. 6(2), 231–248.","short":"L. Erdös, Geometric and Functional Analysis 6 (1996) 231–248.","mla":"Erdös, László. “Gaussian Decay of the Magnetic Eigenfunctions.” <i>Geometric and Functional Analysis</i>, vol. 6, no. 2, Birkhäuser, 1996, pp. 231–48, doi:<a href=\"https://doi.org/10.1007/BF02247886\">10.1007/BF02247886</a>.","chicago":"Erdös, László. “Gaussian Decay of the Magnetic Eigenfunctions.” <i>Geometric and Functional Analysis</i>. Birkhäuser, 1996. <a href=\"https://doi.org/10.1007/BF02247886\">https://doi.org/10.1007/BF02247886</a>.","ieee":"L. Erdös, “Gaussian decay of the magnetic eigenfunctions,” <i>Geometric and Functional Analysis</i>, vol. 6, no. 2. Birkhäuser, pp. 231–248, 1996.","ama":"Erdös L. Gaussian decay of the magnetic eigenfunctions. <i>Geometric and Functional Analysis</i>. 1996;6(2):231-248. doi:<a href=\"https://doi.org/10.1007/BF02247886\">10.1007/BF02247886</a>","apa":"Erdös, L. (1996). Gaussian decay of the magnetic eigenfunctions. <i>Geometric and Functional Analysis</i>. Birkhäuser. <a href=\"https://doi.org/10.1007/BF02247886\">https://doi.org/10.1007/BF02247886</a>"},"doi":"10.1007/BF02247886","day":"01","abstract":[{"text":"We investigate whether the eigenfunctions of the two-dimensional magnetic Schrödinger operator have a Gaussian decay of type exp(-Cx2) at infinity (the magnetic field is rotationally symmetric). We establish this decay if the energy (E) of the eigenfunction is below the bottom of the essential spectrum (B), and if the angular Fourier components of the external potential decay exponentially (real analyticity in the angle variable). We also demonstrate that almost the same decay is necessary. The behavior of C in the strong field limit and in the small (B - E) limit is also studied.","lang":"eng"}],"acknowledgement":"Partial support from the Hungarian National Foundation for Scientific Research, grant no. 1902.","volume":6,"extern":"1","_id":"2726","scopus_import":"1","author":[{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László"}],"issue":"2","publication_status":"published","date_created":"2018-12-11T11:59:17Z","article_processing_charge":"No","title":"Gaussian decay of the magnetic eigenfunctions","intvolume":"         6","page":"231 - 248","quality_controlled":"1","publisher":"Birkhäuser","article_type":"original","date_published":"1996-03-01T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["1016-443X"]},"publist_id":"4166","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publication":"Geometric and Functional Analysis","oa_version":"None","month":"03","language":[{"iso":"eng"}]},{"_id":"11761","publication":"Information Processing Letters","scopus_import":"1","author":[{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","first_name":"Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"last_name":"Williamson","first_name":"David P.","full_name":"Williamson, David P."}],"issue":"1","oa_version":"None","publication_status":"published","article_processing_charge":"No","date_created":"2022-08-08T11:49:48Z","title":"On the number of small cuts in a graph","month":"07","intvolume":"        59","page":"41-44","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"Elsevier","article_type":"original","date_updated":"2022-09-12T09:39:51Z","year":"1996","citation":{"mla":"Henzinger, Monika H., and David P. Williamson. “On the Number of Small Cuts in a Graph.” <i>Information Processing Letters</i>, vol. 59, no. 1, Elsevier, 1996, pp. 41–44, doi:<a href=\"https://doi.org/10.1016/0020-0190(96)00079-8\">10.1016/0020-0190(96)00079-8</a>.","short":"M.H. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.","ista":"Henzinger MH, Williamson DP. 1996. On the number of small cuts in a graph. Information Processing Letters. 59(1), 41–44.","apa":"Henzinger, M. H., &#38; Williamson, D. P. (1996). On the number of small cuts in a graph. <i>Information Processing Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0020-0190(96)00079-8\">https://doi.org/10.1016/0020-0190(96)00079-8</a>","ama":"Henzinger MH, Williamson DP. On the number of small cuts in a graph. <i>Information Processing Letters</i>. 1996;59(1):41-44. doi:<a href=\"https://doi.org/10.1016/0020-0190(96)00079-8\">10.1016/0020-0190(96)00079-8</a>","ieee":"M. H. Henzinger and D. P. Williamson, “On the number of small cuts in a graph,” <i>Information Processing Letters</i>, vol. 59, no. 1. Elsevier, pp. 41–44, 1996.","chicago":"Henzinger, Monika H, and David P. Williamson. “On the Number of Small Cuts in a Graph.” <i>Information Processing Letters</i>. Elsevier, 1996. <a href=\"https://doi.org/10.1016/0020-0190(96)00079-8\">https://doi.org/10.1016/0020-0190(96)00079-8</a>."},"date_published":"1996-07-08T00:00:00Z","type":"journal_article","doi":"10.1016/0020-0190(96)00079-8","publication_identifier":{"issn":["0020-0190"]},"day":"08","abstract":[{"lang":"eng","text":"We prove that in an undirected graph there are at most O(n²) cuts of size strictly less than of the size of the minimum cut."}],"volume":59,"extern":"1","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"date_published":"1996-01-01T00:00:00Z","type":"conference","date_updated":"2021-01-12T06:54:14Z","citation":{"mla":"Sazanov, Leonid A., et al. <i>Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts</i>. Vol. 2, Kluwer, 1996, pp. 705–08.","short":"L.A. Sazanov, P. Burrows, P.J. Nixon, in:, Kluwer, 1996, pp. 705–708.","ista":"Sazanov LA, Burrows P, Nixon PJ. 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. IPC: International Photosynthesis Congress, Photosynthesis: from light to biosphere, vol. 2, 705–708.","apa":"Sazanov, L. A., Burrows, P., &#38; 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.","ama":"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.","chicago":"Sazanov, Leonid A, P Burrows, and P J Nixon. “Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts,” 2:705–8. Kluwer, 1996.","ieee":"L. A. Sazanov, P. Burrows, and P. J. Nixon, “Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts,” presented at the IPC: International Photosynthesis Congress, 1996, vol. 2, pp. 705–708."},"year":"1996","publist_id":"5143","day":"01","extern":1,"status":"public","volume":2,"author":[{"orcid":"0000-0002-0977-7989","full_name":"Leonid Sazanov","first_name":"Leonid A","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Burrows","first_name":"P","full_name":"Burrows, P"},{"full_name":"Nixon, P J","last_name":"Nixon","first_name":"P J"}],"_id":"1942","title":"Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts","alternative_title":["Photosynthesis: from light to biosphere"],"month":"01","intvolume":"         2","publication_status":"published","date_created":"2018-12-11T11:54:50Z","page":"705 - 708","quality_controlled":0,"conference":{"name":"IPC: International Photosynthesis Congress"},"publisher":"Kluwer"},{"month":"01","oa_version":"None","publication":"Biochemical Society Transactions","language":[{"iso":"eng"}],"publist_id":"5131","publication_identifier":{"issn":["0300-5127"]},"date_published":"1996-01-01T00:00:00Z","type":"journal_article","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids","intvolume":"        24","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:54:53Z","author":[{"orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A","first_name":"Leonid A","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Burrows","first_name":"Paul","full_name":"Burrows, Paul"},{"full_name":"Nixon, Peter","last_name":"Nixon","first_name":"Peter"}],"issue":"3","_id":"1951","pmid":1,"scopus_import":"1","article_type":"original","publisher":"Portland Press","page":"739 - 743","quality_controlled":"1","doi":"10.1042/bst0240739","day":"01","external_id":{"pmid":["8878837"]},"date_updated":"2022-08-16T08:25:02Z","year":"1996","citation":{"ama":"Sazanov LA, Burrows P, Nixon P. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. <i>Biochemical Society Transactions</i>. 1996;24(3):739-743. doi:<a href=\"https://doi.org/10.1042/bst0240739\">10.1042/bst0240739</a>","apa":"Sazanov, L. A., Burrows, P., &#38; Nixon, P. (1996). Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. <i>Biochemical Society Transactions</i>. Portland Press. <a href=\"https://doi.org/10.1042/bst0240739\">https://doi.org/10.1042/bst0240739</a>","chicago":"Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” <i>Biochemical Society Transactions</i>. Portland Press, 1996. <a href=\"https://doi.org/10.1042/bst0240739\">https://doi.org/10.1042/bst0240739</a>.","ieee":"L. A. Sazanov, P. Burrows, and P. Nixon, “Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids,” <i>Biochemical Society Transactions</i>, vol. 24, no. 3. Portland Press, pp. 739–743, 1996.","mla":"Sazanov, Leonid A., et al. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” <i>Biochemical Society Transactions</i>, vol. 24, no. 3, Portland Press, 1996, pp. 739–43, doi:<a href=\"https://doi.org/10.1042/bst0240739\">10.1042/bst0240739</a>.","short":"L.A. Sazanov, P. Burrows, P. Nixon, Biochemical Society Transactions 24 (1996) 739–743.","ista":"Sazanov LA, Burrows P, Nixon P. 1996. Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. 24(3), 739–743."},"extern":"1","volume":24},{"publication":"Biochimica et Biophysica Acta - Bioenergetics","month":"01","oa_version":"None","language":[{"iso":"eng"}],"date_published":"1996-01-11T00:00:00Z","type":"journal_article","publist_id":"5132","publication_identifier":{"issn":["0005-2728"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","author":[{"full_name":"Bizouarn, Tania","last_name":"Bizouarn","first_name":"Tania"},{"orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A","first_name":"Leonid A","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Aubourg, Sébastien","first_name":"Sébastien","last_name":"Aubourg"},{"last_name":"Jackson","first_name":"Julie","full_name":"Jackson, Julie"}],"issue":"1","pmid":1,"_id":"1952","title":"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","intvolume":"      1273","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:54:53Z","page":"4 - 12","quality_controlled":"1","article_type":"original","publisher":"Elsevier","external_id":{"pmid":["8573594 "]},"date_updated":"2022-08-16T12:35:22Z","year":"1996","citation":{"ista":"Bizouarn T, Sazanov LA, 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. 1273(1), 4–12.","mla":"Bizouarn, Tania, et al. “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.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1273, no. 1, Elsevier, 1996, pp. 4–12, doi:<a href=\"https://doi.org/10.1016/0005-2728(95)00125-5\">10.1016/0005-2728(95)00125-5</a>.","short":"T. Bizouarn, L.A. Sazanov, S. Aubourg, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1273 (1996) 4–12.","ieee":"T. Bizouarn, L. A. Sazanov, S. Aubourg, and J. Jackson, “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,” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1273, no. 1. Elsevier, pp. 4–12, 1996.","chicago":"Bizouarn, Tania, Leonid A Sazanov, Sébastien Aubourg, and Julie Jackson. “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.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier, 1996. <a href=\"https://doi.org/10.1016/0005-2728(95)00125-5\">https://doi.org/10.1016/0005-2728(95)00125-5</a>.","ama":"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. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. 1996;1273(1):4-12. doi:<a href=\"https://doi.org/10.1016/0005-2728(95)00125-5\">10.1016/0005-2728(95)00125-5</a>","apa":"Bizouarn, T., Sazanov, L. A., Aubourg, S., &#38; 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. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier. <a href=\"https://doi.org/10.1016/0005-2728(95)00125-5\">https://doi.org/10.1016/0005-2728(95)00125-5</a>"},"abstract":[{"lang":"eng","text":"Two strains of Rhodospirillum rubrum were constructed in which, by a gene dosage effect, the transhydrogenase activity of isolated chromatophores was increased 7-10-fold and 15-20-fold, respectively. The H+/H- ratio (the ratio of protons translocated per hydride ion equivalent transferred from NADPH to an NAD+ analogue, acetyl pyridine adenine dinucleotide), determined by a spectroscopic technique, was approximately 1.0 for chromatophores from the over-expressing strains, but was only approximately 0.6 for wild-type chromatophores. Highly-coupled proteoliposomes were prepared containing purified transhydrogenase from beef-heart mitochondria. Using the same technique, the H+/H- ratio was close to 1.0 for these proteoliposomes. It is suggested that the mechanistic H+/H- ratio is indeed unity, but that a low ratio is obtained in wild-type chromatophores because of inhomogeneity in the vesicle population."}],"doi":"10.1016/0005-2728(95)00125-5","day":"11","extern":"1","volume":1273,"acknowledgement":"L.A.S. would like to thank the Wellcome Trust, and T.B., the Biotechnology and Biological Sciences Research Council, for financial support. We are very grateful to Nick Cotton for helpful advice."},{"conference":{"end_date":"1996-08-03","location":"New Brunswick, NJ, United States of America","name":"CAV: Computer Aided Verification","start_date":"1996-07-31"},"editor":[{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"}],"publisher":"Springer","language":[{"iso":"eng"}],"intvolume":"      1102","title":" 8th International Conference on Computer Aided Verification","month":"01","alternative_title":["LNCS"],"date_created":"2018-12-11T12:09:36Z","article_processing_charge":"No","oa_version":"None","publication_status":"published","_id":"4585","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","main_file_link":[{"url":"https://link.springer.com/book/10.1007/3-540-61474-5"}],"volume":1102,"publist_id":"122","day":"01","doi":"10.1007/3-540-61474-5","type":"conference_editor","date_published":"1996-01-01T00:00:00Z","year":"1996","citation":{"short":"T.A. Henzinger, R. Alur, eds.,  8th International Conference on Computer Aided Verification, Springer, 1996.","mla":"Henzinger, Thomas A., and Rajeev Alur, editors. <i> 8th International Conference on Computer Aided Verification</i>. Vol. 1102, Springer, 1996, doi:<a href=\"https://doi.org/10.1007/3-540-61474-5\">10.1007/3-540-61474-5</a>.","ista":"Henzinger TA, Alur R eds. 1996.  8th International Conference on Computer Aided Verification, Springer,p.","ama":"Henzinger TA, Alur R, eds. <i> 8th International Conference on Computer Aided Verification</i>. Vol 1102. Springer; 1996. doi:<a href=\"https://doi.org/10.1007/3-540-61474-5\">10.1007/3-540-61474-5</a>","apa":"Henzinger, T. A., &#38; Alur, R. (Eds.). (1996). <i> 8th International Conference on Computer Aided Verification</i> (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. <a href=\"https://doi.org/10.1007/3-540-61474-5\">https://doi.org/10.1007/3-540-61474-5</a>","chicago":"Henzinger, Thomas A, and Rajeev Alur, eds. <i> 8th International Conference on Computer Aided Verification</i>. Vol. 1102. Springer, 1996. <a href=\"https://doi.org/10.1007/3-540-61474-5\">https://doi.org/10.1007/3-540-61474-5</a>.","ieee":"T. A. Henzinger and R. Alur, Eds., <i> 8th International Conference on Computer Aided Verification</i>, vol. 1102. Springer, 1996."},"date_updated":"2022-07-06T07:38:10Z"},{"language":[{"iso":"eng"}],"page":"207 - 218","quality_controlled":"1","conference":{"name":"LICS: Logic in Computer Science","start_date":"1996-07-27","end_date":"1996-07-30","location":"New Brunswick, NJ, USA"},"publisher":"IEEE","author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publication":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","_id":"4588","scopus_import":"1","month":"01","title":"Reactive modules","oa_version":"None","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:09:37Z","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/561320"}],"date_published":"1996-01-01T00:00:00Z","type":"conference","date_updated":"2022-07-04T14:51:40Z","citation":{"chicago":"Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” In <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, 207–18. IEEE, 1996. <a href=\"https://doi.org/10.1109/LICS.1996.561320\">https://doi.org/10.1109/LICS.1996.561320</a>.","ieee":"R. Alur and T. A. Henzinger, “Reactive modules,” in <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, New Brunswick, NJ, USA, 1996, pp. 207–218.","ama":"Alur R, Henzinger TA. Reactive modules. In: <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 1996:207-218. doi:<a href=\"https://doi.org/10.1109/LICS.1996.561320\">10.1109/LICS.1996.561320</a>","apa":"Alur, R., &#38; Henzinger, T. A. (1996). Reactive modules. In <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i> (pp. 207–218). New Brunswick, NJ, USA: IEEE. <a href=\"https://doi.org/10.1109/LICS.1996.561320\">https://doi.org/10.1109/LICS.1996.561320</a>","ista":"Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218.","short":"R. Alur, T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–218.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, IEEE, 1996, pp. 207–18, doi:<a href=\"https://doi.org/10.1109/LICS.1996.561320\">10.1109/LICS.1996.561320</a>."},"year":"1996","abstract":[{"lang":"eng","text":"We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee) and hierarchical (stepwise refinement) reasoning. While synchronous models are based on a notion of atomic computation step, and asynchronous models remove that notion by introducing stuttering, our model is based on a flexible notion of what constitutes a computation step: by applying an abstraction operator to a system, arbitrarily many consecutive steps can be collapsed into a single step. The abstraction operator, which may turn an asynchronous system into a synchronous one, allows us to describe systems at various levels of temporal detail. For describing systems at various levels of spatial detail, we use a hiding operator that may turn a synchronous system into an asynchronous one. We illustrate the model with diverse examples from synchronous circuits, asynchronous shared-memory programs, and synchronous message passing"}],"publist_id":"121","doi":"10.1109/LICS.1996.561320","publication_identifier":{"issn":["0018-9162"]},"day":"01"},{"publication":"Journal of the ACM","oa_version":"None","month":"01","language":[{"iso":"eng"}],"date_published":"1996-01-01T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["0004-5411"]},"publist_id":"95","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/227595.227602"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4610","scopus_import":"1","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"last_name":"Feder","first_name":"Tomás","full_name":"Feder, Tomás"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"issue":"1","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:09:44Z","title":"The benefits of relaxing punctuality","intvolume":"        43","page":"116 - 146","quality_controlled":"1","publisher":"ACM","article_type":"original","date_updated":"2022-07-04T12:38:01Z","citation":{"ama":"Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. <i>Journal of the ACM</i>. 1996;43(1):116-146. doi:<a href=\"https://doi.org/10.1145/227595.227602\">10.1145/227595.227602</a>","apa":"Alur, R., Feder, T., &#38; Henzinger, T. A. (1996). The benefits of relaxing punctuality. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/227595.227602\">https://doi.org/10.1145/227595.227602</a>","ieee":"R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” <i>Journal of the ACM</i>, vol. 43, no. 1. ACM, pp. 116–146, 1996.","chicago":"Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” <i>Journal of the ACM</i>. ACM, 1996. <a href=\"https://doi.org/10.1145/227595.227602\">https://doi.org/10.1145/227595.227602</a>.","short":"R. Alur, T. Feder, T.A. Henzinger, Journal of the ACM 43 (1996) 116–146.","mla":"Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” <i>Journal of the ACM</i>, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:<a href=\"https://doi.org/10.1145/227595.227602\">10.1145/227595.227602</a>.","ista":"Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146."},"year":"1996","doi":"10.1145/227595.227602","day":"01","abstract":[{"text":"The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satisfiability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time difference between events only with finite, yet arbitrary, precision and show the resulting logic to be EXPSPACE-complete. This result allows us to develop an algorithm for the verification of timing properties of real-time systems with a dense semantics.","lang":"eng"}],"acknowledgement":"We wish to thank an anonymous referee for pointing out the PSPACE-fragment of Section 4.5. ","volume":43,"extern":"1"},{"_id":"4611","scopus_import":"1","author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"}],"issue":"3","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:09:45Z","title":"Automatic symbolic verification of embedded systems","intvolume":"        22","page":"181 - 201","quality_controlled":"1","publisher":"IEEE","article_type":"original","date_updated":"2022-07-04T12:47:05Z","year":"1996","citation":{"short":"R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.","mla":"Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” <i>IEEE Transactions on Software Engineering</i>, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:<a href=\"https://doi.org/10.1109/32.489079\">10.1109/32.489079</a>.","ista":"Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.","apa":"Alur, R., Henzinger, T. A., &#38; Ho, P. (1996). Automatic symbolic verification of embedded systems. <i>IEEE Transactions on Software Engineering</i>. IEEE. <a href=\"https://doi.org/10.1109/32.489079\">https://doi.org/10.1109/32.489079</a>","ama":"Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. <i>IEEE Transactions on Software Engineering</i>. 1996;22(3):181-201. doi:<a href=\"https://doi.org/10.1109/32.489079\">10.1109/32.489079</a>","chicago":"Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” <i>IEEE Transactions on Software Engineering</i>. IEEE, 1996. <a href=\"https://doi.org/10.1109/32.489079\">https://doi.org/10.1109/32.489079</a>.","ieee":"R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” <i>IEEE Transactions on Software Engineering</i>, vol. 22, no. 3. IEEE, pp. 181–201, 1996."},"doi":"10.1109/32.489079","day":"01","abstract":[{"lang":"eng","text":"Presents a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as hybrid automata-communicating machines with finite control and real-valued variables that represent continuous environment parameters such as time, pressure and temperature. The system requirements are specified in a temporal logic with stop-watches, and verified by symbolic fixpoint computation. The verification procedure-implemented in the Cornell Hybrid Technology tool, HyTech-applies to hybrid automata whose continuous dynamics is governed by linear constraints on the variables and their derivatives. We illustrate the method and the tool by checking safety, liveness, time-bounded and duration requirements of digital controllers, schedulers and distributed algorithms"}],"volume":22,"acknowledgement":"We thank Costas Courcoubetis, Nicolas Halbwachs, Peter Kopke, Joseph Sifakis, and Howard Wong-Toi for helpful\r\ndiscussions and valuable comments. Thomas A. Henzinger's research was supported in part by the U.S. Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by National Science Foundation grants CCR-9200794 and CCR-9504469, by U.S. Air Force Office of Scientific Research contract F49620-93-1- 0056, and by Advanced Research Projects Agency grant NAG2-892. ","extern":"1","publication":"IEEE Transactions on Software Engineering","oa_version":"Published Version","month":"03","language":[{"iso":"eng"}],"date_published":"1996-03-01T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["0018-9162"]},"oa":1,"publist_id":"96","main_file_link":[{"open_access":"1","url":"https://ecommons.cornell.edu/handle/1813/7170"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"extern":"1","status":"public","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","volume":1066,"place":"Berlin ; Heidelberg","date_published":"1996-01-01T00:00:00Z","type":"book_editor","date_updated":"2021-12-22T13:57:33Z","year":"1996","citation":{"ista":"Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p.","short":"R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlin ; Heidelberg, 1996.","mla":"Alur, Rajeev, et al., editors. <i>Hybrid Systems III: Verification and Control</i>. Vol. 1066, Springer, 1996, doi:<a href=\"https://doi.org/10.1007/BFb0020931\">10.1007/BFb0020931</a>.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0020931\">https://doi.org/10.1007/BFb0020931</a>.","ieee":"R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., <i>Hybrid Systems III: Verification and Control</i>, vol. 1066. Berlin ; Heidelberg: Springer, 1996.","ama":"Alur R, Henzinger TA, Sontag ED, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:<a href=\"https://doi.org/10.1007/BFb0020931\">10.1007/BFb0020931</a>","apa":"Alur, R., Henzinger, T. A., &#38; Sontag, E. D. (Eds.). (1996). <i>Hybrid Systems III: Verification and Control</i> (Vol. 1066). Berlin ; Heidelberg: Springer. <a href=\"https://doi.org/10.1007/BFb0020931\">https://doi.org/10.1007/BFb0020931</a>"},"publist_id":"97","doi":"10.1007/BFb0020931","day":"01","publication_identifier":{"issn":["0302-9743"],"isbn":["978-3-540-61155-4"]},"language":[{"iso":"eng"}],"page":"IX, 619","series_title":"Lecture Notes in Computer Science","quality_controlled":"1","publisher":"Springer","editor":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Sontag, Eduardo D","last_name":"Sontag","first_name":"Eduardo D"}],"_id":"4612","alternative_title":["LNCS"],"title":"Hybrid Systems III: Verification and Control","month":"01","intvolume":"      1066","oa_version":"None","publication_status":"published","date_created":"2018-12-11T12:09:45Z","article_processing_charge":"No"},{"extern":"1","volume":144,"external_id":{"pmid":["8889522"]},"date_updated":"2021-01-12T08:06:28Z","year":"1996","citation":{"short":"M. de Bono, J. Hodgkin, Genetics 144 (1996) 587–595.","mla":"de Bono, Mario, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” <i>Genetics</i>, vol. 144, no. 2, Genetics Society of America, 1996, pp. 587–95.","ista":"de Bono M, Hodgkin J. 1996. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 144(2), 587–595.","ama":"de Bono M, Hodgkin J. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. <i>Genetics</i>. 1996;144(2):587-595.","apa":"de Bono, M., &#38; Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. <i>Genetics</i>. Genetics Society of America.","ieee":"M. de Bono and J. Hodgkin, “Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences,” <i>Genetics</i>, vol. 144, no. 2. Genetics Society of America, pp. 587–595, 1996.","chicago":"Bono, Mario de, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” <i>Genetics</i>. Genetics Society of America, 1996."},"abstract":[{"text":"The tra-1 gene is a terminal regulator of somatic sex in Caenorhabditis elegans: high tra-1 activity elicits female development, low tra-1 activity elicits male development. To investigate the function and evolution of tra- 1, we examined the tra-1 gene from the closely related nematode C. briggsae. Ce-tra-1 and Cb-tra-1 are unusually divergent. Each gene generates two transcripts, but only one of these is present in both species. This common transcript encodes TRA-1A, which shows only 44% amino acid identity between the species, a figure much lower than that for previously compared genes. A Cb-tra-1 transgene rescues many tissues of tra-1(null) mutants of C. elegans but not the somatic gonad or germ line. This transgene also causes nongonadal feminization of XO animals, indicating incorrect sexual regulation. Alignment of Ce-TRA-1A and Cb-TRA-1A defined several conserved regions likely to be important for tra-1 function. The phenotype differences between Ce-tra- 1(null) mutants rescued by Cb-tra-1 transgenes and wild-type C. elegans indicate significant divergence of regulatory regions. These molecular and functional studies suggest that evolution of sex determination in nematodes is rapid and genetically complex.","lang":"eng"}],"day":"01","page":"587-595","quality_controlled":"1","publisher":"Genetics Society of America","author":[{"full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443","last_name":"de Bono","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Hodgkin, J.","first_name":"J.","last_name":"Hodgkin"}],"issue":"2","_id":"6161","pmid":1,"title":"Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences","intvolume":"       144","publication_status":"published","date_created":"2019-03-21T11:50:37Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","status":"public","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1207552/","open_access":"1"}],"date_published":"1996-10-01T00:00:00Z","type":"journal_article","oa":1,"publication_identifier":{"issn":["00166731"]},"language":[{"iso":"eng"}],"keyword":["amino acid sequence","article","caenorhabditis elegans","evolution","genetic variability","nonhuman","priority journal","sex determination","Amino Acid Sequence","Animals","Animals","Genetically Modified","Base Sequence","Caenorhabditis","Caenorhabditis elegans","Caenorhabditis elegans Proteins","DNA","Helminth","DNA-Binding Proteins","Evolution","Molecular","Female","Helminth Proteins","Membrane Proteins","Molecular Sequence Data","Mutagenesis","RNA","Messenger","Sequence Homology","Amino Acid","Sex Determination (Analysis)","Transcription Factors","Transgenes","Turner Syndrome","Animalia","Caenorhabditis","Caenorhabditis briggsae","Caenorhabditis elegans","Nematoda"],"publication":"Genetics","month":"10","oa_version":"Published Version"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","extern":"1","volume":1097,"abstract":[{"text":"This paper shows how a general technique, called lock-step search, used in dynamic graph algorithms, can be used to improve the running time of two problems arising in program verification and communication protocol design.\r\n(1)We consider the nonemptiness problem for Streett automata: We are given a directed graph G = (V, E) with n = ¦V¦ and m = ¦E¦, and a collection of pairs of subsets of vertices, called Streett pairs,〈L i , U i 〉, i = 1.k. The question is whether G has a cycle (not necessarily simple) which, for each 1 ≤ i ≤ k, if it contains a vertex from L i then it also contains a vertex of U i . Let b=Σ i=1..k |L i |+|U i |. The previously best algorithm takes time O((m + b) min{n, k}). We present an algorithm that takes time 𝑂(𝑚min{𝑚𝑙𝑜𝑔𝑛,‾‾‾‾‾‾√𝑘,𝑛}+𝑏𝑚𝑖𝑛{𝑙𝑜𝑔𝑛,𝑘}).\r\n(2)In communication protocol pruning we are given a directed graph G = (V, E) with l special vertices. The problem is to efficiently maintain the strongly-connected components of the special vertices on a restricted set of edge deletions. Let m i be the number of edges in the strongly connected component of the ith special vertex. The previously best algorithm repeatedly recomputes the strongly-connected components which leads to a running time of O(Σ i m 2i). We present an algorithm with time 𝑂(𝑙√∑𝑖𝑚1.5𝑖).","lang":"eng"}],"publication_identifier":{"eisbn":["9783540685296"],"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783540614227"]},"day":"01","doi":"10.1007/3-540-61422-2_117","type":"conference","date_published":"1996-07-01T00:00:00Z","year":"1996","citation":{"short":"M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.","mla":"Henzinger, Monika H., and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” <i>5th Scandinavian Workshop on Algorithm Theory</i>, vol. 1097, Springer Nature, 1996, pp. 16–27, doi:<a href=\"https://doi.org/10.1007/3-540-61422-2_117\">10.1007/3-540-61422-2_117</a>.","ista":"Henzinger MH, Telle JA. 1996. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. 5th Scandinavian Workshop on Algorithm Theory. SWAT: Scandinavian Workshop on Algorithm Theory, LNCS, vol. 1097, 16–27.","apa":"Henzinger, M. H., &#38; Telle, J. A. (1996). Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In <i>5th Scandinavian Workshop on Algorithm Theory</i> (Vol. 1097, pp. 16–27). Reykjavik, Iceland: Springer Nature. <a href=\"https://doi.org/10.1007/3-540-61422-2_117\">https://doi.org/10.1007/3-540-61422-2_117</a>","ama":"Henzinger MH, Telle JA. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: <i>5th Scandinavian Workshop on Algorithm Theory</i>. Vol 1097. Springer Nature; 1996:16–27. doi:<a href=\"https://doi.org/10.1007/3-540-61422-2_117\">10.1007/3-540-61422-2_117</a>","chicago":"Henzinger, Monika H, and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” In <i>5th Scandinavian Workshop on Algorithm Theory</i>, 1097:16–27. Springer Nature, 1996. <a href=\"https://doi.org/10.1007/3-540-61422-2_117\">https://doi.org/10.1007/3-540-61422-2_117</a>.","ieee":"M. H. Henzinger and J. A. Telle, “Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning,” in <i>5th Scandinavian Workshop on Algorithm Theory</i>, Reykjavik, Iceland, 1996, vol. 1097, pp. 16–27."},"date_updated":"2023-02-14T07:52:17Z","conference":{"start_date":"1996-07-03","name":"SWAT: Scandinavian Workshop on Algorithm Theory","location":"Reykjavik, Iceland","end_date":"1996-07-05"},"publisher":"Springer Nature","language":[{"iso":"eng"}],"quality_controlled":"1","page":"16–27","intvolume":"      1097","title":"Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning","alternative_title":["LNCS"],"month":"07","date_created":"2022-08-11T13:42:42Z","article_processing_charge":"No","publication_status":"published","oa_version":"None","author":[{"full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","first_name":"Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"last_name":"Telle","first_name":"Jan Arne","full_name":"Telle, Jan Arne"}],"scopus_import":"1","_id":"11804","publication":"5th Scandinavian Workshop on Algorithm Theory"}]
