{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:00:29Z","timestamp":1648904429925},"reference-count":18,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1016\/0020-0255(95)00020-p","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T13:32:55Z","timestamp":1053351175000},"page":"127-146","source":"Crossref","is-referenced-by-count":2,"title":["An automatic selection method and its application to key search algorithms"],"prefix":"10.1016","volume":"85","author":[{"given":"Ki-Hong","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun-Ichi","family":"Aoe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masamie","family":"Shishibori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshi-Taka","family":"Hayashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0020-0255(95)00020-P_BIB1","series-title":"Computer Algorithms-Key Search Strategies","author":"Aoe","year":"1991"},{"key":"10.1016\/0020-0255(95)00020-P_BIB2","first-page":"1359","article-title":"Key search strategies: Static hashing and its application","volume":"33","author":"Aoe","year":"1992"},{"key":"10.1016\/0020-0255(95)00020-P_BIB3","first-page":"1465","article-title":"Key search strategies: Dynamic hashing and its application","volume":"33","author":"Aoe","year":"1992"},{"key":"10.1016\/0020-0255(95)00020-P_BIB4","first-page":"106","article-title":"Key search strategies: Tree searching and its application","volume":"34","author":"Aoe","year":"1993"},{"key":"10.1016\/0020-0255(95)00020-P_BIB5","first-page":"244","article-title":"Key search strategies: Tree searching and its application","volume":"34","author":"Aoe","year":"1993"},{"key":"10.1016\/0020-0255(95)00020-P_BIB6","series-title":"Algorithm Animation","author":"Brown","year":"1988"},{"issue":"12","key":"10.1016\/0020-0255(95)00020-P_BIB7","first-page":"52","article-title":"Color and sound in algorithm animation","volume":"25","author":"Brown","year":"1992","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"10.1016\/0020-0255(95)00020-P_BIB8","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/TSE.1982.234773","article-title":"Formal program verification using symbolic execution","volume":"SE-8","author":"Dannenberg","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0020-0255(95)00020-P_BIB9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/TSE.1975.6312841","article-title":"On the problem of uniform references to data structures","volume":"SE-1","author":"Geschke","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/0020-0255(95)00020-P_BIB10","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1109\/TSE.1981.230854","article-title":"The refinement paradigm: The interaction of coding and efficiency knowledge in program synthesis","volume":"SE-7","author":"Kant","year":"1981","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(95)00020-P_BIB11","series-title":"Proc. of 1st Conf. on Artificial Intelligence AAAI-83","first-page":"177","article-title":"An automatic algorithm designer: An initial implementation","author":"Kant","year":"1983"},{"issue":"11","key":"10.1016\/0020-0255(95)00020-P_BIB12","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/TSE.1985.231884","article-title":"Understanding and automatic algorithm design","volume":"SE-11","author":"Kant","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/0020-0255(95)00020-P_BIB13","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1145\/359488.359498","article-title":"Automatic data structure selection: An example and overview","volume":"21","author":"Low","year":"1978","journal-title":"Commun. ACM"},{"issue":"4","key":"10.1016\/0020-0255(95)00020-P_BIB14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","article-title":"On the automated generation of program test data","volume":"SE-2","author":"Ramamoorthy","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(95)00020-P_BIB15","series-title":"Proc. of the 45th Conf. on Information Processing of Japan","first-page":"D-363","article-title":"A method of determining key search algorithms using classification knowledge","author":"Shishibori","year":"1992"},{"issue":"10","key":"10.1016\/0020-0255(95)00020-P_BIB16","first-page":"73","article-title":"The algorithm animation for algorithm research in environment","volume":"32","author":"Iwasawa","year":"1993","journal-title":"Information Algorithm Research Committee of Japan"},{"issue":"11","key":"10.1016\/0020-0255(95)00020-P_BIB17","doi-asserted-by":"crossref","first-page":"1375","DOI":"10.1109\/TSE.1985.231885","article-title":"The roles of execution and analysis in algorithm design","volume":"SE-11","author":"Steier","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"10.1016\/0020-0255(95)00020-P_BIB18","first-page":"970","article-title":"The induction of viewpoint to conceptual label","volume":"30","author":"Tokunaka","year":"1989","journal-title":"Information Research Committee of Japan"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002002559500020P?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002002559500020P?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T13:50:34Z","timestamp":1555249834000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002002559500020P"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":18,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["002002559500020P"],"URL":"https:\/\/doi.org\/10.1016\/0020-0255(95)00020-p","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}