{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T23:03:13Z","timestamp":1649026993959},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2013,11]]},"abstract":"<jats:p>Professor Sheng Yu passed away on January 23, 2012, the first day of the Lunar New Year, the Year of the Dragon. He was only sixty-one years old. His death was a tremendous loss to his family, friends, colleagues, co-workers, co-authors, co-editors, members of conference program committees, students, the theoretical Computer Science Community and especially to his beloved wife, Lizhen. Through his teachings, international committee work, seminars and some 150 refereed publications, he left us a huge legacy of many interesting and important research contributions in the areas of the theory and implementation of automata and formal languages, fuzzy logic, object-oriented modeling methodologies, parallel processing for parallel programming languages, important software projects for automata theory research, the creation of the international Conference on Implementation and Application of Automata (CIAA) and a gallery of vivid memories of the wonderful times shared. He is remembered for his enormous energy, competence, diligence, anticipatory thoughtfulness, over-the-top generosity, measured politeness, noble sportsmanship and committed friendship. This paper, an extension of a talk with a similar title at DLT 2012, is an account how we are commemorating Sheng.<\/jats:p>","DOI":"10.1142\/s0129054113400248","type":"journal-article","created":{"date-parts":[[2014,2,27]],"date-time":"2014-02-27T07:16:43Z","timestamp":1393485403000},"page":"945-953","source":"Crossref","is-referenced-by-count":0,"title":["GOODBY TO THE KINDHEARTED DRAGON PROF. SHENG YU, 1950\u20132012"],"prefix":"10.1142","volume":"24","author":[{"given":"ARTO","family":"SALOMAA","sequence":"first","affiliation":[{"name":"Turku Centre for Computer Science (TUCS) and Mathematics Department, University of Turku, FIN - 20014 Turku, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KAI T.","family":"SALOMAA","sequence":"additional","affiliation":[{"name":"School of Computing, Queen's University, Kingston, Ontario, Canada, K7L 3N6, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREW L.","family":"SZILARD","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Western Ontario (UWO), London, Ontario, Canada, N6A 5B7, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,2,26]]},"reference":[{"issue":"1","key":"p_3","volume":"13","author":"Cmpeanu C.","journal-title":"Int. J. Found. Comput. Sci."},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00292-9"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300214X"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.02.030"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1137\/0218057"},{"key":"p_8","first-page":"177","volume":"2","author":"Yu K.","year":"1988","journal-title":"Undecidability of CA Classification Schemes. Complex Systems"},{"key":"p_9","first-page":"756","author":"Yu K.","year":"1985","journal-title":"Conf. on Parallel Proc. ICPP"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90043-4"},{"key":"p_11","first-page":"25","author":"Ehrenfeucht A.","year":"2012","journal-title":"Heidelberg"},{"key":"p_13","first-page":"1","author":"Gao Y.","year":"2012","journal-title":"Heidelberg"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.01.013"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1006"},{"key":"p_18","first-page":"301","volume":"1993","author":"Jiang T.","year":"1993","journal-title":"ICALP"},{"issue":"1","key":"p_23","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/FI-2012-750","volume":"120","author":"Salomaa A.","year":"2012","journal-title":"Memoriam. Fundam. Inform."},{"key":"p_25","first-page":"226","volume":"44","author":"Salomaa A.","year":"1991","journal-title":"Bulletin of the EATCS"},{"key":"p_26","first-page":"489","author":"Salomaa A.","year":"2011","journal-title":"Heidelberg"},{"key":"p_33","first-page":"1","author":"Yu S.","year":"2012","journal-title":"Heidelberg"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054113400248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,15]],"date-time":"2020-08-15T20:44:03Z","timestamp":1597524243000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054113400248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":17,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2014,2,26]]},"published-print":{"date-parts":[[2013,11]]}},"alternative-id":["10.1142\/S0129054113400248"],"URL":"https:\/\/doi.org\/10.1142\/s0129054113400248","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}