{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T17:28:32Z","timestamp":1648834112567},"reference-count":60,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2012,1]]},"abstract":"<jats:p>With this contribution we would like to commemorate Chandra M. R. Kintala, who passed away in November 2009. We will give short overviews of his CV and his contributions to the field of theoretical and applied computer science and, given the opportunity, will attempt to present his influence on areas like limited nondeterminism and resources as well as software reliability in an exemplary fashion. Finally, we will briefly touch on some research topics which hopefully will be addressed in the not-so-distant future.<\/jats:p>","DOI":"10.1142\/s0129054112400011","type":"journal-article","created":{"date-parts":[[2012,2,20]],"date-time":"2012-02-20T10:57:11Z","timestamp":1329735431000},"page":"5-19","source":"Crossref","is-referenced-by-count":0,"title":["IN MEMORIAM CHANDRA KINTALA"],"prefix":"10.1142","volume":"23","author":[{"given":"MARTIN","family":"KAPPES","sequence":"first","affiliation":[{"name":"Faculty of Computer Science and Engineering, University of Applied Sciences Frankfurt am Main, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREAS","family":"MALCHER","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DETLEF","family":"WOTSCHKE","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Goethe-Universit\u00e4t Frankfurt, 60054 Frankfurt, Germany"},{"name":"Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr. 2, 35392 Giessen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,6]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(01)00156-9"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00295-4"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.05.019"},{"key":"rf6","first-page":"15","volume":"52","author":"Buchholz Thomas","journal-title":"Fund. Inform."},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1142\/9789812704979_0006"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793258295"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90142-8"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00136-1"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01776575"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90033-0"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80034-6"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1145\/235767.235769"},{"key":"rf18","first-page":"193","volume":"8","author":"Goldstine Jonathan","journal-title":"J. UCS"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90053-K"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90014-7"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2005.04.001"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00267-8"},{"key":"rf24","first-page":"453","volume":"6","author":"Holzer Markus","journal-title":"J. Autom. Lang. Comb."},{"key":"rf25","volume-title":"Scientific Applications of Language Methods","author":"Holzer Markus","year":"2010"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3069"},{"key":"rf29","unstructured":"Yennun\u00a0Huang and Chandra M. R.\u00a0Kintala, Software Fault Tolerance (John Wiley & Sons Ltd., Chichester, 1996)\u00a0pp. 231\u2013248."},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00112-8"},{"key":"rf33","first-page":"269","volume":"5","author":"Kappes Martin","journal-title":"J. Autom. Lang. Comb."},{"key":"rf34","first-page":"281","volume":"9","author":"Kappes Martin","journal-title":"J. Autom. Lang. Comb."},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.012"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1007\/BF01776563"},{"key":"rf40","first-page":"63","volume":"14","author":"Kintala Chandra M. R.","journal-title":"J. Autom. Lang. Comb."},{"key":"rf42","doi-asserted-by":"publisher","DOI":"10.1137\/0209003"},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1007\/BF01189856"},{"key":"rf44","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF00263994","volume":"13","author":"Kintala Chandra M. R.","journal-title":"Acta Inform."},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00272-9"},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"rf48","first-page":"533","volume":"7","author":"Kutrib Martin","journal-title":"J. Autom. Lang. Comb."},{"key":"rf50","first-page":"101","volume":"363","author":"Kutrib Martin","journal-title":"Theoret. Comput. Sci."},{"key":"rf51","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2007.05.021"},{"key":"rf52","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.05.024"},{"key":"rf53","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.09.015"},{"key":"rf54","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.002"},{"key":"rf55","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050133"},{"key":"rf56","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793252092"},{"key":"rf57","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003418"},{"key":"rf59","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00199-6"},{"key":"rf60","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00154-1"},{"key":"rf61","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.014"},{"key":"rf62","first-page":"265","volume":"12","author":"Malcher Andreas","journal-title":"J. Autom. Lang. Comb."},{"key":"rf63","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007581"},{"key":"rf67","doi-asserted-by":"publisher","DOI":"10.1137\/S009753979935431X"},{"key":"rf70","first-page":"347","volume":"9","author":"Nie\u00dfner Frank","journal-title":"J. Autom. Lang. Comb."},{"key":"rf72","doi-asserted-by":"crossref","unstructured":"Friedrich\u00a0Otto, Recent Advances in Formal Languages and Applications, Studies in Computational Intelligence\u00a025 (Springer-Verlag, 2006)\u00a0pp. 269\u2013303.","DOI":"10.1007\/978-3-540-33461-3_11"},{"key":"rf73","doi-asserted-by":"publisher","DOI":"10.1137\/0218083"},{"key":"rf74","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1051\/ita\/1994283-402211","volume":"28","author":"Salomaa Kai","journal-title":"RAIRO Inform. Th\u00e9or. Appl."},{"key":"rf75","first-page":"186","volume":"50","author":"Salomaa Kai","journal-title":"Bulletin of the EATCS"},{"key":"rf76","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(05)80054-6"},{"key":"rf77","first-page":"177","volume":"2","author":"Salomaa Kai","journal-title":"J. Autom. Lang. Comb."},{"key":"rf78","doi-asserted-by":"publisher","DOI":"10.1137\/0206039"},{"key":"rf79","doi-asserted-by":"publisher","DOI":"10.1137\/0214044"},{"key":"rf81","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(76)90173-X"},{"key":"rf82","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90038-2"},{"key":"rf83","first-page":"401","volume":"4","author":"Vermeir Dirk","journal-title":"Fund. Inform."},{"key":"rf87","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.024"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054112400011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,2]],"date-time":"2020-07-02T18:41:27Z","timestamp":1593715287000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054112400011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":60,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2012,4,6]]},"published-print":{"date-parts":[[2012,1]]}},"alternative-id":["10.1142\/S0129054112400011"],"URL":"https:\/\/doi.org\/10.1142\/s0129054112400011","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}