[{"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"https://journals.biologists.com/dev/article/123/1/255/39327/Genetic-analysis-of-fin-formation-in-the-zebrafish","open_access":"1"}],"type":"journal_article","date_published":"1996-12-01T00:00:00Z","publist_id":"1896","oa":1,"publication_identifier":{"issn":["0950-1991"]},"language":[{"iso":"eng"}],"publication":"Development","month":"12","oa_version":"Published Version","extern":"1","volume":123,"external_id":{"pmid":["9007245 "]},"citation":{"mla":"Van Eeden, Fredericus, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.” <i>Development</i>, vol. 123, no. 1, Company of Biologists, 1996, pp. 255–62, doi:<a href=\"https://doi.org/10.1242/dev.123.1.255 \">10.1242/dev.123.1.255 </a>.","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.","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.","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. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.123.1.255 \">https://doi.org/10.1242/dev.123.1.255 </a>","ama":"Van Eeden F, Granato M, Schach U, et al. Genetic analysis of fin formation in the zebrafish, Danio rerio. <i>Development</i>. 1996;123(1):255-262. doi:<a href=\"https://doi.org/10.1242/dev.123.1.255 \">10.1242/dev.123.1.255 </a>","ieee":"F. Van Eeden <i>et al.</i>, “Genetic analysis of fin formation in the zebrafish, Danio rerio,” <i>Development</i>, vol. 123, no. 1. Company of Biologists, pp. 255–262, 1996.","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.” <i>Development</i>. Company of Biologists, 1996. <a href=\"https://doi.org/10.1242/dev.123.1.255 \">https://doi.org/10.1242/dev.123.1.255 </a>."},"year":"1996","date_updated":"2022-08-04T10:01:17Z","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."}],"day":"01","doi":"10.1242/dev.123.1.255 ","quality_controlled":"1","page":"255 - 262","article_type":"original","publisher":"Company of Biologists","issue":"1","author":[{"first_name":"Fredericus","last_name":"Van Eeden","full_name":"Van Eeden, Fredericus"},{"full_name":"Granato, Michael","first_name":"Michael","last_name":"Granato"},{"full_name":"Schach, Ursula","first_name":"Ursula","last_name":"Schach"},{"last_name":"Brand","first_name":"Michael","full_name":"Brand, Michael"},{"full_name":"Furutani Seiki, Makoto","first_name":"Makoto","last_name":"Furutani Seiki"},{"full_name":"Haffter, Pascal","last_name":"Haffter","first_name":"Pascal"},{"full_name":"Hammerschmidt, Matthias","last_name":"Hammerschmidt","first_name":"Matthias"},{"id":"39427864-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","first_name":"Carl-Philipp J","last_name":"Heisenberg"},{"first_name":"Yunjin","last_name":"Jiang","full_name":"Jiang, Yunjin"},{"first_name":"Donald","last_name":"Kane","full_name":"Kane, Donald"},{"full_name":"Kelsh, Robert","last_name":"Kelsh","first_name":"Robert"},{"full_name":"Mullins, Mary","first_name":"Mary","last_name":"Mullins"},{"full_name":"Odenthal, Jörg","first_name":"Jörg","last_name":"Odenthal"},{"full_name":"Warga, Rachel","last_name":"Warga","first_name":"Rachel"},{"last_name":"Nüsslein Volhard","first_name":"Christiane","full_name":"Nüsslein Volhard, Christiane"}],"scopus_import":"1","_id":"4220","pmid":1,"intvolume":"       123","title":"Genetic analysis of fin formation in the zebrafish, Danio rerio","article_processing_charge":"No","date_created":"2018-12-11T12:07:40Z","publication_status":"published"},{"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"open_access":"1","url":"https://journals.biologists.com/dev/article/123/1/153/39329/Mutations-affecting-somite-formation-and"}],"type":"journal_article","date_published":"1996-12-01T00:00:00Z","publist_id":"1895","oa":1,"publication_identifier":{"issn":["0950-1991"]},"language":[{"iso":"eng"}],"publication":"Development","month":"12","oa_version":"Published Version","extern":"1","volume":123,"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.","external_id":{"pmid":["9007237 "]},"year":"1996","citation":{"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.","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.","mla":"Van Eeden, Fredericus, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.” <i>Development</i>, vol. 123, no. 1, Company of Biologists, 1996, pp. 153–64, doi:<a href=\"https://doi.org/10.1242/dev.123.1.153\">10.1242/dev.123.1.153</a>.","ieee":"F. Van Eeden <i>et al.</i>, “Mutations affecting somite formation and patterning in the zebrafish, Danio rerio,” <i>Development</i>, vol. 123, no. 1. Company of Biologists, pp. 153–164, 1996.","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.” <i>Development</i>. Company of Biologists, 1996. <a href=\"https://doi.org/10.1242/dev.123.1.153\">https://doi.org/10.1242/dev.123.1.153</a>.","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. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.123.1.153\">https://doi.org/10.1242/dev.123.1.153</a>","ama":"Van Eeden F, Granato M, Schach U, et al. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. <i>Development</i>. 1996;123(1):153-164. doi:<a href=\"https://doi.org/10.1242/dev.123.1.153\">10.1242/dev.123.1.153</a>"},"date_updated":"2022-08-04T09:29:56Z","abstract":[{"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.","lang":"eng"}],"day":"01","doi":"10.1242/dev.123.1.153","quality_controlled":"1","page":"153 - 164","article_type":"original","publisher":"Company of Biologists","issue":"1","author":[{"first_name":"Fredericus","last_name":"Van Eeden","full_name":"Van Eeden, Fredericus"},{"full_name":"Granato, Michael","first_name":"Michael","last_name":"Granato"},{"last_name":"Schach","first_name":"Ursula","full_name":"Schach, Ursula"},{"first_name":"Michael","last_name":"Brand","full_name":"Brand, Michael"},{"last_name":"Furutani Seiki","first_name":"Makoto","full_name":"Furutani Seiki, Makoto"},{"full_name":"Haffter, Pascal","last_name":"Haffter","first_name":"Pascal"},{"last_name":"Hammerschmidt","first_name":"Matthias","full_name":"Hammerschmidt, Matthias"},{"full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg","first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Yunjin","last_name":"Jiang","full_name":"Jiang, Yunjin"},{"first_name":"Donald","last_name":"Kane","full_name":"Kane, Donald"},{"last_name":"Kelsh","first_name":"Robert","full_name":"Kelsh, Robert"},{"first_name":"Mary","last_name":"Mullins","full_name":"Mullins, Mary"},{"first_name":"Jörg","last_name":"Odenthal","full_name":"Odenthal, Jörg"},{"full_name":"Warga, Rachel","last_name":"Warga","first_name":"Rachel"},{"first_name":"Miguel","last_name":"Allende","full_name":"Allende, Miguel"},{"full_name":"Weinberg, Eric","first_name":"Eric","last_name":"Weinberg"},{"last_name":"Nüsslein Volhard","first_name":"Christiane","full_name":"Nüsslein Volhard, Christiane"}],"scopus_import":"1","pmid":1,"_id":"4222","intvolume":"       123","title":"Mutations affecting somite formation and patterning in the zebrafish, Danio rerio","date_created":"2018-12-11T12:07:41Z","article_processing_charge":"No","publication_status":"published"},{"doi":"10.1098/rspb.1996.0200","publication_identifier":{"issn":["0950-1193"]},"day":"22","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."}],"publist_id":"1786","date_updated":"2022-07-04T12:59:56Z","citation":{"ieee":"L. Partridge and N. H. Barton, “On measuring the rate of ageing,” <i>Proceedings of the Royal Society of London Series B Biological Sciences</i>, vol. 263, no. 1375. Royal Society of London, pp. 1365–1371, 1996.","chicago":"Partridge, Linda, and Nicholas H Barton. “On Measuring the Rate of Ageing.” <i>Proceedings of the Royal Society of London Series B Biological Sciences</i>. Royal Society of London, 1996. <a href=\"https://doi.org/10.1098/rspb.1996.0200\">https://doi.org/10.1098/rspb.1996.0200</a>.","apa":"Partridge, L., &#38; Barton, N. H. (1996). On measuring the rate of ageing. <i>Proceedings of the Royal Society of London Series B Biological Sciences</i>. Royal Society of London. <a href=\"https://doi.org/10.1098/rspb.1996.0200\">https://doi.org/10.1098/rspb.1996.0200</a>","ama":"Partridge L, Barton NH. On measuring the rate of ageing. <i>Proceedings of the Royal Society of London Series B Biological Sciences</i>. 1996;263(1375):1365-1371. doi:<a href=\"https://doi.org/10.1098/rspb.1996.0200\">10.1098/rspb.1996.0200</a>","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.","short":"L. Partridge, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 263 (1996) 1365–1371.","mla":"Partridge, Linda, and Nicholas H. Barton. “On Measuring the Rate of Ageing.” <i>Proceedings of the Royal Society of London Series B Biological Sciences</i>, vol. 263, no. 1375, Royal Society of London, 1996, pp. 1365–71, doi:<a href=\"https://doi.org/10.1098/rspb.1996.0200\">10.1098/rspb.1996.0200</a>."},"year":"1996","date_published":"1996-10-22T00:00:00Z","type":"journal_article","volume":263,"main_file_link":[{"url":"https://royalsocietypublishing.org/doi/abs/10.1098/rspb.1996.0200"}],"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publication_status":"published","oa_version":"None","date_created":"2018-12-11T12:08:05Z","article_processing_charge":"No","title":"On measuring the rate of ageing","month":"10","intvolume":"       263","publication":"Proceedings of the Royal Society of London Series B Biological Sciences","_id":"4292","author":[{"full_name":"Partridge, Linda","last_name":"Partridge","first_name":"Linda"},{"orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"issue":"1375","publisher":"Royal Society of London","page":"1365 - 1371","quality_controlled":"1","language":[{"iso":"eng"}]},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","extern":"1","year":"1996","citation":{"ista":"Barton NH, Wilson I. 1996.Genealogies and geography. In: New uses for new phylogenies. , 23–56.","mla":"Barton, Nicholas H., and Ian Wilson. “Genealogies and Geography.” <i>New Uses for New Phylogenies</i>, Oxford University Press, 1996, pp. 23–56, doi:<a href=\"https://doi.org/10.1098/rstb.1995.0090\">10.1098/rstb.1995.0090</a>.","short":"N.H. Barton, I. Wilson, in:, New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56.","chicago":"Barton, Nicholas H, and Ian Wilson. “Genealogies and Geography.” In <i>New Uses for New Phylogenies</i>, 23–56. Oxford University Press, 1996. <a href=\"https://doi.org/10.1098/rstb.1995.0090\">https://doi.org/10.1098/rstb.1995.0090</a>.","ieee":"N. H. Barton and I. Wilson, “Genealogies and geography,” in <i>New uses for new phylogenies</i>, Oxford University Press, 1996, pp. 23–56.","ama":"Barton NH, Wilson I. Genealogies and geography. In: <i>New Uses for New Phylogenies</i>. Oxford University Press; 1996:23-56. doi:<a href=\"https://doi.org/10.1098/rstb.1995.0090\">10.1098/rstb.1995.0090</a>","apa":"Barton, N. H., &#38; Wilson, I. (1996). Genealogies and geography. In <i>New uses for new phylogenies</i> (pp. 23–56). Oxford University Press. <a href=\"https://doi.org/10.1098/rstb.1995.0090\">https://doi.org/10.1098/rstb.1995.0090</a>"},"date_updated":"2022-08-04T08:59:18Z","external_id":{"pmid":["8748019"]},"type":"book_chapter","date_published":"1996-01-01T00:00:00Z","publication_identifier":{"isbn":["978-0198549840"]},"day":"01","doi":"10.1098/rstb.1995.0090","publist_id":"1783","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"}],"quality_controlled":"1","page":"23 - 56","language":[{"iso":"eng"}],"publisher":"Oxford University Press","pmid":1,"_id":"4294","publication":"New uses for new phylogenies","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton"},{"first_name":"Ian","last_name":"Wilson","full_name":"Wilson, Ian"}],"article_processing_charge":"No","date_created":"2018-12-11T12:08:05Z","oa_version":"None","publication_status":"published","title":"Genealogies and geography","month":"01"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0960982202707070?via%3Dihub","open_access":"1"}],"date_published":"1996-10-01T00:00:00Z","type":"book_chapter","publist_id":"1781","oa":1,"publication_identifier":{"issn":["0960-9822"]},"language":[{"iso":"eng"}],"publication":"Current Biology","month":"10","oa_version":"Published Version","extern":"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.","volume":6,"external_id":{"pmid":["8939554"]},"date_updated":"2022-07-07T09:28:28Z","citation":{"ista":"Barton NH. 1996.Speciation: more than the sum of its parts. In: Current Biology. vol. 6, 1244–1246.","mla":"Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” <i>Current Biology</i>, vol. 6, Cell Press, 1996, pp. 1244–46, doi:<a href=\"https://doi.org/10.1016/S0960-9822(02)70707-0\">10.1016/S0960-9822(02)70707-0</a>.","short":"N.H. Barton, in:, Current Biology, Cell Press, 1996, pp. 1244–1246.","chicago":"Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” In <i>Current Biology</i>, 6:1244–46. Cell Press, 1996. <a href=\"https://doi.org/10.1016/S0960-9822(02)70707-0\">https://doi.org/10.1016/S0960-9822(02)70707-0</a>.","ieee":"N. H. Barton, “Speciation: more than the sum of its parts,” in <i>Current Biology</i>, vol. 6, Cell Press, 1996, pp. 1244–1246.","ama":"Barton NH. Speciation: more than the sum of its parts. In: <i>Current Biology</i>. Vol 6. Cell Press; 1996:1244-1246. doi:<a href=\"https://doi.org/10.1016/S0960-9822(02)70707-0\">10.1016/S0960-9822(02)70707-0</a>","apa":"Barton, N. H. (1996). Speciation: more than the sum of its parts. In <i>Current Biology</i> (Vol. 6, pp. 1244–1246). Cell Press. <a href=\"https://doi.org/10.1016/S0960-9822(02)70707-0\">https://doi.org/10.1016/S0960-9822(02)70707-0</a>"},"year":"1996","abstract":[{"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.","lang":"eng"}],"doi":"10.1016/S0960-9822(02)70707-0","day":"01","page":"1244 - 1246","quality_controlled":"1","publisher":"Cell Press","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","first_name":"Nicholas H","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240"}],"_id":"4295","pmid":1,"scopus_import":"1","title":"Speciation: more than the sum of its parts","intvolume":"         6","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:08:06Z"},{"extern":"1","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","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"}],"supervisor":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"}],"publist_id":"312","day":"01","date_published":"1996-01-01T00:00:00Z","type":"dissertation","date_updated":"2022-07-06T15:11:24Z","year":"1996","citation":{"ista":"Kopke P. 1996. The Theory of Rectangular Hybrid Automata. Cornell University.","short":"P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.","mla":"Kopke, Peter. <i>The Theory of Rectangular Hybrid Automata</i>. Cornell University, 1996.","ieee":"P. Kopke, “The Theory of Rectangular Hybrid Automata,” Cornell University, 1996.","chicago":"Kopke, Peter. “The Theory of Rectangular Hybrid Automata.” Cornell University, 1996.","ama":"Kopke P. The Theory of Rectangular Hybrid Automata. 1996.","apa":"Kopke, P. (1996). <i>The Theory of Rectangular Hybrid Automata</i>. Cornell University."},"publisher":"Cornell University","language":[{"iso":"eng"}],"month":"01","title":"The Theory of Rectangular Hybrid Automata","publication_status":"published","oa_version":"None","date_created":"2018-12-11T12:08:45Z","article_processing_charge":"No","author":[{"first_name":"Peter","last_name":"Kopke","full_name":"Kopke, Peter"}],"_id":"4419"},{"publication":"Hybrid Systems III: Verification and Control","oa_version":"None","month":"01","language":[{"iso":"eng"}],"type":"conference","date_published":"1996-01-01T00:00:00Z","publication_identifier":{"isbn":["9783540611554"]},"publist_id":"302","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0020961"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4426","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"article_processing_charge":"No","date_created":"2018-12-11T12:08:47Z","publication_status":"published","intvolume":"      1066","alternative_title":["LNCS"],"title":"Linear phase-portrait approximations for nonlinear hybrid systems","quality_controlled":"1","page":"377 - 388","editor":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Eduardo","last_name":"Sontag","full_name":"Sontag, Eduardo"}],"publisher":"Springer","year":"1996","citation":{"apa":"Henzinger, T. A., &#38; Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, &#38; E. Sontag (Eds.), <i>Hybrid Systems III: Verification and Control</i> (Vol. 1066, pp. 377–388). Springer. <a href=\"https://doi.org/10.1007/BFb0020961\">https://doi.org/10.1007/BFb0020961</a>","ama":"Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol 1066. Springer; 1996:377-388. doi:<a href=\"https://doi.org/10.1007/BFb0020961\">10.1007/BFb0020961</a>","ieee":"T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in <i>Hybrid Systems III: Verification and Control</i>, 1996, vol. 1066, pp. 377–388.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” In <i>Hybrid Systems III: Verification and Control</i>, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0020961\">https://doi.org/10.1007/BFb0020961</a>.","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.","mla":"Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” <i>Hybrid Systems III: Verification and Control</i>, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:<a href=\"https://doi.org/10.1007/BFb0020961\">10.1007/BFb0020961</a>.","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."},"date_updated":"2022-07-06T09:58:25Z","day":"01","doi":"10.1007/BFb0020961","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."}],"volume":1066,"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.","extern":"1"},{"publisher":"Springer","quality_controlled":"1","page":"265 - 282","date_created":"2018-12-11T12:08:48Z","article_processing_charge":"No","publication_status":"published","intvolume":"      1165","alternative_title":["LNCS"],"title":"Using HyTech to synthesize control parameters for a steam boiler","_id":"4427","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Wong Toi, Howard","first_name":"Howard","last_name":"Wong Toi"}],"volume":1165,"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.","extern":"1","day":"01","doi":"10.1007/BFb0027241","abstract":[{"lang":"eng","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."}],"citation":{"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.","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.","mla":"Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>, vol. 1165, Springer, 1996, pp. 265–82, doi:<a href=\"https://doi.org/10.1007/BFb0027241\">10.1007/BFb0027241</a>.","ieee":"T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters for a steam boiler,” in <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>, vol. 1165, Springer, 1996, pp. 265–282.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” In <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>, 1165:265–82. Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0027241\">https://doi.org/10.1007/BFb0027241</a>.","ama":"Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for a steam boiler. In: <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>. Vol 1165. Springer; 1996:265-282. doi:<a href=\"https://doi.org/10.1007/BFb0027241\">10.1007/BFb0027241</a>","apa":"Henzinger, T. A., &#38; Wong Toi, H. (1996). Using HyTech to synthesize control parameters for a steam boiler. In <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i> (Vol. 1165, pp. 265–282). Springer. <a href=\"https://doi.org/10.1007/BFb0027241\">https://doi.org/10.1007/BFb0027241</a>"},"year":"1996","date_updated":"2022-07-06T10:06:19Z","language":[{"iso":"eng"}],"oa_version":"None","month":"01","publication":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0027241"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publication_identifier":{"isbn":["9783540495666"]},"publist_id":"303","type":"book_chapter","date_published":"1996-01-01T00:00:00Z"},{"day":"01","doi":"10.1007/3-540-61604-7_74","abstract":[{"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.","lang":"eng"}],"year":"1996","citation":{"ieee":"T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” in <i>7th International Conference on Concurrency Theory</i>, Pisa, Italy, 1996, vol. 1119, pp. 530–545.","chicago":"Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” In <i>7th International Conference on Concurrency Theory</i>, 1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. <a href=\"https://doi.org/10.1007/3-540-61604-7_74\">https://doi.org/10.1007/3-540-61604-7_74</a>.","ama":"Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: <i>7th International Conference on Concurrency Theory</i>. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_74\">10.1007/3-540-61604-7_74</a>","apa":"Henzinger, T. A., &#38; Kopke, P. (1996). State equivalences for rectangular hybrid automata. In <i>7th International Conference on Concurrency Theory</i> (Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/3-540-61604-7_74\">https://doi.org/10.1007/3-540-61604-7_74</a>","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.","short":"T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.","mla":"Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” <i>7th International Conference on Concurrency Theory</i>, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_74\">10.1007/3-540-61604-7_74</a>."},"date_updated":"2022-07-06T08:43:23Z","volume":1119,"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.","extern":"1","article_processing_charge":"No","date_created":"2018-12-11T12:08:52Z","publication_status":"published","intvolume":"      1119","alternative_title":["LNCS"],"title":"State equivalences for rectangular hybrid automata","_id":"4443","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Peter","last_name":"Kopke","full_name":"Kopke, Peter"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","quality_controlled":"1","page":"530 - 545","publication_identifier":{"isbn":["9783540616047"]},"publist_id":"288","type":"conference","date_published":"1996-01-01T00:00:00Z","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-61604-7_74"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","oa_version":"None","month":"01","publication":"7th International Conference on Concurrency Theory","conference":{"start_date":"1996-08-26","name":"CONCUR: Concurrency Theory","end_date":"1996-08-29","location":"Pisa, Italy"},"language":[{"iso":"eng"}]},{"day":"01","doi":"10.1007/3-540-61604-7_73","abstract":[{"lang":"eng","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."}],"year":"1996","citation":{"ieee":"T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in <i>7th International Conference on Concurrency Theory</i>, Pisa, Italy, 1996, vol. 1119, pp. 514–529.","chicago":"Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” In <i>7th International Conference on Concurrency Theory</i>, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. <a href=\"https://doi.org/10.1007/3-540-61604-7_73\">https://doi.org/10.1007/3-540-61604-7_73</a>.","apa":"Henzinger, T. A., Kupferman, O., &#38; Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking. In <i>7th International Conference on Concurrency Theory</i> (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/3-540-61604-7_73\">https://doi.org/10.1007/3-540-61604-7_73</a>","ama":"Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: <i>7th International Conference on Concurrency Theory</i>. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_73\">10.1007/3-540-61604-7_73</a>","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.","mla":"Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” <i>7th International Conference on Concurrency Theory</i>, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_73\">10.1007/3-540-61604-7_73</a>.","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."},"date_updated":"2022-07-06T08:21:20Z","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.","volume":1119,"extern":"1","article_processing_charge":"No","date_created":"2018-12-11T12:09:08Z","publication_status":"published","intvolume":"      1119","alternative_title":["LNCS"],"title":"A space-efficient on-the-fly algorithm for real-time model checking","_id":"4495","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"last_name":"Kupferman","first_name":"Orna","full_name":"Kupferman, Orna"},{"first_name":"Moshe","last_name":"Vardi","full_name":"Vardi, Moshe"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","quality_controlled":"1","page":"514 - 529","publication_identifier":{"isbn":["978-3-540-70625-0"]},"publist_id":"233","type":"conference","date_published":"1996-01-01T00:00:00Z","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-61604-7_73"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","month":"01","publication":"7th International Conference on Concurrency Theory","conference":{"name":"CONCUR: Concurrency Theory","start_date":"1996-08-26","end_date":"1996-08-29","location":"Pisa, Italy"},"language":[{"iso":"eng"}]},{"citation":{"ama":"Henzinger TA. The theory of hybrid automata. In: <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 1996:278-292. doi:<a href=\"https://doi.org/10.1109/LICS.1996.561342 \">10.1109/LICS.1996.561342 </a>","apa":"Henzinger, T. A. (1996). The theory of hybrid automata. In <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i> (pp. 278–292). New Brunswick, NJ, United States of America: IEEE. <a href=\"https://doi.org/10.1109/LICS.1996.561342 \">https://doi.org/10.1109/LICS.1996.561342 </a>","ieee":"T. A. Henzinger, “The theory of hybrid automata,” in <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, New Brunswick, NJ, United States of America, 1996, pp. 278–292.","chicago":"Henzinger, Thomas A. “The Theory of Hybrid Automata.” In <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, 278–92. IEEE, 1996. <a href=\"https://doi.org/10.1109/LICS.1996.561342 \">https://doi.org/10.1109/LICS.1996.561342 </a>.","mla":"Henzinger, Thomas A. “The Theory of Hybrid Automata.” <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, IEEE, 1996, pp. 278–92, doi:<a href=\"https://doi.org/10.1109/LICS.1996.561342 \">10.1109/LICS.1996.561342 </a>.","short":"T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.","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."},"year":"1996","date_updated":"2022-07-06T07:56:28Z","type":"conference","date_published":"1996-01-01T00:00:00Z","publication_identifier":{"issn":["1043-6871"]},"day":"01","doi":"10.1109/LICS.1996.561342 ","publist_id":"213","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"}],"main_file_link":[{"url":"https://ieeexplore.ieee.org/document/561342"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","_id":"4519","publication":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"}],"date_created":"2018-12-11T12:09:16Z","article_processing_charge":"No","publication_status":"published","oa_version":"None","month":"01","title":"The theory of hybrid automata","quality_controlled":"1","page":"278 - 292","language":[{"iso":"eng"}],"publisher":"IEEE","conference":{"start_date":"1996-07-27","name":"LICS: Logic in Computer Science","end_date":"1996-07-30","location":"New Brunswick, NJ, United States of America"}}]