马丁·卡普斯;安德烈亚斯·马尔彻;沃奇克,德特勒夫 纪念钱德拉·金塔拉。 (英语) Zbl 1246.01037号 发现的国际期刊。计算。科学。 23,第1期,5-19(2012). 小结:通过这篇文章,我们想纪念钱德拉·M·R·金塔拉,他于2009年11月去世。我们将简要概述他的简历以及他在理论和应用计算机科学领域的贡献,并借此机会,试图展示他在有限的不确定性和资源以及软件可靠性等领域的影响力。最后,我们将简要介绍一些有望在不久的将来解决的研究课题。 理学硕士: 01A70号 传记、讣告、个人信息、参考书目 19年第68季度 描述复杂性和有限模型 65年第68季度 形式语言和自动机 68-03 计算机科学史 关键词:描述复杂性;有限不确定性;形式语言;软件可靠性 传记参考: 钱德拉·金塔拉 PDF格式BibTeX公司 XML格式引用 \textit{M.Kappes}等人,国际期刊发现。计算。科学。23、编号1、5--19(2012;Zbl 1246.01037) 全文: 内政部 参考文献: [1] DOI:10.1016/S0020-0190(01)00156-9·Zbl 1032.68090号 ·doi:10.1016/S0020-0190(01)00156-9 [2] DOI:10.1016/S0304-3975(00)00295-4·兹比尔0992.68028 ·doi:10.1016/S0304-3975(00)00295-4 [3] DOI:10.1016/j.tcs.2009.05.019·Zbl 1173.68030号 ·doi:10.1016/j.tcs.2009.05.019 [4] Buchholz Thomas,基金。通知。第15页,共52页 [5] DOI:10.11142/9789812704979_0006·doi:10.1142/9789812704979_0006 [6] 内政部:10.1137/S0097539793258295·Zbl 0870.68062号 ·doi:10.1137/S0097539793258295 [7] 内政部:10.1016/0304-3975(86)90142-8·Zbl 0638.68096号 ·doi:10.1016/0304-3975(86)90142-8 [8] DOI:10.1016/S0304-3975(03)00136-1·doi:10.1016/S0304-3975(03)00136-1 [9] 内政部:10.1007/BF01776575·Zbl 0409.68027号 ·doi:10.1007/BF01776575 [10] 内政部:10.1016/0304-3975(77)90033-0·Zbl 0357.68086号 ·doi:10.1016/0304-3975(77)90033-0 [11] DOI:10.1016/S0022-0000(74)80034-6·Zbl 0285.94030号 ·doi:10.1016/S0022-0000(74)80034-6 [12] 内政部:10.1145/235767.235769·数字对象标识代码:10.1145/235767.235769 [13] Goldstine Jonathan,J.UCS 8第193页 [14] DOI:10.1016/0890-5401(90)90053-K·Zbl 0698.68068号 ·doi:10.1016/0890-5401(90)90053-K [15] 内政部:10.1016/0890-5401(92)90014-7·Zbl 0752.68056号 ·doi:10.1016/0890-5401(92)90014-7 [16] DOI:10.1016/j.jcss.2005.04.001·Zbl 1101.68653号 ·doi:10.1016/j.jcss.2005.04.001 [17] 内政部:10.1016/S0304-3975(96)00267-8·兹比尔0901.68132 ·doi:10.1016/S0304-3975(96)00267-8 [18] 霍尔泽·马库斯,J.Autom。语言梳。第6页,453页– [19] 霍尔泽·马库斯,《语言方法的科学应用》(2010) [20] 内政部:10.1006/inco.2001.3069·Zbl 1009.68067号 ·doi:10.1006/inco.2001.3069文件 [21] Yennun Huang和Chandra M.R.Kintala,《软件容错》(John Wiley&Sons Ltd.,Chichester,1996),pp。231–248. [22] DOI:10.1016/S0304-3975(01)00112-8·Zbl 0988.68114号 ·doi:10.1016/S0304-3975(01)00112-8 [23] 卡普斯·马丁,J.Autom。语言梳。第269页,共5页 [24] 卡普斯·马丁,J.Autom。语言梳。第9页,第281页 [25] DOI:10.1016/j.tcs.2004.04.012·Zbl 1078.68089号 ·doi:10.1016/j.tcs.2004.04.012 [26] DOI:10.1007/BF01776563·Zbl 0392.68063号 ·doi:10.1007/BF01776563 [27] 金塔拉·钱德拉M.R.,J.Autom。语言梳。第14页63– [28] 内政部:10.1137/0209003·Zbl 0447.68044号 ·数字对象标识代码:10.1137/0209003 [29] 文件编号:10.1007/BF01189856·Zbl 0782.68083号 ·doi:10.1007/BF01189856 [30] Kintala Chandra M.R.,《信息学报》。第13页,199– [31] DOI:10.1016/S0304-3975(01)00272-9·Zbl 1061.68053号 ·doi:10.1016/S0304-3975(01)00272-9 [32] DOI:10.1007/BF01692511·Zbl 0169.01401号 ·doi:10.1007/BF01692511 [33] 库特里布·马丁(J.Autom)。语言梳。第7页,第533页– [34] 库特里布·马丁(Kutrib Martin,Theoret)。计算。科学。363页,第101页 [35] DOI:10.1016/j.dam.2007.05.021·Zbl 1123.68062号 ·doi:10.1016/j.dam.2007.05.021 [36] 内政部:10.1016/j.tcs.2010.05.024·Zbl 1207.68214号 ·doi:10.1016/j.tcs.2010.05.024 [37] DOI:10.1016/j.entcs.2009.09.015·Zbl 1338.68184号 ·doi:10.1016/j.entcs.2009.09.015 [38] DOI:10.1016/j.tcs.2009.06.002·Zbl 1194.68142号 ·doi:10.1016/j.tcs.2009.06.002 [39] 数字对象标识码:10.1007/s002360050133·Zbl 0923.68090号 ·doi:10.1007/s002360050133 [40] 内政部:10.1137/S0097539793252092·Zbl 0911.68144号 ·doi:10.1137/S009753979323252092 [41] 内政部:10.1142/S01290541055003418·Zbl 1090.68059号 ·doi:10.1142/S01290541055003418 [42] DOI:10.1016/S0304-3975(98)00199-6·Zbl 0944.68083号 ·doi:10.1016/S0304-3975(98)00199-6 [43] DOI:10.1016/S0164-1212(02)00154-1·doi:10.1016/S0164-1212(02)00154-1 [44] DOI:10.1016/j.tcs.2004.04.014·Zbl 1078.68101号 ·doi:10.1016/j.tcs.2004.04.014 [45] Malcher Andreas,J.Autom公司。语言梳。第12页,第265页 [46] 内政部:10.1142/S0129054110007581·Zbl 1207.68215号 ·doi:10.11142/S0129054110007581 [47] 数字对象标识码:10.1137/S009753979935431X·Zbl 0980.68048号 ·doi:10.1137/S009753979935431X [48] 尼纳·弗兰克(Nießner Frank),J.Autom。语言梳。第9页,第347页– [49] Friedrich Otto,《形式语言和应用的最新进展》,计算智能研究25(Springer-Verlag,2006)pp。269–303之间。 [50] 内政部:10.1137/0218083·Zbl 0692.68049号 ·数字对象标识代码:10.1137/0218083 [51] Salomaa Kai,RAIRO通知。塞奥尔。申请。第28页,第221页–·Zbl 0883.68093号 ·doi:10.1051/ita/1994283-402211 [52] Salomaa Kai,EATCS公告50第186页– [53] DOI:10.1016/S0022-0000(05)80054-6·Zbl 0822.68070号 ·doi:10.1016/S0022-0000(05)80054-6 [54] Salomaa Kai,J.汽车。语言梳。第177页,共2页 [55] 内政部:10.1137/0206039·Zbl 0357.68088号 ·数字对象标识代码:10.1137/0206039 [56] 内政部:10.1137/0214044·Zbl 0577.68074号 ·数字对象标识代码:10.1137/0214044 [57] DOI:10.1016/s019-9958(76)90173-X·Zbl 0338.68059号 ·doi:10.1016/S0019-9958(76)90173-X [58] 内政部:10.1016/0022-0000(79)90038-2·Zbl 0402.68046号 ·doi:10.1016/0022-0000(79)90038-2 [59] Vermeir Dirk,基金。通知。第401页,共4页 [60] DOI:10.1016/j.tcs.2005.07.024·Zbl 1079.68056号 ·doi:10.1016/j.tcs.2005.07.24文件 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。