[{"month":"12","quality_controlled":"1","oa":1,"extern":"1","article_processing_charge":"No","date_updated":"2022-08-04T11:45:04Z","doi":"10.1242/dev.123.1.179 ","publisher":"Company of Biologists","publication":"Development","article_type":"original","external_id":{"pmid":["9007239 "]},"oa_version":"Published Version","type":"journal_article","date_published":"1996-12-01T00:00:00Z","volume":123,"language":[{"iso":"eng"}],"year":"1996","date_created":"2018-12-11T12:07:40Z","day":"01","publist_id":"1899","publication_status":"published","author":[{"full_name":"Brand, Michael","first_name":"Michael","last_name":"Brand"},{"full_name":"Heisenberg, Carl-Philipp J","first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566"},{"last_name":"Jiang","full_name":"Jiang, Yunjin","first_name":"Yunjin"},{"full_name":"Beuchle, Dirk","first_name":"Dirk","last_name":"Beuchle"},{"first_name":"Klaus","full_name":"Lun, Klaus","last_name":"Lun"},{"first_name":"Makoto","full_name":"Furutani Seiki, Makoto","last_name":"Furutani Seiki"},{"last_name":"Granato","first_name":"Michael","full_name":"Granato, Michael"},{"last_name":"Haffter","first_name":"Pascal","full_name":"Haffter, Pascal"},{"last_name":"Hammerschmidt","first_name":"Matthias","full_name":"Hammerschmidt, Matthias"},{"full_name":"Kane, Donald","first_name":"Donald","last_name":"Kane"},{"full_name":"Kelsh, Robert","first_name":"Robert","last_name":"Kelsh"},{"last_name":"Mullins","first_name":"Mary","full_name":"Mullins, Mary"},{"full_name":"Odenthal, Jörg","first_name":"Jörg","last_name":"Odenthal"},{"first_name":"Fredericus","full_name":"Van Eeden, Fredericus","last_name":"Van Eeden"},{"first_name":"Christiane","full_name":"Nüsslein Volhard, Christiane","last_name":"Nüsslein Volhard"}],"page":"179 - 190","pmid":1,"acknowledgement":"We would like to thank our colleagues in the zebrafish community for generously sharing antibodies and probes, in particular Terje Johannsen, Vladimir Korzh, Stefan Krauss and Ingvild Mikkola, as well as Christine Dreyer, Nigel Holder, Tom Jessel, Trevor Jowett, Anders Molven, Eric Weinberg and Monte Westerfield. M.B would like to thank his colleagues for numerous discussions, and Francisco Pelegri, Suresh Jesuthasan and Luis Puelles for comments on the\r\nmanuscipt. Thanks also to Peter Andermann and Eric Weinberg, who helped in the analysis of Zash expression, and especially to Corinne Houart, for her lovely in situ protocol and many discussions. Silke Hein helped greatly in final stages of this work. M.B. was supported by a Helmholtz stipend of the BMFT.","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","abstract":[{"lang":"eng","text":"Mutations in two genes affect the formation of the boundary between midbrain and hindbrain (MHB): no isthmus (noi) and acerebellar (ace), noi mutant embryos lack the MHB constriction, the cerebellum and optic tectum, as well as the pronephric duct. Analysis of noi mutant embryos with neuron-specific antibodies shows that the MHB region and the dorsal and ventral midbrain are absent or abnormal, but that the rostral hindbrain is unaffected with the exception of the cerebellum, Using markers that are expressed during its formation (eng, wnt1 and pax-b), we find that the MHB region is already misspecified in noi mutant embryos during late gastrulation. The tectum is initially present and later degenerates, The defect in ace mutant embryos is more restricted: MHB and cerebellum are absent, but a tectum is formed, Molecular organisation of the tectum and tegmentum is disturbed, however, since eng, wntl and pax-b marker gene expression is not maintained, We propose that noi and ace are required for development of the MHB region and of the adjacent mid- and hindbrain, which are thought to be patterned by the MHB region, Presence of pax-b RNA, and absence of pax-b protein, together with the observation of genetic linkage and the occurrence of a point mutation, show that noi mutations are located in the pax-b gene, pax-b is a vertebrate orthologue of the Drosophila gene paired, which is involved in a pathway of cellular interactions at the posterior compartment boundary in Drosophila, Our results confirm and extend a previous report, and show that at least one member of this conserved signalling pathway is required for formation of the boundary between midbrain and hindbrain in the zebrafish."}],"title":"Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain","_id":"4219","citation":{"ieee":"M. Brand et al., “Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain,” Development, vol. 123, no. 1. Company of Biologists, pp. 179–190, 1996.","short":"M. Brand, C.-P.J. Heisenberg, Y. Jiang, D. Beuchle, K. Lun, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 179–190.","ista":"Brand M, Heisenberg C-PJ, Jiang Y, Beuchle D, Lun K, Furutani Seiki M, Granato M, Haffter P, Hammerschmidt M, Kane D, Kelsh R, Mullins M, Odenthal J, Van Eeden F, Nüsslein Volhard C. 1996. Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. 123(1), 179–190.","apa":"Brand, M., Heisenberg, C.-P. J., Jiang, Y., Beuchle, D., Lun, K., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.179 ","chicago":"Brand, Michael, Carl-Philipp J Heisenberg, Yunjin Jiang, Dirk Beuchle, Klaus Lun, Makoto Furutani Seiki, Michael Granato, et al. “Mutations in Zebrafish Genes Affecting the Formation of the Boundary between Midbrain and Hindbrain.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.179 .","ama":"Brand M, Heisenberg C-PJ, Jiang Y, et al. Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. 1996;123(1):179-190. doi:10.1242/dev.123.1.179 ","mla":"Brand, Michael, et al. “Mutations in Zebrafish Genes Affecting the Formation of the Boundary between Midbrain and Hindbrain.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 179–90, doi:10.1242/dev.123.1.179 ."},"intvolume":" 123","main_file_link":[{"url":"https://journals.biologists.com/dev/article/123/1/179/39324/Mutations-in-zebrafish-genes-affecting-the","open_access":"1"}],"status":"public","scopus_import":"1","publication_identifier":{"issn":["0950-1991"]},"issue":"1"},{"citation":{"apa":"Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.255 ","ista":"Van Eeden F, Granato M, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Warga R, Nüsslein Volhard C. 1996. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 123(1), 255–262.","ieee":"F. Van Eeden et al., “Genetic analysis of fin formation in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 255–262, 1996.","short":"F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 255–262.","mla":"Van Eeden, Fredericus, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 255–62, doi:10.1242/dev.123.1.255 .","ama":"Van Eeden F, Granato M, Schach U, et al. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 1996;123(1):255-262. doi:10.1242/dev.123.1.255 ","chicago":"Van Eeden, Fredericus, Michael Granato, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, Matthias Hammerschmidt, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.255 ."},"intvolume":" 123","main_file_link":[{"open_access":"1","url":"https://journals.biologists.com/dev/article/123/1/255/39327/Genetic-analysis-of-fin-formation-in-the-zebrafish"}],"status":"public","pmid":1,"title":"Genetic analysis of fin formation in the zebrafish, Danio rerio","_id":"4220","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","abstract":[{"lang":"eng","text":"In the zebrafish, Danio rerio, a caudal and pectoral fin fold develop during embryogenesis. At larval stages the caudal fin fold is replaced by four different fins, the unpaired anal, dorsal and tail fins. In addition the paired pelvic fins are formed, We have identified a total of 118 mutations affecting larval fin formation, Mutations in 11 genes lead to abnormal morphology or degeneration of both caudal and pectoral fin folds, Most mutants survive to adulthood and form a surprisingly normal complement of adult fins, Mutations in nine genes result in an increased or reduced size of the pectoral fins, Interestingly, in mutants of one of these genes, dackel (dak), pectoral fin buds form initially, but later the fin epithelium fails to expand, Expression of sonic hedgehog mRNA in the posterior mesenchyme of the pectoral fin bud is initiated in dak embryos, but not maintained, Mutations in five other genes affect adult fin but not larval fin development, Two mutants, longfin (lof) and another longfin (alf) have generally longer fins. Stein und bein (sub) has reduced dorsal and pelvic fins, whereas finless (fls) and wanda (wan) mutants affect all adult fins, Finally, mutations in four genes causing defects in embryonic skin formation will be briefly reported."}],"publication_identifier":{"issn":["0950-1991"]},"issue":"1","scopus_import":"1","article_type":"original","external_id":{"pmid":["9007245 "]},"oa_version":"Published Version","type":"journal_article","date_published":"1996-12-01T00:00:00Z","volume":123,"oa":1,"quality_controlled":"1","extern":"1","month":"12","date_updated":"2022-08-04T10:01:17Z","doi":"10.1242/dev.123.1.255 ","publisher":"Company of Biologists","publication":"Development","article_processing_charge":"No","day":"01","publication_status":"published","publist_id":"1896","date_created":"2018-12-11T12:07:40Z","page":"255 - 262","author":[{"full_name":"Van Eeden, Fredericus","first_name":"Fredericus","last_name":"Van Eeden"},{"full_name":"Granato, Michael","first_name":"Michael","last_name":"Granato"},{"last_name":"Schach","full_name":"Schach, Ursula","first_name":"Ursula"},{"last_name":"Brand","full_name":"Brand, Michael","first_name":"Michael"},{"last_name":"Furutani Seiki","full_name":"Furutani Seiki, Makoto","first_name":"Makoto"},{"full_name":"Haffter, Pascal","first_name":"Pascal","last_name":"Haffter"},{"full_name":"Hammerschmidt, Matthias","first_name":"Matthias","last_name":"Hammerschmidt"},{"orcid":"0000-0002-0912-4566","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"},{"first_name":"Yunjin","full_name":"Jiang, Yunjin","last_name":"Jiang"},{"last_name":"Kane","first_name":"Donald","full_name":"Kane, Donald"},{"last_name":"Kelsh","first_name":"Robert","full_name":"Kelsh, Robert"},{"first_name":"Mary","full_name":"Mullins, Mary","last_name":"Mullins"},{"last_name":"Odenthal","full_name":"Odenthal, Jörg","first_name":"Jörg"},{"first_name":"Rachel","full_name":"Warga, Rachel","last_name":"Warga"},{"last_name":"Nüsslein Volhard","full_name":"Nüsslein Volhard, Christiane","first_name":"Christiane"}],"language":[{"iso":"eng"}],"year":"1996"},{"article_type":"original","oa_version":"Published Version","external_id":{"pmid":["9007237 "]},"date_published":"1996-12-01T00:00:00Z","type":"journal_article","volume":123,"month":"12","quality_controlled":"1","oa":1,"extern":"1","article_processing_charge":"No","date_updated":"2022-08-04T09:29:56Z","doi":"10.1242/dev.123.1.153","publisher":"Company of Biologists","publication":"Development","date_created":"2018-12-11T12:07:41Z","day":"01","publication_status":"published","publist_id":"1895","author":[{"first_name":"Fredericus","full_name":"Van Eeden, Fredericus","last_name":"Van Eeden"},{"last_name":"Granato","first_name":"Michael","full_name":"Granato, Michael"},{"full_name":"Schach, Ursula","first_name":"Ursula","last_name":"Schach"},{"last_name":"Brand","full_name":"Brand, Michael","first_name":"Michael"},{"full_name":"Furutani Seiki, Makoto","first_name":"Makoto","last_name":"Furutani Seiki"},{"full_name":"Haffter, Pascal","first_name":"Pascal","last_name":"Haffter"},{"first_name":"Matthias","full_name":"Hammerschmidt, Matthias","last_name":"Hammerschmidt"},{"orcid":"0000-0002-0912-4566","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"},{"full_name":"Jiang, Yunjin","first_name":"Yunjin","last_name":"Jiang"},{"last_name":"Kane","first_name":"Donald","full_name":"Kane, Donald"},{"first_name":"Robert","full_name":"Kelsh, Robert","last_name":"Kelsh"},{"last_name":"Mullins","full_name":"Mullins, Mary","first_name":"Mary"},{"first_name":"Jörg","full_name":"Odenthal, Jörg","last_name":"Odenthal"},{"last_name":"Warga","full_name":"Warga, Rachel","first_name":"Rachel"},{"first_name":"Miguel","full_name":"Allende, Miguel","last_name":"Allende"},{"first_name":"Eric","full_name":"Weinberg, Eric","last_name":"Weinberg"},{"first_name":"Christiane","full_name":"Nüsslein Volhard, Christiane","last_name":"Nüsslein Volhard"}],"page":"153 - 164","language":[{"iso":"eng"}],"year":"1996","citation":{"mla":"Van Eeden, Fredericus, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 153–64, doi:10.1242/dev.123.1.153.","ama":"Van Eeden F, Granato M, Schach U, et al. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. 1996;123(1):153-164. doi:10.1242/dev.123.1.153","chicago":"Van Eeden, Fredericus, Michael Granato, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, Matthias Hammerschmidt, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.” Development. Company of Biologists, 1996. https://doi.org/10.1242/dev.123.1.153.","apa":"Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.153","ista":"Van Eeden F, Granato M, Schach U, Brand M, Furutani Seiki M, Haffter P, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Kelsh R, Mullins M, Odenthal J, Warga R, Allende M, Weinberg E, Nüsslein Volhard C. 1996. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. 123(1), 153–164.","ieee":"F. Van Eeden et al., “Mutations affecting somite formation and patterning in the zebrafish, Danio rerio,” Development, vol. 123, no. 1. Company of Biologists, pp. 153–164, 1996.","short":"F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 153–164."},"intvolume":" 123","main_file_link":[{"open_access":"1","url":"https://journals.biologists.com/dev/article/123/1/153/39329/Mutations-affecting-somite-formation-and"}],"status":"public","pmid":1,"acknowledgement":"We would like to thank P. Ingham and T. Whitfield for valuable comments on the manuscript and cDNA probes, S. Schulte-Merker for the Ntl antibody and J. Eisen and R. BreMiller for the znp-1 antibody.","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","abstract":[{"lang":"eng","text":"Somitogenesis is the basis of segmentation of the mesoderm in the trunk and tail of vertebrate embryos, Two groups of mutants with defects in this patterning process have been isolated in our screen for zygotic mutations affecting the embryonic development of the zebrafish (Danio rerio), In mutants of the first group, boundaries between individual somites are invisible early on, although the paraxial mesoderm is present, Later, irregular boundaries between somites are present, Mutations infused somites (fss) and beamter (bea) affect all somites, whereas mutations in deadly seven (des), after eight (aei) and white tail (wit) only affect the more posterior somites, Mutants of all genes but wit are homozygous viable and fertile, Skeletal stainings and the expression pattern of myoD and snail1 suggest that anteroposterior patterning within individual somites is abnormal, In the second group of mutants, formation of the horizontal myoseptum, which separates the dorsal and ventral part of the myotome, is reduced, Six genes have been defined in this group (you-type genes), yea-too mutants show the most severe phenotype; in these the adaxial cells, muscle pioneers and the primary motoneurons are affected, in addition to the horizontal myoseptum. The horizontal myoseptum is also missing in mutants that lack a notochord. The similarity of the somite phenotype in mutants lacking the notochord and in the you-type mutants suggests that the genes mutated in these two groups are involved in a signaling pathway from the notochord, important for patterning of the somites."}],"title":"Mutations affecting somite formation and patterning in the zebrafish, Danio rerio","_id":"4222","publication_identifier":{"issn":["0950-1991"]},"issue":"1","scopus_import":"1"},{"main_file_link":[{"url":"https://royalsocietypublishing.org/doi/abs/10.1098/rspb.1996.0200"}],"citation":{"chicago":"Partridge, Linda, and Nicholas H Barton. “On Measuring the Rate of Ageing.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London, 1996. https://doi.org/10.1098/rspb.1996.0200.","ama":"Partridge L, Barton NH. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 1996;263(1375):1365-1371. doi:10.1098/rspb.1996.0200","mla":"Partridge, Linda, and Nicholas H. Barton. “On Measuring the Rate of Ageing.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375, Royal Society of London, 1996, pp. 1365–71, doi:10.1098/rspb.1996.0200.","short":"L. Partridge, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 263 (1996) 1365–1371.","ieee":"L. Partridge and N. H. Barton, “On measuring the rate of ageing,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375. Royal Society of London, pp. 1365–1371, 1996.","ista":"Partridge L, Barton NH. 1996. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 263(1375), 1365–1371.","apa":"Partridge, L., & Barton, N. H. (1996). On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London. https://doi.org/10.1098/rspb.1996.0200"},"intvolume":" 263","oa_version":"None","status":"public","volume":263,"date_published":"1996-10-22T00:00:00Z","type":"journal_article","extern":"1","quality_controlled":"1","month":"10","_id":"4292","publication":"Proceedings of the Royal Society of London Series B Biological Sciences","date_updated":"2022-07-04T12:59:56Z","doi":"10.1098/rspb.1996.0200","title":"On measuring the rate of ageing","publisher":"Royal Society of London","abstract":[{"lang":"eng","text":"Ageing, or senescence, is a decline in state at later ages that is manifested through a reduction in survival and fecundity. Ageing means that reproductive prospects and hence the life history options (trade-offs) open to the organism decline. Evolutionary theories of ageing suggest that it evolves in response to the level of externally imposed mortality and insults to fertility, either as part of life history optimization or as a result of mutation pressure. Several recent empirical and theoretical studies have produced apparently anomalous results. Some have suggested that the rate of ageing can decline at later ages, others that demographic evidence for ageing can appear in parallel with an improvement in state. All of these studies used measures of ageing that would not be expected to give an accurate reflection of changes in the state of the organism with age. We propose that Fisher's `reproductive value' is a natural measure of state at each age, which includes prospects for both survival and reproduction. If this measure is used, the apparently anomalous findings are not at variance with evolutionary theories of ageing."}],"article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publist_id":"1786","publication_status":"published","day":"22","publication_identifier":{"issn":["0950-1193"]},"date_created":"2018-12-11T12:08:05Z","page":"1365 - 1371","issue":"1375","author":[{"full_name":"Partridge, Linda","first_name":"Linda","last_name":"Partridge"},{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton"}],"language":[{"iso":"eng"}],"year":"1996"},{"oa_version":"None","external_id":{"pmid":["8748019"]},"citation":{"chicago":"Barton, Nicholas H, and Ian Wilson. “Genealogies and Geography.” In New Uses for New Phylogenies, 23–56. Oxford University Press, 1996. https://doi.org/10.1098/rstb.1995.0090.","ama":"Barton NH, Wilson I. Genealogies and geography. In: New Uses for New Phylogenies. Oxford University Press; 1996:23-56. doi:10.1098/rstb.1995.0090","mla":"Barton, Nicholas H., and Ian Wilson. “Genealogies and Geography.” New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56, doi:10.1098/rstb.1995.0090.","short":"N.H. Barton, I. Wilson, in:, New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56.","ieee":"N. H. Barton and I. Wilson, “Genealogies and geography,” in New uses for new phylogenies, Oxford University Press, 1996, pp. 23–56.","ista":"Barton NH, Wilson I. 1996.Genealogies and geography. In: New uses for new phylogenies. , 23–56.","apa":"Barton, N. H., & Wilson, I. (1996). Genealogies and geography. In New uses for new phylogenies (pp. 23–56). Oxford University Press. https://doi.org/10.1098/rstb.1995.0090"},"date_published":"1996-01-01T00:00:00Z","type":"book_chapter","status":"public","pmid":1,"month":"01","extern":"1","quality_controlled":"1","abstract":[{"text":"Any sample of genes traces back to a single common ancestor. Each gene also has other properties: its sequence, its geographic location and the phenotype and fitness of the organism that carries it. With sexual reproduction, different genes have different genealogies, which gives us much more information, but also greatly complicates population genetic analysis. We review the close relation between the distribution of genealogies and the classic theory of identity by descent in spatially structured populations, and develop a simple diffusion approximation to the distribution of coalescence times in a homogeneous two-dimensional habitat. This shows that when neighbourhood size is large (as in most populations) only a small fraction of pairs of genes are closely related, and only this fraction gives information about current rates of gene flow. The increase of spatial dispersion with lineage age is thus a poor estimator of gene flow. The bulk of the genealogy depends on the long-term history of the population; we discuss ways of inferring this history from the concordance between genealogies across loci.","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","publication":"New uses for new phylogenies","_id":"4294","date_updated":"2022-08-04T08:59:18Z","publisher":"Oxford University Press","doi":"10.1098/rstb.1995.0090","title":"Genealogies and geography","date_created":"2018-12-11T12:08:05Z","publication_identifier":{"isbn":["978-0198549840"]},"publist_id":"1783","publication_status":"published","day":"01","author":[{"full_name":"Barton, Nicholas H","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","last_name":"Barton"},{"last_name":"Wilson","first_name":"Ian","full_name":"Wilson, Ian"}],"page":"23 - 56","language":[{"iso":"eng"}],"year":"1996"},{"article_processing_charge":"No","publication":"Current Biology","doi":"10.1016/S0960-9822(02)70707-0","date_updated":"2022-07-07T09:28:28Z","publisher":"Cell Press","month":"10","extern":"1","quality_controlled":"1","oa":1,"volume":6,"type":"book_chapter","date_published":"1996-10-01T00:00:00Z","external_id":{"pmid":["8939554"]},"oa_version":"Published Version","language":[{"iso":"eng"}],"year":"1996","author":[{"last_name":"Barton","orcid":"0000-0002-8548-5240","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","full_name":"Barton, Nicholas H"}],"page":"1244 - 1246","date_created":"2018-12-11T12:08:06Z","publication_status":"published","publist_id":"1781","day":"01","abstract":[{"lang":"eng","text":"Genetic studies are beginning to provide insights into the evolutionary processes that reduce the fitness of hybrids between recently diverged species. However, the deleterious gene interactions responsible for this fitness reduction are still poorly understood."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4295","title":"Speciation: more than the sum of its parts","pmid":1,"acknowledgement":"Thanks to Brian Charlesworth, Jerry Coyne, Allen Orr and Michael Turelli for their comments on this note, and to the BBSRC and NERC for financial support.","status":"public","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0960982202707070?via%3Dihub"}],"intvolume":" 6","citation":{"ista":"Barton NH. 1996.Speciation: more than the sum of its parts. In: Current Biology. vol. 6, 1244–1246.","apa":"Barton, N. H. (1996). Speciation: more than the sum of its parts. In Current Biology (Vol. 6, pp. 1244–1246). Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0","short":"N.H. Barton, in:, Current Biology, Cell Press, 1996, pp. 1244–1246.","ieee":"N. H. Barton, “Speciation: more than the sum of its parts,” in Current Biology, vol. 6, Cell Press, 1996, pp. 1244–1246.","ama":"Barton NH. Speciation: more than the sum of its parts. In: Current Biology. Vol 6. Cell Press; 1996:1244-1246. doi:10.1016/S0960-9822(02)70707-0","mla":"Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” Current Biology, vol. 6, Cell Press, 1996, pp. 1244–46, doi:10.1016/S0960-9822(02)70707-0.","chicago":"Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” In Current Biology, 6:1244–46. Cell Press, 1996. https://doi.org/10.1016/S0960-9822(02)70707-0."},"scopus_import":"1","publication_identifier":{"issn":["0960-9822"]}},{"abstract":[{"text":"A {\\em hybrid automaton\\/} consists of a finite automaton interacting with a dynamical system. Hybrid automata are used to model embedded controllers and other systems that consist of interacting discrete and continuous components. A hybrid automaton is {\\em rectangular\\/} if each of its continuous variables~x satisfies a nondeterministic differential equation of the form a≤dxdt≤b, where a and~b are rational constants. Rectangular hybrid automata are particularly useful for the analysis of communication protocols in which local clocks have bounded drift, and for the conservative approximation of systems with more complex continuous behavior. We examine several verification problems on the class of rectangular hybrid automata, including reachability, temporal logic model checking, and controller synthesis. Both dense-time and discrete-time models are considered. We identify subclasses of rectangular hybrid automata for which these problems are decidable and give complexity analyses. An investigation of the structural properties of rectangular hybrid automata is undertaken. One method for proving the decidability of verification problems on infinite-state systems is to find finite quotient systems on which analysis can proceed. Three state-space equivalence relations with strong connections to temporal logic are bisimilarity, similarity, and language equivalence. We characterize the quotient spaces of rectangular hybrid automata with respect to these equivalence relations.","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","_id":"4419","title":"The Theory of Rectangular Hybrid Automata","date_updated":"2022-07-06T15:11:24Z","publisher":"Cornell University","month":"01","extern":"1","date_published":"1996-01-01T00:00:00Z","type":"dissertation","status":"public","oa_version":"None","citation":{"mla":"Kopke, Peter. The Theory of Rectangular Hybrid Automata. Cornell University, 1996.","ama":"Kopke P. The Theory of Rectangular Hybrid Automata. 1996.","chicago":"Kopke, Peter. “The Theory of Rectangular Hybrid Automata.” Cornell University, 1996.","apa":"Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.","ista":"Kopke P. 1996. The Theory of Rectangular Hybrid Automata. Cornell University.","short":"P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.","ieee":"P. Kopke, “The Theory of Rectangular Hybrid Automata,” Cornell University, 1996."},"language":[{"iso":"eng"}],"year":"1996","supervisor":[{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger"}],"author":[{"full_name":"Kopke, Peter","first_name":"Peter","last_name":"Kopke"}],"date_created":"2018-12-11T12:08:45Z","publication_status":"published","publist_id":"312","day":"01"},{"publication_identifier":{"isbn":["9783540611554"]},"_id":"4426","title":"Linear phase-portrait approximations for nonlinear hybrid systems","abstract":[{"lang":"eng","text":"We use linear hybrid automata to define linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for which linear phase-portrait approximations can be generated automatically."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","status":"public","editor":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"last_name":"Sontag","first_name":"Eduardo","full_name":"Sontag, Eduardo"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0020961"}],"intvolume":" 1066","citation":{"ama":"Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996:377-388. doi:10.1007/BFb0020961","mla":"Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” In Hybrid Systems III: Verification and Control, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996. https://doi.org/10.1007/BFb0020961.","ista":"Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066, 377–388.","apa":"Henzinger, T. A., & Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, & E. Sontag (Eds.), Hybrid Systems III: Verification and Control (Vol. 1066, pp. 377–388). Springer. https://doi.org/10.1007/BFb0020961","ieee":"T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in Hybrid Systems III: Verification and Control, 1996, vol. 1066, pp. 377–388.","short":"T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388."},"language":[{"iso":"eng"}],"year":"1996","page":"377 - 388","alternative_title":["LNCS"],"author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"first_name":"Howard","full_name":"Wong Toi, Howard","last_name":"Wong Toi"}],"publication_status":"published","publist_id":"302","day":"01","date_created":"2018-12-11T12:08:47Z","publication":"Hybrid Systems III: Verification and Control","doi":"10.1007/BFb0020961","publisher":"Springer","date_updated":"2022-07-06T09:58:25Z","article_processing_charge":"No","extern":"1","quality_controlled":"1","month":"01","volume":1066,"type":"conference","date_published":"1996-01-01T00:00:00Z","oa_version":"None"},{"year":"1996","language":[{"iso":"eng"}],"author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Wong Toi, Howard","first_name":"Howard","last_name":"Wong Toi"}],"alternative_title":["LNCS"],"page":"265 - 282","date_created":"2018-12-11T12:08:48Z","publication_status":"published","publist_id":"303","day":"01","article_processing_charge":"No","publication":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","doi":"10.1007/BFb0027241","publisher":"Springer","date_updated":"2022-07-06T10:06:19Z","month":"01","extern":"1","quality_controlled":"1","volume":1165,"type":"book_chapter","date_published":"1996-01-01T00:00:00Z","oa_version":"None","publication_identifier":{"isbn":["9783540495666"]},"abstract":[{"text":"We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we define and verify a controller that maintains safe operation of the boiler. The less abstract model permits the design of a more efficient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize control parameter constraints that guarantee safety of the boiler.","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4427","title":"Using HyTech to synthesize control parameters for a steam boiler","acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","status":"public","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0027241"}],"intvolume":" 1165","citation":{"ama":"Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Vol 1165. Springer; 1996:265-282. doi:10.1007/BFb0027241","mla":"Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1165:265–82. Springer, 1996. https://doi.org/10.1007/BFb0027241.","ista":"Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.","apa":"Henzinger, T. A., & Wong Toi, H. (1996). Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Vol. 1165, pp. 265–282). Springer. https://doi.org/10.1007/BFb0027241","ieee":"T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters for a steam boiler,” in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–282.","short":"T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282."}},{"year":"1996","language":[{"iso":"eng"}],"publist_id":"288","publication_status":"published","day":"01","date_created":"2018-12-11T12:08:52Z","alternative_title":["LNCS"],"page":"530 - 545","conference":{"location":"Pisa, Italy","end_date":"1996-08-29","start_date":"1996-08-26","name":"CONCUR: Concurrency Theory"},"author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Kopke, Peter","first_name":"Peter","last_name":"Kopke"}],"extern":"1","quality_controlled":"1","month":"01","publication":"7th International Conference on Concurrency Theory","date_updated":"2022-07-06T08:43:23Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","doi":"10.1007/3-540-61604-7_74","article_processing_charge":"No","oa_version":"None","volume":1119,"date_published":"1996-01-01T00:00:00Z","type":"conference","publication_identifier":{"isbn":["9783540616047"]},"acknowledgement":"This research was supported in part by ONR Young Investigator award N00014-95-1-0520, by NSF CAREER award CCR-9501708, by NSF grant CCR-9504469, by Air Force Office of Scientific Research contract F49620-93-1-0056, by ARPA grant NAG2-892, and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.","_id":"4443","title":"State equivalences for rectangular hybrid automata","abstract":[{"lang":"eng","text":"Three natural equivalence relations on the infinite state space of a hybrid automaton are language equivalence, simulation equivalence, and bisimulation equivalence. When one of these equivalence relations has a finite quotient, certain model checking and controller synthesis problems are decidable. When bounds on the number of equivalence classes are obtained, bounds on the running times of model checking and synthesis algorithms follow as corollaries.\r\nWe characterize the time-abstract versions of these equivalence relations on the state spaces of rectangular hybrid automata (RHA), in which each continuous variable is a clock with bounded drift. These automata are useful for modeling communications protocols with drifting local clocks, and for the conservative approximation of more complex hybrid systems. Of our two main results, one has positive implications for automatic verification, and the other has negative implications. On the positive side, we find that the (finite) language equivalence quotient for RHA is coarser than was previously known by a multiplicative exponential factor. On the negative side, we show that simulation equivalence for RHA is equality (which obviously has an infinite quotient).\r\nOur main positive result is established by analyzing a subclass of timed automata, called one-sided timed automata (OTA), for which the language equivalence quotient is coarser than for the class of all timed automata. An exact characterization of language equivalence for OTA requires a distinction between synchronous and asynchronous definitions of (bi)simulation: if time actions are silent, then the induced quotient for OTA is coarser than if time actions (but not their durations) are visible."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-61604-7_74"}],"intvolume":" 1119","citation":{"ama":"Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74","mla":"Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.","chicago":"Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” In 7th International Conference on Concurrency Theory, 1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_74.","ista":"Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545.","apa":"Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular hybrid automata. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_74","ieee":"T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 530–545.","short":"T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545."},"status":"public"},{"publication_identifier":{"isbn":["978-3-540-70625-0"]},"status":"public","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-61604-7_73"}],"intvolume":" 1119","citation":{"ieee":"T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 514–529.","short":"T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.","apa":"Henzinger, T. A., Kupferman, O., & Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73","ista":"Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.","chicago":"Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” In 7th International Conference on Concurrency Theory, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_73.","mla":"Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.","ama":"Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73"},"_id":"4495","title":"A space-efficient on-the-fly algorithm for real-time model checking","abstract":[{"text":"In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satisfies a temporal-logic formula that specifies the behavior. The main practical limitation of model checking is caused by the size of the state space of the program, which grows exponentially with the number of concurrent components. This problem, known as the state-explosion problem, becomes more difficult when we consider real-time model checking, where the program and the specification involve quantitative references to time. In particular, when use timed automata to describe real-time programs and we specify timed behaviors in the logic TCTL, a real-time extension of the temporal logic CTL with clock variables, then the state space under consideration grows exponentially not only with the number of concurrent components, but also with the number of clocks and the length of the clock constraints used in the program and the specification. Two powerful methods for coping with the state-explosion problem are on-the-fly and space-efficient model checking. In on-the-fly model checking, we explore only the portion of the state space of the program whose exploration is essential for determining the satisfaction of the specification. In space-efficient model checking, we store in memory the minimal information required, preferring to spend time on reconstructing information rather than spend space on storing it. In this work we develop an automata-theoretic approach to TCTL model checking that combines both methods. We suggest, for the first time, a PSPACE on-the-fly model-checking algorithm for TCTL.","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"Supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","page":"514 - 529","alternative_title":["LNCS"],"conference":{"name":"CONCUR: Concurrency Theory","start_date":"1996-08-26","end_date":"1996-08-29","location":"Pisa, Italy"},"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"last_name":"Kupferman","full_name":"Kupferman, Orna","first_name":"Orna"},{"last_name":"Vardi","first_name":"Moshe","full_name":"Vardi, Moshe"}],"publist_id":"233","publication_status":"published","day":"01","date_created":"2018-12-11T12:09:08Z","year":"1996","language":[{"iso":"eng"}],"volume":1119,"date_published":"1996-01-01T00:00:00Z","type":"conference","oa_version":"None","publication":"7th International Conference on Concurrency Theory","doi":"10.1007/3-540-61604-7_73","date_updated":"2022-07-06T08:21:20Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","article_processing_charge":"No","extern":"1","quality_controlled":"1","month":"01"},{"extern":"1","quality_controlled":"1","month":"01","_id":"4519","publication":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","publisher":"IEEE","doi":"10.1109/LICS.1996.561342 ","title":"The theory of hybrid automata","date_updated":"2022-07-06T07:56:28Z","abstract":[{"lang":"eng","text":"We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/561342"}],"citation":{"mla":"Henzinger, Thomas A. “The Theory of Hybrid Automata.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .","ama":"Henzinger TA. The theory of hybrid automata. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342 ","chicago":"Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 278–92. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561342 .","apa":"Henzinger, T. A. (1996). The theory of hybrid automata. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 278–292). New Brunswick, NJ, United States of America: IEEE. https://doi.org/10.1109/LICS.1996.561342 ","ista":"Henzinger TA. 1996. The theory of hybrid automata. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 278–292.","short":"T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.","ieee":"T. A. Henzinger, “The theory of hybrid automata,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, United States of America, 1996, pp. 278–292."},"oa_version":"None","status":"public","date_published":"1996-01-01T00:00:00Z","type":"conference","language":[{"iso":"eng"}],"year":"1996","publist_id":"213","publication_status":"published","day":"01","publication_identifier":{"issn":["1043-6871"]},"date_created":"2018-12-11T12:09:16Z","page":"278 - 292","conference":{"end_date":"1996-07-30","location":"New Brunswick, NJ, United States of America","name":"LICS: Logic in Computer Science","start_date":"1996-07-27"},"author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"}]},{"alternative_title":["LNCS"],"conference":{"start_date":"1996-07-31","name":"CAV: Computer Aided Verification","location":"New Brunswick, NJ, United States of America","end_date":"1996-08-03"},"publication_status":"published","publist_id":"122","day":"01","date_created":"2018-12-11T12:09:36Z","language":[{"iso":"eng"}],"year":"1996","status":"public","volume":1102,"type":"conference_editor","date_published":"1996-01-01T00:00:00Z","main_file_link":[{"url":"https://link.springer.com/book/10.1007/3-540-61474-5"}],"editor":[{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger"},{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"}],"intvolume":" 1102","citation":{"chicago":"Henzinger, Thomas A, and Rajeev Alur, eds. 8th International Conference on Computer Aided Verification. Vol. 1102. Springer, 1996. https://doi.org/10.1007/3-540-61474-5.","mla":"Henzinger, Thomas A., and Rajeev Alur, editors. 8th International Conference on Computer Aided Verification. Vol. 1102, Springer, 1996, doi:10.1007/3-540-61474-5.","ama":"Henzinger TA, Alur R, eds. 8th International Conference on Computer Aided Verification. Vol 1102. Springer; 1996. doi:10.1007/3-540-61474-5","short":"T.A. Henzinger, R. Alur, eds., 8th International Conference on Computer Aided Verification, Springer, 1996.","ieee":"T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.","apa":"Henzinger, T. A., & Alur, R. (Eds.). (1996). 8th International Conference on Computer Aided Verification (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-61474-5","ista":"Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p."},"oa_version":"None","_id":"4585","publisher":"Springer","title":" 8th International Conference on Computer Aided Verification","date_updated":"2022-07-06T07:38:10Z","doi":"10.1007/3-540-61474-5","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","extern":"1","month":"01"},{"language":[{"iso":"eng"}],"year":"1996","scopus_import":"1","page":"207 - 218","conference":{"start_date":"1996-07-27","name":"LICS: Logic in Computer Science","location":"New Brunswick, NJ, USA","end_date":"1996-07-30"},"author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"publist_id":"121","publication_status":"published","day":"01","publication_identifier":{"issn":["0018-9162"]},"date_created":"2018-12-11T12:09:37Z","publication":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","_id":"4588","doi":"10.1109/LICS.1996.561320","publisher":"IEEE","date_updated":"2022-07-04T14:51:40Z","title":"Reactive modules","abstract":[{"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","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","extern":"1","quality_controlled":"1","month":"01","status":"public","type":"conference","date_published":"1996-01-01T00:00:00Z","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/561320"}],"citation":{"ieee":"R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.","short":"R. Alur, T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–218.","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.","apa":"Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 207–18. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561320.","ama":"Alur R, Henzinger TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320."},"oa_version":"None"},{"publication_identifier":{"issn":["0004-5411"]},"issue":"1","scopus_import":"1","citation":{"short":"R. Alur, T. Feder, T.A. Henzinger, Journal of the ACM 43 (1996) 116–146.","ieee":"R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM, vol. 43, no. 1. ACM, pp. 116–146, 1996.","apa":"Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM. https://doi.org/10.1145/227595.227602","ista":"Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.","chicago":"Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” Journal of the ACM. ACM, 1996. https://doi.org/10.1145/227595.227602.","mla":"Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.","ama":"Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality. Journal of the ACM. 1996;43(1):116-146. doi:10.1145/227595.227602"},"intvolume":" 43","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/227595.227602"}],"status":"public","acknowledgement":"We wish to thank an anonymous referee for pointing out the PSPACE-fragment of Section 4.5. ","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","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"}],"title":"The benefits of relaxing punctuality","_id":"4610","date_created":"2018-12-11T12:09:44Z","day":"01","publication_status":"published","publist_id":"95","author":[{"last_name":"Alur","full_name":"Alur, Rajeev","first_name":"Rajeev"},{"last_name":"Feder","full_name":"Feder, Tomás","first_name":"Tomás"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"page":"116 - 146","language":[{"iso":"eng"}],"year":"1996","oa_version":"None","article_type":"original","date_published":"1996-01-01T00:00:00Z","type":"journal_article","volume":43,"month":"01","quality_controlled":"1","extern":"1","article_processing_charge":"No","date_updated":"2022-07-04T12:38:01Z","publisher":"ACM","doi":"10.1145/227595.227602","publication":"Journal of the ACM"},{"author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Ho, Pei","first_name":"Pei","last_name":"Ho"}],"page":"181 - 201","date_created":"2018-12-11T12:09:45Z","day":"01","publist_id":"96","publication_status":"published","language":[{"iso":"eng"}],"year":"1996","type":"journal_article","date_published":"1996-03-01T00:00:00Z","volume":22,"oa_version":"Published Version","article_type":"original","article_processing_charge":"No","publisher":"IEEE","date_updated":"2022-07-04T12:47:05Z","doi":"10.1109/32.489079","publication":"IEEE Transactions on Software Engineering","month":"03","quality_controlled":"1","oa":1,"extern":"1","issue":"3","publication_identifier":{"issn":["0018-9162"]},"scopus_import":"1","status":"public","citation":{"short":"R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.","ieee":"R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.","apa":"Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079","ista":"Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering. IEEE, 1996. https://doi.org/10.1109/32.489079.","mla":"Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.","ama":"Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 1996;22(3):181-201. doi:10.1109/32.489079"},"intvolume":" 22","main_file_link":[{"open_access":"1","url":"https://ecommons.cornell.edu/handle/1813/7170"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","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"}],"title":"Automatic symbolic verification of embedded systems","_id":"4611","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. "},{"_id":"4612","publisher":"Springer","doi":"10.1007/BFb0020931","title":"Hybrid Systems III: Verification and Control","date_updated":"2021-12-22T13:57:33Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","extern":"1","series_title":"Lecture Notes in Computer Science","place":"Berlin ; Heidelberg","quality_controlled":"1","month":"01","status":"public","volume":1066,"date_published":"1996-01-01T00:00:00Z","type":"book_editor","editor":[{"last_name":"Alur","full_name":"Alur, Rajeev","first_name":"Rajeev"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Sontag, Eduardo D","first_name":"Eduardo D","last_name":"Sontag"}],"citation":{"ista":"Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p.","apa":"Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/BFb0020931","ieee":"R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III: Verification and Control, vol. 1066. Berlin ; Heidelberg: Springer, 1996.","short":"R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlin ; Heidelberg, 1996.","ama":"Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931","mla":"Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. https://doi.org/10.1007/BFb0020931."},"intvolume":" 1066","oa_version":"None","language":[{"iso":"eng"}],"year":"1996","alternative_title":["LNCS"],"page":"IX, 619","publist_id":"97","publication_status":"published","day":"01","date_created":"2018-12-11T12:09:45Z","publication_identifier":{"isbn":["978-3-540-61155-4"],"issn":["0302-9743"]}},{"language":[{"iso":"eng"}],"year":"1996","publication_status":"published","publist_id":"4409","day":"01","date_created":"2018-12-11T11:57:59Z","page":"815 - 826","author":[{"full_name":"Neki, Akio","first_name":"Akio","last_name":"Neki"},{"full_name":"Ohishi, Hitoshi","first_name":"Hitoshi","last_name":"Ohishi"},{"last_name":"Kaneko","full_name":"Kaneko, Takeshi","first_name":"Takeshi"},{"full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","last_name":"Shigemoto"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}],"extern":"1","quality_controlled":"1","month":"12","publication":"Neuroscience","date_updated":"2022-08-12T12:11:03Z","publisher":"Elsevier","doi":"10.1016/0306-4522(96)00316-8","article_processing_charge":"No","external_id":{"pmid":["8951875"]},"article_type":"original","oa_version":"None","volume":75,"type":"journal_article","date_published":"1996-12-01T00:00:00Z","scopus_import":"1","publication_identifier":{"issn":["0306-4522"]},"issue":"3","acknowledgement":"We thank Mr Akira Uesugi for expert photographic assistance. We also thank Dr Jeremy M. Henley for a critical reading of the manuscript.","pmid":1,"_id":"2492","title":"Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum","abstract":[{"lang":"eng","text":"The metabotropic glutamate receptor subtypes mGluR2 and mGluR5, which are thought to be coupled respectively to the inhibitory cyclic adenosine monophosphate (cAMP) cascade and the phosphatidylinositol hydrolysis/Ca2+ cascade, are known to be expressed on Golgi cells in the granular layer of the rat cerebellar cortex. In the present immunohistochemical study with a monoclonal antibody against mGluR2 and a polyclonal antibody for mGluR5, we examined whether or not mGluR2- and mGluR5-like immunoreactivities were both present in single Golgi cells in the rat cerebellar cortex. In double immunofluorescence histochemistry, no Golgi cells showed mGluR2- and mGluR5-like immunoreactivities simultaneously. Of the total number of Golgi cells immunoreactive for mGluR2 or mGluR5, about 90% were mGluR2-like immunoreactive, and about 10% were mGluR5-like immunoreactive. Golgi cells with mGluR2-like immunoreactivity were distributed evenly in the granular layer of all the cerebellar regions, while those with mGluR5-like immunoreactivity were distributed more frequently in the I, II, VII-X lobules of the vermis and the copula pyramidis of the hemisphere than in other cerebellar regions. The results indicate that Golgi cells containing mGluR2 are segregated from those possessing mGluR5. These two populations of Golgi cells, each equipped with a different metabolic glutamate receptor coupled to a different intracellular signal transduction system, may play different roles in the glutamatergic neuronal circuits in the cerebellar cortex."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"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.","ama":"Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. 1996;75(3):815-826. doi:10.1016/0306-4522(96)00316-8","mla":"Neki, Akio, et al. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience, vol. 75, no. 3, Elsevier, 1996, pp. 815–26, doi:10.1016/0306-4522(96)00316-8.","ieee":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum,” Neuroscience, vol. 75, no. 3. Elsevier, pp. 815–826, 1996.","short":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 75 (1996) 815–826.","ista":"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. 75(3), 815–826.","apa":"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"},"intvolume":" 75","status":"public"},{"acknowledgement":"We are grateful to Mr. Akira Uesugi for photographic help.","pmid":1,"_id":"2562","title":"Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody","abstract":[{"lang":"eng","text":"A monoclonal antibody against a metabotropic glutamate receptor, mGluR2, was produced by using a glutathione S-transferase (GST) fusion protein containing an N-terminal sequence of rat mGluR2. Intense mGluR2-like immunoreactivity (mGluR2-LI) was seen mainly in neuropil of the cerebral cortical regions, hippocampus, olfactory bulb, some diencephalic nuclei, dorsal cochlear nucleus and cerebellar cortex. In the cerebellar cortex, mGluR2-LI was seen only in Golgi cells. In Ammon's hem, mGluR2-LI was marked in the stratum lucidum of CA3 and the stratum lacunosum-moleculare of CA1-CA3, but not detected in the stratum pyramidale. The results indicate that mGluR2 is located not only presynaptically but also postsynaptically."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ieee":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody,” Neuroscience Letters, vol. 202, no. 3. Elsevier, pp. 197–200, 1996.","short":"A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.","ista":"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. 202(3), 197–200.","apa":"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","chicago":"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.","ama":"Neki A, Ohishi H, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. 1996;202(3):197-200. doi:10.1016/0304-3940(95)12248-6","mla":"Neki, Akio, et al. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters, vol. 202, no. 3, Elsevier, 1996, pp. 197–200, doi:10.1016/0304-3940(95)12248-6."},"intvolume":" 202","status":"public","scopus_import":"1","publication_identifier":{"issn":["0304-3940"]},"issue":"3","extern":"1","quality_controlled":"1","month":"01","publication":"Neuroscience Letters","publisher":"Elsevier","doi":"10.1016/0304-3940(95)12248-6","date_updated":"2022-08-12T12:04:18Z","article_processing_charge":"No","oa_version":"None","article_type":"original","external_id":{"pmid":["8848265"]},"volume":202,"type":"journal_article","date_published":"1996-01-05T00:00:00Z","language":[{"iso":"eng"}],"year":"1996","publication_status":"published","publist_id":"4335","day":"05","date_created":"2018-12-11T11:58:24Z","page":"197 - 200","author":[{"last_name":"Neki","full_name":"Neki, Akio","first_name":"Akio"},{"full_name":"Ohishi, Hitoshi","first_name":"Hitoshi","last_name":"Ohishi"},{"last_name":"Kaneko","first_name":"Takeshi","full_name":"Kaneko, Takeshi"},{"full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","orcid":"0000-0001-8761-9444"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}]},{"acknowledgement":"We are grateful for the photographic help of Mr. A. Uesugi and the support of Drs. Satoru Fukuchi, Ritsu Hayashi, Sozaburo Hayashi, Mizuho Katsurada, Yutaka Kitani, Keiko Kumagai, Toshihiko Kuroda, Hiroshi Matsu- bara, Hiroshi Matsushima, 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) 05454658, and Scientific Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. ","pmid":1,"_id":"2564","title":"Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat","abstract":[{"lang":"eng","text":"The distribution of the neuromedin K receptor (NK3; NKR) in the central nervous system was investigated in the adult rat by using in situ hybridization and immunohistochemical techniques. The rabbit anti-NKR antibody was raised against a bacterial fusion protein containing a C- terminal portion of NKR and affinity purified with a Sepharose 4B column conjugated to the fusion protein. Immunoblot analysis was performed to test the reactivity and specificity of the antibody. Crude membrane was prepared from cDNA-transfected Chinese hamster ovary (CHO) cells expressing each of the rat NKR, substance P receptor (NK1; SPR), and substance K receptor (NK2; SKR) and from the hypothalamus, cerebral cortex, and cerebellum. Immunoreactive bands were observed specifically in the NKR-CHO cells, hypothalamus, and cerebral cortex but not in the SPR- or SKR-CHO cells, nor in the cerebellum. Molecular weights of the immunoreactive bands ranged from 73 to 89 kDa and from 59 to 83 kDa in the NKR-CHO cells and tissues, respectively. The distribution of NKR-like immunoreactivity coincided with that of NKR mRNA. The expression of NKR was indicated on neuronal cell bodies and dendrites. NKR was found to be expressed intensely or moderately in neurons in the glomerular and granule cell layers of the main olfactory bulb; glomerular and mitral cell layers of the accessory olfactory bulb; layers IV and V of the cerebral neocortex; medial septal nucleus; nucleus of the diagonal band; bed nucleus of the stria terminalis; globus pallidus; ventral pallidum; paraventricular nucleus; supraoptic nucleus; zona incerta; dorsal, lateral, and posterior hypothalamic areas; amygdaloid nuclei; medial habenular nucleus; ventral tegmental area; midbrain periaqueductal gray; interpeduncular nuclei; substantia nigra pars compacta; linear, median, dorsal, and pontine raphe nuclei; posteromedial tegmental nucleus; sphenoid nucleus; nucleus of the solitary tract; intermediate and rostroventrolateral reticular nuclei; and lamina II of the caudal spinal trigeminal nucleus and spinal dorsal horn. These findings are discussed in relation to the physiological functions associated with neuromedin K."}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ieee":"Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, and N. Mizuno, “Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat,” Journal of Comparative Neurology, vol. 364, no. 2. Wiley-Blackwell, pp. 290–310, 1996.","short":"Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 364 (1996) 290–310.","ista":"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. 364(2), 290–310.","apa":"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","chicago":"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.","ama":"Ding Y, Shigemoto R, Takada M, Ohishi H, Nakanishi S, Mizuno N. Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. 1996;364(2):290-310. doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0","mla":"Ding, Yu, et al. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology, vol. 364, no. 2, Wiley-Blackwell, 1996, pp. 290–310, doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0."},"intvolume":" 364","status":"public","scopus_import":"1","publication_identifier":{"issn":["0021-9967"]},"issue":"2","extern":"1","quality_controlled":"1","month":"01","publication":"Journal of Comparative Neurology","publisher":"Wiley-Blackwell","doi":"10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0","date_updated":"2022-08-12T09:48:24Z","article_processing_charge":"No","article_type":"original","external_id":{"pmid":["8788251 "]},"oa_version":"None","volume":364,"date_published":"1996-01-08T00:00:00Z","type":"journal_article","language":[{"iso":"eng"}],"year":"1996","publication_status":"published","publist_id":"4334","day":"08","date_created":"2018-12-11T11:58:25Z","page":"290 - 310","author":[{"full_name":"Ding, Yu","first_name":"Yu","last_name":"Ding"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi"},{"full_name":"Takada, Masahiko","first_name":"Masahiko","last_name":"Takada"},{"full_name":"Ohishi, Hitoshi","first_name":"Hitoshi","last_name":"Ohishi"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"full_name":"Mizuno, Noboru","first_name":"Noboru","last_name":"Mizuno"}]}]