编辑配置文件(在新选项卡中打开) 尼尔·伊梅尔曼 合著者距离 作者ID: 伊梅尔曼·尼尔 发布日期: 尼尔·伊梅尔曼;伊梅尔曼,N。;尼尔·伊梅尔曼 更多。。。较少的 外部链接: MGP公司·维基数据·数据库管理程序·接地·ID参考 已编制索引的文档: 58出版物自1981年以来,包括1本书和2个附加arXiv预打印 2作为编辑的贡献 合著者: 64位合著者具有47联合出版物 1941年合作作者 全部的 前5名合著者 13 单作者的 11 穆利萨吉夫 4 埃里克·艾伦德。 4 库沙·埃特萨米 4 奥德·帕顿 4 沙龙·肖姆 4 悉达赫·斯里瓦斯塔瓦 4 格雷塔·约什 3 Lev Ami,塔尔 3 Mix Barrington,David A。 3 代表,Thomas W。 3 什洛莫Zilberstein 2 JoséLuis,Balcázar 2 迈克尔·鲍兰德 2 约塔姆·M·Y·费尔德曼。 2 Hartmanis,法学家 2 沙迦·伊扎基 2 阿列克桑德·卡比雪夫 2 Phokion G.科莱蒂斯。 2 奥里·拉哈夫 2 苏珊·兰道 2 苏珊·帕特奈克 2 Henning施诺尔 2 赫里贝特·沃尔默 2 菲利普·魏斯 1 迈卡·阿德勒 1 娜塔莎·亚历奇纳 1 拉杰夫·阿鲁尔 1 马塞洛·阿里纳斯 1 安妮迪亚·班纳吉 1 巴勃罗·巴塞洛 1 大卫·米克斯·巴林顿 1 丹尼尔·伯恩斯坦(Daniel S.Bernstein)。 1 乔纳森·巴斯。 1 蔡金毅 1 马可·卡莫西奥。 1 Michael S.克劳奇。 1 迈克尔·菲舍尔。 1 弗勒,马丁 1 罗伯特·L·吉万。 1 苏米特·古尔瓦尼 1 尤里·古里维奇 1 Joseph Yehuda Halpern 1 罗伯特·哈珀 1 查尔斯·乔丹 1 德克斯特·C·科赞。 1 克莱门斯·劳特曼 1 李明 1 Leonid O·利金。 1 长,蒂莫西·法理 1 斯蒂芬·马哈尼。 1 J.Eliot B.莫斯。 1 阿列克桑达尔·纳内夫斯基 1 亚历克斯·拉比诺维奇 1 亚历山大·拉比诺维奇 1 代表,汤姆 1 尼科尔·施韦卡特 1 里克·森古普塔 1 维维安·塞韦尔森 1 萨拉、撒哈拉 1 大卫·斯坦普 1 霍华德·斯特劳宾 1 丹尼斯·塞里安 1 莫西·亚亚科夫·瓦尔迪 1 维克托·维亚努 全部的 前5名系列 7 计算机与系统科学杂志 4 SIAM计算机杂志 4 计算机科学中的逻辑方法 3 理论计算机科学 3 信息与计算 2 人工智能 2 信息和控制 1 信息处理信件 1 符号逻辑杂志 1 运筹学数学 1 组合数学 1 算法 1 美国数学学会通告 1 符号逻辑公报 1 IGPL逻辑杂志 1 欧洲理论计算机科学协会公报 1 ACM计算逻辑事务 1 DIMACS系统。离散数学和理论计算机科学系列 1 计算机科学研究生课程 全部的 前5名领域 57 计算机科学(68至XX) 36 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有1525年被引用中的次1086文件 引用人▼ 年份▼ 非确定性空间在互补下是封闭的。 Zbl 0668.68056号 尼尔·伊梅尔曼 216 1988 描述性复杂性。 Zbl 0918.68031号 尼尔·伊梅尔曼 161 1999 捕获复杂类的语言。 Zbl 0634.68034号 尼尔·伊梅尔曼 154 1987 可在多项式时间内计算的关系查询。 Zbl 0612.68086号 尼尔·伊梅尔曼 141 1986 关于\(NC^1)内的一致性。 Zbl 0719.68023号 大卫·A·米克斯·巴林顿;尼尔·伊梅尔曼;霍华德·斯特劳宾 135 1990 用于图形识别的变量数的最佳下界。 Zbl 0785.68043号 蔡金毅;弗勒,马丁;尼尔·伊梅尔曼 109 1992 一阶可表达性的上下限。 兹比尔0503.68032 尼尔·伊梅尔曼 62 1982 量词的数量比磁带单元格的数量好。 Zbl 0486.03019号 尼尔·伊梅尔曼 55 1981 NP-P:EXPTIME与NEXPTIME中的稀疏集。 Zbl 0586.68042号 哈特马尼斯,J。;伊梅尔曼,N。;苏厄尔森,V。 45 1985 可表达性和并行复杂性。 Zbl 0688.68038号 尼尔·伊梅尔曼 44 1989 马尔可夫决策过程分散控制的复杂性。 Zbl 1082.90593号 丹尼尔·伯恩斯坦(Daniel S.Bernstein)。;罗伯特·吉万;尼尔·伊梅尔曼;什洛莫Zilberstein 42 2002 有界变量数的可定义性。 Zbl 0711.03004号 尼尔·伊梅尔曼;德克斯特·科赞 34 1989 嵌套单词的一阶逻辑和时态逻辑。 Zbl 1159.03018号 拉杰夫·阿鲁尔;马塞洛·阿里纳斯;巴勃罗·巴切罗;库沙·埃特萨米;尼尔·伊梅尔曼;利奥尼德·利金 29 2008 描述和计算复杂性。 Zbl 0675.68032号 尼尔·伊梅尔曼 23 1989 描述复杂性和模型检查。 Zbl 0945.03546号 尼尔·伊梅尔曼 23 1998 Dyn-FO:一个并行的动态复杂性类。 Zbl 0889.68063号 苏珊·帕特奈克;尼尔·伊梅尔曼 19 1997 迭代乘法的复杂性。 Zbl 0818.68076号 尼尔·伊梅尔曼;苏珊·兰道 17 1995 描述复杂性:逻辑学家的计算方法。 Zbl 1042.68604号 伊梅尔曼,N。 17 1995 可满足性问题的复杂性:改进Schaefer定理。 Zbl 1161.68487号 埃里克·艾伦德;迈克尔·鲍兰德;尼尔·伊梅尔曼;Henning施诺尔;赫里贝特·沃尔默 15 2009 传递闭包逻辑的可判定性和不可判定性之间的边界。 邮编1095.03008 尼尔·伊梅尔曼;亚历克斯·拉比诺维奇;代表,汤姆;穆利萨吉夫;格雷塔·约什 14 2004 词上FO(^{2})的结构定理和严格交替层次。 Zbl 1168.03019号 菲利普·魏斯;尼尔·伊梅尔曼 14 2009 可满足性问题的复杂性:改进Schaefer定理。 Zbl 1156.68396号 埃里克·艾伦德;迈克尔·鲍兰德;尼尔·伊梅尔曼;Henning施诺尔;赫里贝特·沃尔默 12 2005 描述复杂性方面的进展。 Zbl 0959.68523号 尼尔·伊梅尔曼 10 1999 使用一阶逻辑模拟可达性,并应用于验证链接数据结构。 Zbl 1135.68556号 列夫·阿米,T。;伊梅尔曼,N。;代表,T。;萨吉夫,M。;斯利瓦斯塔瓦,S。;约什,G。 10 2005 公式大小的\(n!\)下界。 Zbl 1365.68270号 迈卡·阿德勒;尼尔·伊梅尔曼 10 2003 广义规划的一种新表示和相关算法。 Zbl 1216.68253号 悉达赫·斯里瓦斯塔瓦;尼尔·伊梅尔曼;什洛莫Zilberstein 8 2011 关于逻辑在计算机科学中的不同寻常的有效性。 Zbl 0979.03033号 约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗伯特·哈珀;尼尔·伊梅尔曼;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。;维克托·维亚努 7 2001 有限集语言家族的表达能力。 Zbl 0874.68093号 尼尔·伊梅尔曼;苏尚特·帕特奈克;大卫·斯坦普 7 1996 一阶同构定理。 Zbl 0874.68124号 埃里克·艾伦德;JoséBalcázar;尼尔·伊梅尔曼 7 1997 一阶同构定理。 Zbl 0799.68088号 埃里克·艾伦德;Jose Balcázar;尼尔·伊梅尔曼 7 1993 关于\(NP\cap C_0NP\)的完全问题。 Zbl 0576.68032号 Hartmanis,法学家;尼尔·伊梅尔曼 7 1985 时间、硬件和一致性。 Zbl 0880.68037号 大卫·米克斯·巴林顿;尼尔·伊梅尔曼 5 1997 可达性逻辑:传递闭包逻辑的有效片段。 Zbl 0948.03022号 娜塔莎·亚历奇纳;尼尔·伊梅尔曼 5 2000 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼;亚历山大·拉比诺维奇;代表,Thomas W。;穆利萨吉夫;尤斯,太好了 5 2004 实验描述性复杂性。 Zbl 1354.68103号 马尔科·卡莫西奥;尼尔·伊梅尔曼;查尔斯·乔丹 5 2012 相对化相对化计算。 Zbl 0679.68084号 尼尔·伊梅尔曼;斯蒂芬·马哈尼。 5 1989 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基;安妮迪亚·班纳吉;尼尔·伊梅尔曼;奥里·拉哈夫;阿列克桑达尔·纳内夫斯基;穆利萨吉夫 5 2014 带有中性字母或的语言的一阶表达能力:Crane Beach猜想。 Zbl 1069.03021号 大卫·A·米克斯·巴林顿;尼尔·伊梅尔曼;克莱门斯·劳特曼;尼科尔·施韦卡特;丹尼斯·塞里安 4 2005 循环计划的适用条件:可计算性结果和算法。 兹比尔1270.68277 悉达赫·斯里瓦斯塔瓦;尼尔·伊梅尔曼;什洛莫Zilberstein 4 2012 推断归纳不变量的决定性。 Zbl 1347.68234号 奥德·帕顿;尼尔·伊梅尔曼;沙龙·肖姆;阿列克桑德·卡比雪夫;穆利萨吉夫 4 2016 描述和计算复杂性。 Zbl 0756.68041号 尼尔·伊梅尔曼 3 1989 在命题动态逻辑中解释知识逻辑。 Zbl 0634.03012号 迈克尔·菲舍尔。;尼尔·伊梅尔曼 3 1987 可达性和本地订购的力量。 兹比尔0884.68053 库沙·埃特萨米;尼尔·伊梅尔曼 3 1995 可达性和本地订购的力量。 Zbl 0941.68584号 库沙·埃特萨米;尼尔·伊梅尔曼 3 1994 分散SDN政策。 Zbl 1346.68027号 奥德·帕顿;尼尔·伊梅尔曼;阿列克桑德·卡比雪夫;奥里·拉哈夫;穆利萨吉夫;沙龙·肖姆 3 2015 树经典化和传递闭包。 Zbl 1005.03515号 库沙·埃特萨米;尼尔·伊梅尔曼 3 2000 用于检查归纳不变量的有界量词实例化。 Zbl 1509.68162号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 3 2019 词上FO(^{2})的结构定理和严格交替层次。 Zbl 1168.03328号 Weis,P。;伊梅尔曼,N。 2 2007 变量数等于空间。 Zbl 0986.68040号 尼尔·伊梅尔曼;Jonathan F.巴斯。;大卫·A·米克斯·巴林顿 2 2001 使用一阶逻辑模拟可达性,并应用于验证链接数据结构。 Zbl 1163.68010号 Lev Ami,塔尔;尼尔·伊梅尔曼;代表,Thomas W。;穆利萨吉夫;悉达赫·斯里瓦斯塔瓦;格雷塔·约什 1 2009 结合符号和数值推理解决几何问题。 Zbl 1407.68513号 沙迦·伊扎基;苏米特·古尔瓦尼;尼尔·伊梅尔曼;穆利萨吉夫 1 2013 用于检查归纳不变量的有界量词实例化。 Zbl 1452.68119号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 1 2017 自动查找缩减。 Zbl 1287.68024号 迈克尔·克劳奇;尼尔·伊梅尔曼;J.Eliot B.莫斯。 1 2010 用于检查归纳不变量的有界量词实例化。 Zbl 1509.68162号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 3 2019 用于检查归纳不变量的有界量词实例化。 Zbl 1452.68119号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 1 2017 推断归纳不变量的决定性。 Zbl 1347.68234号 奥德·帕顿;尼尔·伊梅尔曼;沙龙·肖姆;阿列克桑德·卡比雪夫;穆利萨吉夫 4 2016 分散SDN政策。 Zbl 1346.68027号 奥德·帕顿;尼尔·伊梅尔曼;阿列克桑德·卡比雪夫;奥里·拉哈夫;穆利萨吉夫;沙龙·肖姆 3 2015 通过有效的命题公式对堆路径进行模块化推理。 Zbl 1284.68403号 沙迦·伊扎基;安妮迪亚·班纳吉;尼尔·伊梅尔曼;奥里·拉哈夫;阿列克桑达尔·纳内夫斯基;穆利萨吉夫 5 2014 结合符号和数值推理解决几何问题。 Zbl 1407.68513号 沙迦·伊扎基;苏米特·古尔瓦尼;尼尔·伊梅尔曼;穆利萨吉夫 1 2013 实验描述性复杂性。 兹比尔1354.68103 马尔科·卡莫西奥;尼尔·伊梅尔曼;查尔斯·乔丹 5 2012 循环计划的适用条件:可计算性结果和算法。 Zbl 1270.68277号 悉达赫·斯里瓦斯塔瓦;尼尔·伊梅尔曼;什洛莫Zilberstein 4 2012 广义规划的一种新表示和相关算法。 Zbl 1216.68253号 悉达赫·斯里瓦斯塔瓦;尼尔·伊梅尔曼;什洛莫Zilberstein 8 2011 自动查找减少。 Zbl 1287.68024号 迈克尔·克劳奇;尼尔·伊梅尔曼;J.Eliot B.莫斯。 1 2010 可满足性问题的复杂性:改进Schaefer定理。 Zbl 1161.68487号 埃里克·艾伦德;迈克尔·鲍兰德;尼尔·伊梅尔曼;Henning施诺尔;赫里贝特·沃尔默 15 2009 词上FO(^{2})的结构定理和严格交替层次。 Zbl 1168.03019号 菲利普·维斯;尼尔·伊梅尔曼 14 2009 使用一阶逻辑模拟可达性,并应用于验证链接数据结构。 Zbl 1163.68010号 Lev Ami,塔尔;尼尔·伊梅尔曼;代表,Thomas W。;穆利萨吉夫;悉达赫·斯里瓦斯塔瓦;格雷塔·约什 1 2009 嵌套单词的一阶逻辑和时序逻辑。 Zbl 1159.03018号 拉杰夫·阿鲁尔;马塞洛·阿里纳斯;巴勃罗·巴切罗;库沙·埃特萨米;尼尔·伊梅尔曼;利奥尼德·利金 29 2008 词上FO(^{2})的结构定理和严格交替层次。 Zbl 1168.03328号 Weis,P。;伊梅尔曼,N。 2 2007 可满足性问题的复杂性:改进Schaefer定理。 Zbl 1156.68396号 埃里克·艾伦德;迈克尔·鲍兰德;尼尔·伊梅尔曼;Henning施诺尔;赫里贝特·沃尔默 12 2005 使用一阶逻辑模拟可达性,并应用于验证链接数据结构。 Zbl 1135.68556号 列夫·阿米,T。;伊梅尔曼,N。;代表,T。;萨吉夫,M。;斯利瓦斯塔瓦,S。;约什,G。 10 2005 带有中性字母或的语言的一阶表达能力:Crane Beach猜想。 Zbl 1069.03021号 大卫·A·米克斯·巴林顿;尼尔·伊梅尔曼;克莱门斯·劳特曼;尼科尔·施韦卡特;丹尼斯·塞里安 4 2005 传递闭包逻辑的可判定性和不可判定性之间的边界。 邮编1095.03008 尼尔·伊梅尔曼;亚历克斯·拉比诺维奇;代表,汤姆;穆利萨吉夫;格雷塔·约什 14 2004 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼;亚历山大·拉比诺维奇;代表,Thomas W。;穆利萨吉夫;尤斯,太好了 5 2004 公式大小的\(n!\)下限。 Zbl 1365.68270号 迈卡·阿德勒;尼尔·伊梅尔曼 10 2003 马尔可夫决策过程分散控制的复杂性。 Zbl 1082.90593号 丹尼尔·伯恩斯坦(Daniel S.Bernstein)。;罗伯特·吉万;尼尔·伊梅尔曼;什洛莫Zilberstein 42 2002 关于逻辑在计算机科学中的不同寻常的有效性。 兹伯利0979.03033 约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗伯特·哈珀;尼尔·伊梅尔曼;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。;维克托·维亚努 7 2001 变量数等于空间。 Zbl 0986.68040号 尼尔·伊梅尔曼;Jonathan F.巴斯。;大卫·A·米克斯·巴林顿 2 2001 可达性逻辑:传递闭包逻辑的一个有效片段。 Zbl 0948.03022号 娜塔莎·亚历奇纳;尼尔·伊梅尔曼 5 2000 树经典化和传递闭包。 Zbl 1005.03515号 库沙·埃特萨米;尼尔·伊梅尔曼 3 2000 描述性复杂性。 Zbl 0918.68031号 尼尔·伊梅尔曼 161 1999 描述性复杂性的进展。 Zbl 0959.68523号 尼尔·伊梅尔曼 10 1999 描述复杂性和模型检查。 兹比尔0945.03546 尼尔·伊梅尔曼 23 1998 Dyn-FO:一个并行的动态复杂性类。 Zbl 0889.68063号 苏珊·帕特奈克;尼尔·伊梅尔曼 19 1997 一阶同构定理。 Zbl 0874.68124号 埃里克·艾伦德;JoséBalcázar;尼尔·伊梅尔曼 7 1997 时间、硬件和一致性。 Zbl 0880.68037号 大卫·米克斯·巴林顿;尼尔·伊梅尔曼 5 1997 有限集语言家族的表达能力。 Zbl 0874.68093号 尼尔·伊梅尔曼;苏珊·帕特奈克;大卫·斯坦普 7 1996 迭代乘法的复杂性。 Zbl 0818.68076号 尼尔·伊梅尔曼;苏珊·兰道 17 1995 描述复杂性:逻辑学家的计算方法。 Zbl 1042.68604号 伊梅尔曼,N。 17 1995 可达性和本地订购的力量。 Zbl 0884.68053号 库沙·埃特萨米;尼尔·伊梅尔曼 3 1995 可达性和本地订购的力量。 Zbl 0941.68584号 库沙·埃特萨米;尼尔·伊梅尔曼 3 1994 一阶同构定理。 Zbl 0799.68088号 艾伦德,埃里克;Jose Balcázar;尼尔·伊梅尔曼 7 1993 用于图形识别的变量数的最佳下界。 Zbl 0785.68043号 蔡金毅;弗勒,马丁;尼尔·伊梅尔曼 109 1992 关于\(NC^1)内的一致性。 Zbl 0719.68023号 大卫·A·米克斯·巴林顿;尼尔·伊梅尔曼;霍华德·斯特劳宾 135 1990 可表达性和并行复杂性。 Zbl 0688.68038号 尼尔·伊梅尔曼 44 1989 有界变量数的可定义性。 Zbl 0711.03004号 尼尔·伊梅尔曼;德克斯特·科赞 34 1989 描述和计算复杂性。 Zbl 0675.68032号 尼尔·伊梅尔曼 23 1989 相对化计算。 Zbl 0679.68084号 尼尔·伊梅尔曼;斯蒂芬·马哈尼。 5 1989 描述和计算的复杂性。 Zbl 0756.68041号 尼尔·伊梅尔曼 3 1989 非确定性空间在互补下是封闭的。 Zbl 0668.68056号 尼尔·伊梅尔曼 216 1988 捕获复杂类的语言。 Zbl 0634.68034号 尼尔·伊梅尔曼 154 1987 在命题动态逻辑中解释知识逻辑。 Zbl 0634.03012号 迈克尔·菲舍尔。;尼尔·伊梅尔曼 3 1987 可在多项式时间内计算的关系查询。 Zbl 0612.68086号 尼尔·伊梅尔曼 141 1986 NP-P:EXPTIME与NEXPTIME中的稀疏集。 Zbl 0586.68042号 J·哈特马尼斯。;伊梅尔曼,N。;苏厄尔森,V。 45 1985 关于\(NP\cap C_0NP\)的完全问题。 Zbl 0576.68032号 Hartmanis,法学家;尼尔·伊梅尔曼 7 1985 一阶可表达性的上下限。 Zbl 0503.68032号 尼尔·伊梅尔曼 62 1982 量词的数量比磁带单元格的数量好。 Zbl 0486.03019号 尼尔·伊梅尔曼 55 1981 所有引用出版物 前5名被引用出版物 全部的 前5名被1373位作者引用 22 埃里克·艾伦德。 22 赫里贝特·沃尔默 21 马丁·格罗 17 伊恩·斯图尔特(Iain A.Stewart)。 16 维利亚姆·格弗特 16 劳里·T·海拉。 16 Hemaspandra,A巷。 16 奥列格·维尔比茨基 15 阿努吉·达瓦尔 15 尼尔·伊梅尔曼 13 克里希南德·查特吉 13 埃里希·格拉德尔 13 马库斯·霍尔泽 13 Phokion G.科莱蒂斯。 12 约翰·科布勒 12 曼弗雷德·库夫莱特纳 12 皮埃尔·麦肯齐 11 蒂尔·坦托 10 安德烈亚斯·克雷布斯 10 Mix Barrington,David A。 10 马蒂奥·普拉德拉 10 托马斯·施温蒂克 10 莫西·亚亚科夫·瓦尔迪 10 维克托·维亚努 9 Leonid O·利金。 9 约翰·安德烈亚斯·马考斯基 9 恐龙Mandrioli 9 丹尼斯·塞里安 8 托马斯·亨辛格。 8 朱哈·科廷宁 8 伊莉亚·尼古拉埃维奇(Ilya Nikolaevich)·波诺马伦科(Ponomarenko) 8 尼科尔·施韦卡特 8 图鲁尔·托雷斯,何塞·玛丽亚 7 萨米尔·达塔 7 弗鲁姆,约格 7 奥尔纳·库普弗曼 7 Mitsunori小原 7 霍华德·斯特劳宾 7 Van den Bussche,简 7 托马斯·泽姆 6 谢尔盖·阿比特布尔 6 维克拉曼·阿尔文德 6 卢卡斯·弗莱舍 6 弗兰克·福尔布吕克 6 艾蒂安·格兰让 6 比吉特·詹纳 6 埃米尔·杰瓦贝克 6 安蒂·库西斯托 6 克劳斯·Jörn兰格 6 丹尼尔·诺恩 6 马丁·奥托 5 马尼德拉·阿格拉瓦尔 5 卡梅·阿勒瓦雷斯 5 阿尔伯特·阿塞里亚斯 5 蔡金毅 5 陈一佳 5 米歇尔·齐亚里 5 斯蒂芬·阿瑟·库克 5 阿诺·杜兰德 5 托马斯·艾特 5 罗纳德·费金 5 弗拉维奥·安东尼奥·费拉罗蒂 5 乔治·戈特洛布 5 尤里·古里维奇 5 Huynh,Dung T。 5 奥斯卡·H·伊巴拉。 5 塞巴斯蒂安·雅各比 5 桑德拉·基弗 5 马丁·兰格 5 克莱门斯·劳特曼 5 汤马斯·马斯托普斯 5 亚历山大·拉比诺维奇 5 莫妮卡·劳赫·亨津格 5 穆利萨吉夫 5 Henning施诺尔 5 丹·米尔恰·苏秋 5 安德烈·谢皮埃托夫斯基 5 雅各布·托兰 5 涡流计,尼尔斯 5 朱可夫斯基(Maksim Evgen’evich) 4 JoséLuis,Balcázar 4 理查德·贝格尔 4 Michael A.Benedikt。 4 克里斯托夫·伯克霍尔茨 4 陈,胡比 4 彼得·克洛特(Peter G.Clote)。 4 凯文·康普顿。 4 纳迪亚·克里诺 4 该死,卡斯滕 4 马尔滕·德·里杰克 4 迈克尔·埃尔伯菲尔德 4 库沙·埃特萨米 4 弗洛里斯·吉尔茨 4 Stéphane Grumbach 4 安塞尔姆·哈克 4 史蒂文·林德尔 4 马库斯·洛伊 4 科科·洛斯托 4 Jean-Yves玛丽恩 4 巴纳比·D·马丁。 …还有1273位作者 全部的 前5名114篇连载文章中引用 154 理论计算机科学 82 信息与计算 81 计算机与系统科学杂志 38 信息处理信件 35 计算系统理论 32 人工智能 29 纯逻辑与应用逻辑年鉴 26 符号逻辑杂志 24 计算机科学中的逻辑方法 18 国际计算机科学基础杂志 17 计算复杂性 15 信息学报 14 数学与人工智能年鉴 12 数学系统理论 12 ACM计算逻辑事务 11 RAIRO公司。Informatique Théorique et Applications公司 9 SIAM计算机杂志 9 《数理逻辑季刊》 9 符号逻辑公报 8 人工智能研究杂志 7 Studia Logica公司 7 自动推理杂志 6 离散应用数学 6 算法 6 数学逻辑档案 5 欧洲组合数学杂志 5 符号计算杂志 5 MSCS公司。计算机科学中的数学结构 5 系统设计中的形式化方法 5 应用非经典逻辑杂志 5 RAIRO公司。理论信息学及其应用 4 离散数学 4 国际代数与计算杂志 4 机器学习研究杂志(JMLR) 4 应用逻辑杂志 3 代数普遍性 3 信息科学 3 组合理论杂志。B系列 3 图与组合 3 复杂性杂志 3 SIAM离散数学杂志 3 计算的形式方面 3 运筹学年鉴 3 分布式计算 3 计算机科学评论 2 Automatica公司 2 组合理论杂志。系列A 2 图论杂志 2 哲学逻辑杂志 2 运筹学 2 半群论坛 2 欧洲运筹学杂志 2 代数组合数学杂志 2 逻辑、语言与信息杂志 2 数学科学杂志(纽约) 2 约束条件 2 组合优化期刊 2 图形算法与应用杂志 2 动力系统的数学和计算机建模 2 逻辑程序设计理论与实践 2 国际并行、紧急和分布式系统杂志 2 符号逻辑述评 2 动态游戏和应用 1 计算机与数学及其应用 1 统计物理杂志 1 信息传输问题 1 数学档案 1 国际博弈论杂志 1 数学心理学杂志 1 纯粹与应用代数杂志 1 合成 1 莫斯科大学计算数学与控制论 1 应用数学进展 1 遍历理论和动力系统 1 数学社会科学 1 组合数学 1 计算机科学与技术杂志 1 新一代计算 1 国际近似推理杂志 1 吉泰。实验与理论人工智能杂志 1 神经计算 1 离散事件动态系统 1 线性代数及应用 1 国际鲁棒非线性控制杂志 1 澳大利亚组合数学杂志 1 圣彼得堡数学杂志 1 应用Clifford代数的进展 1 组合数学电子杂志 1 俄斯特拉维大学数学与信息学报 1 Doklady数学 1 软计算 1 美国计算机学会期刊 1 LMS计算与数学杂志 1 洛巴切夫斯基数学杂志 1 国际现代物理杂志C 1 国际不确定性、模糊性和基于知识的系统杂志 1 逻辑与代数程序设计杂志 1 自然计算 1 离散算法杂志 1 离散优化 …还有14部连续剧 全部的 前5名32个字段中引用 936 计算机科学(68至XX) 423 数学逻辑和基础(03-XX) 105 组合数学(05-XX) 58 博弈论、经济学、金融和其他社会和行为科学(91-XX) 30 群论与推广(20-XX) 23 一般代数系统(08-XX) 21 运筹学、数学规划(90-XX) 20 信息与通信理论、电路(94-XX) 10 系统论;控制(93至XX) 7 有序,格,有序代数结构(06-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 概率论与随机过程(60-XX) 3 总体主题;集合(00-XX) 3 数论(11-XX) 3 范畴理论;同调代数(18-XX) 3 动力系统和遍历理论(37至XX) 3 量子理论(81-XX) 2 历史和传记(01-XX) 2 场论和多项式(12-XX) 2 近似值和展开值(41至XX) 2 统计力学,物质结构(82-XX) 2 生物学和其他自然科学(92-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 结合环与代数(16-XX) 1 实函数(26年X月X日) 1 测量和集成(28-XX) 1 特殊功能(33至XX) 1 变分法与最优控制;最优化(49至XX) 1 一般拓扑结构(54至XX) 1 数值分析(65-XX) 1 可变形固体力学(74-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.