编辑配置文件（在新选项卡中打开） 雷内·蒂曼 合著者距离 作者ID： 蒂曼·雷内 发布日期： 雷内·蒂曼;雷内·蒂曼 已编制索引的文档： 56出版物自2003年起 3作为编辑的贡献 合著者： 55位合著者具有56联合出版物 516位合作作者 全部的 前5名合著者 三 单作者的 24 吉尔根·吉斯尔 20 彼得·施奈德·坎普 15 克里斯蒂安·斯特纳格尔 7 Akihisa山田 6 卡斯滕·福斯 5 何塞·迪瓦松 5 Joosten，Sebastian J.C。 三 拉夫·克里斯蒂安·波特什 三 马克·布罗克施米特 三 迈克尔·科迪什 三 费边·埃姆斯 三 Max W·哈斯贝克。 三 阿尔特·米德尔多普 三 亚历山大·塞雷布雷尼克 三 托马斯·斯特罗德 2 斯蒂芬·福克 2 伯特伦·费尔根豪尔 2 弗罗恩，弗洛里安 2 卡斯滕·奥托 2 马丁·普吕克 2 斯威德斯基，斯蒂芬 2 斯蒂芬妮·斯威德斯基 2 哈拉尔德·赞克 1 阿勒科恩，比阿特丽兹 1 纪尧姆·阿拉伊斯 1 埃琳娜·安诺夫 1 科尼利厄斯·阿舍曼 1 马丁·阿文齐尼 1 贝内维特斯，马里奥·R·F·。 1 朱利安·比恩达拉 1 贾斯敏·克里斯蒂安·布兰切特 1 艾默里·布齐 1 马丁·德沙奈斯 1 马蒂亚斯·弗勒里 1 劳尔·古铁雷斯 1 杰拉·亨塞尔 1 Johannes霍尔兹尔 1 亚历山大·克劳斯 1 昆查尔，Ondřej 1 Kusakari、Keiichirou 1 维塔利湖 1 安德烈亚斯·洛赫比勒 1 萨尔瓦多卢卡斯 1 费比安·迈尔 1 弗雷德里克·梅斯纳德 1 朱利安·纳格尔 1 亚当·纳莫维奇 1 Vivek Nigam先生 1 潘尼，洛伦茨 1 安德烈·波佩斯库 1 阿尔伯特·鲁比奥 1 德米特里·特拉泰尔 1 约翰内斯·沃尔德曼 1 莎拉·温克勒 1 汉斯·赞特马 全部的 前5名系列 8 自动推理杂志 2 工程、通信和计算中的应用代数 1 理论计算机科学 1 信息与计算 1 逻辑程序设计理论与实践 1 ACM计算逻辑汇刊 1 理论计算机科学电子笔记 1 LIPIcs–莱布尼茨国际信息学会议录 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 59 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 5 交换代数（13-XX） 4 数论（11-XX） 三 总体主题；集合（00-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 51出版物有被引用503次237文件 引用人▼ 年份▼ 机械化和改进依赖项对。 Zbl 1113.68088号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 62 2006 依赖对框架：自动终止证明的组合技术。 Zbl 1108.68477号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普 51 2005 使用CeTA认证终止证明。 Zbl 1252.68265号 雷内·蒂曼;克里斯蒂安·斯特纳格尔 34 2009 用多项式解释进行终止分析的SAT求解。 Zbl 1214.68352号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克 34 2007 证明和反驳高阶函数的终止性。 Zbl 1171.68714号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普 31 2005 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿舍曼;马克·布罗克施米特;费边·埃姆斯;弗罗恩，弗洛里安;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗罗恩，弗洛里安;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 Haskell的自动终止分析：从术语重写到编程语言。 Zbl 1151.68444号 吉尔根·吉斯尔;斯威德斯基，斯蒂芬;彼得·施奈德·坎普;雷内·蒂曼 22 2006 最大终止。 Zbl 1145.68446号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克 14 2008 通过术语重写实现逻辑程序的自动终止证明。 兹比尔1351.68054 彼得·施奈德·坎普;吉尔根·吉斯尔;亚历山大·塞雷布雷尼克;雷内·蒂曼 13 2009 用于终止术语重写的大小更改原则和依赖项对。 兹比尔1101.68640 雷内·蒂曼;吉尔根·吉斯尔 12 2005 通过有界增长证明终止。 Zbl 1213.68347号 吉尔根·吉斯尔;雷内·蒂曼;斯威德斯基，斯蒂芬;彼得·施奈德·坎普 10 2007 改进依赖项对。 Zbl 1273.68320号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 10 2003 使用依赖对改进了模块化终止证明。 Zbl 1126.68582号 雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普 10 2004 带cut的逻辑程序的自动终止分析。 Zbl 1209.68098号 彼得·施奈德·坎普;吉尔根·吉斯尔;托马斯·斯特罗德;亚历山大·塞雷布雷尼克;雷内·蒂曼 10 2010 使用递归路径顺序和SAT求解证明终止。 Zbl 1148.68393号 彼得·施奈德·坎普;雷内·蒂曼;埃琳娜·安诺夫;迈克尔·科迪什;吉尔根·吉斯尔 10 2007 通过术语重写对逻辑程序进行自动终止分析。 Zbl 1196.68036号 彼得·施奈德·坎普;吉尔根·吉斯尔;亚历山大·塞雷布雷尼克;雷内·蒂曼 9 2007 改进上下文敏感依赖项对。 Zbl 1182.68092号 阿勒科恩，比阿特丽兹;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;彼得·施奈德·坎普;雷内·蒂曼 8 2008 Berlekamp-Zassenhaus因子分解算法的验证实现。 Zbl 1469.68165号 Jose Divasón;Joosten，Sebastian J.C。;雷内·蒂曼;Akihisa山田 8 2020 正式确定Knuth-Bendix订单和完成Knuth-Bendix。 Zbl 1356.68201号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 7 2011 Isabelle/HOL中的代数数。 Zbl 1478.68443号 雷内·蒂曼;Akihisa山田 7 2016 签名扩展保留终止。通过依赖对的另一种证明。 Zbl 1287.03032号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 7 2010 形式化单调代数以证明终止性和复杂性。 兹伯利1416.68180 克里斯蒂安·斯特纳格尔;雷内·蒂曼 7 2014 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·班德拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;Johannes霍尔兹尔;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;潘尼，洛伦茨;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特拉泰尔 6 2017 具有递归路径顺序和依赖对的终止证明的SAT求解。 兹比尔1276.68140 迈克尔·科迪什;吉尔根·吉斯尔;彼得·施奈德·坎普;雷内·蒂曼 6 2012 终止竞争（术语COMP 2015）。 Zbl 1465.68282号 吉尔根·吉斯尔;弗雷德里克·梅斯纳德;阿尔伯特·鲁比奥;雷内·蒂曼;约翰内斯·沃尔德曼 6 2015 用于术语重写的大小更改终止。 Zbl 1038.68072号 雷内·蒂曼;吉尔根·吉斯尔 5 2003 基于多集排序的终止技术的形式化。 Zbl 1437.68088号 雷内·蒂曼;纪尧姆·阿拉伊斯;朱利安·纳格尔 5 2012 使用状态兼容自动机进行可达性、汇流和终止分析。 Zbl 1362.68137号 伯特伦·费尔根豪尔;雷内·蒂曼 4 2017 验证了LLL基约简算法的有效实现。 Zbl 1409.68252号 拉尔夫·波特什;Max W·哈斯贝克。;雷内·蒂曼 4 2018 状态兼容自动机的可达性分析。 Zbl 1362.68136号 伯特伦·费尔根豪尔;雷内·蒂曼 4 2014 在Isabelle/HOL中验证线性算法的增量理论解算器。 Zbl 1435.68362号 拉尔夫·波特什;Max W·哈斯贝克。;雷内·蒂曼 4 2019 将有限增长形式化。 Zbl 1317.68233号 雷内·蒂曼 4 2013 LLL基约简算法的形式化。 Zbl 1468.68287号 Jose Divasón;塞巴斯蒂安·乔斯顿;雷内·蒂曼;Akihisa山田 三 2018 参数筛选的SAT求解。 Zbl 1165.68484号 迈克尔·科迪什;彼得·施奈德·坎普;维塔利湖;雷内·蒂曼;吉尔根·吉斯尔 三 2006 从最外面的终端到最里面的终端。 Zbl 1206.68094号 雷内·蒂曼 三 2009 重新访问AC依赖项对。 Zbl 1369.68250号 Akihisa山田;克里斯蒂安·斯特纳格尔;雷内·蒂曼;Kusakari、Keiichirou 三 2016 广义的和形式化的去毛刺。 兹比尔1348.68086 克里斯蒂安·斯特纳格尔;雷内·蒂曼 2 2011 导出比较器并在Isabelle/HOL中显示函数。 Zbl 1465.68063号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 2 2015 通过标记最早终止重写系统。 Zbl 1279.68121号 雷内·蒂曼;阿尔特·米德尔多普 2 2008 决定最里面的循环。 兹比尔1145.68457 雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普 2 2008 Isabelle/HOL中代数数的验证实现。 Zbl 1468.68326号 Joosten，Sebastian J.C。;雷内·蒂曼;Akihisa山田 2 2020 非终止证明的证明。 Zbl 1360.68767号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2012 策略下的循环。 Zbl 1242.68142号 雷内·蒂曼;克里斯蒂安·斯特纳格尔 1 2009 通过终止重写来终止Isabelle函数。 Zbl 1342.68289号 亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 开发独立证书的框架。 Zbl 1342.68304号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2015 认证整数转换系统的安全和终止证明。 Zbl 1494.68294号 马克·布罗克施米特;Joosten，Sebastian J.C。;雷内·蒂曼;Akihisa山田 1 2017 使用CeTA证明复杂性。 Zbl 1366.68105号 马丁·阿文齐尼;克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2015 模块化和认证的语义标记和取消标记。 Zbl 1236.68151号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2011 经认证的子团队标准和经认证的可用规则。 Zbl 1236.68152号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2010 决定矩阵增长的Perron-Frobenius定理。 Zbl 1528.68394号 雷内·蒂曼 1 2021 决定矩阵增长的Perron-Frobenius定理。 Zbl 1528.68394号 雷内·蒂曼 1 2021 Berlekamp-Zassenhaus因子分解算法的验证实现。 Zbl 1469.68165号 Jose Divasón;Joosten，Sebastian J.C。;雷内·蒂曼;Akihisa山田 8 2020 Isabelle/HOL中代数数的验证实现。 Zbl 1468.68326号 Joosten，Sebastian J.C。;雷内·蒂曼;Akihisa山田 2 2020 在Isabelle/HOL中验证线性算法的增量理论解算器。 Zbl 1435.68362号 拉尔夫·波特什;Max W·哈斯贝克。;雷内·蒂曼 4 2019 验证了LLL基约简算法的有效实现。 兹比尔1409.68252 拉尔夫·波特什;Max W·哈斯贝克。;雷内·蒂曼 4 2018 LLL基约简算法的形式化。 兹比尔1468.68287 Jose Divasón;塞巴斯蒂安·乔斯顿;雷内·蒂曼;Akihisa山田 三 2018 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿舍曼;马克·布罗克施米特;费边·埃姆斯;弗罗恩，弗洛里安;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;Johannes霍尔兹尔;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;潘尼，洛伦茨;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特拉泰尔 6 2017 使用状态兼容自动机进行可达性、汇流和终止分析。 Zbl 1362.68137号 伯特伦·费尔根豪尔;雷内·蒂曼 4 2017 认证整数转换系统的安全和终止证明。 Zbl 1494.68294号 马克·布罗克施米特;Joosten，Sebastian J.C。;雷内·蒂曼;Akihisa山田 1 2017 Isabelle/HOL中的代数数。 Zbl 1478.68443号 雷内·蒂曼;Akihisa山田 7 2016 重新访问AC依赖项对。 Zbl 1369.68250号 Akihisa山田;克里斯蒂安·斯特纳格尔;雷内·蒂曼;Kusakari、Keiichirou 三 2016 终止竞争（术语COMP 2015）。 Zbl 1465.68282号 吉尔根·吉斯尔;弗雷德里克·梅斯纳德;阿尔伯特·鲁比奥;雷内·蒂曼;约翰内斯·沃尔德曼 6 2015 导出比较器并在Isabelle/HOL中显示函数。 Zbl 1465.68063号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 2 2015 开发独立证书的框架。 Zbl 1342.68304号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2015 使用CeTA证明复杂性。 Zbl 1366.68105号 马丁·阿文齐尼;克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2015 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗罗恩，弗洛里安;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 形式化单调代数以证明终止性和复杂性。 Zbl 1416.68180号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 7 2014 状态兼容自动机的可达性分析。 Zbl 1362.68136号 伯特伦·费尔根豪尔;雷内·蒂曼 4 2014 将有限增长形式化。 Zbl 1317.68233号 雷内·蒂曼 4 2013 具有递归路径顺序和依赖对的终止证明的SAT求解。 Zbl 1276.68140号 迈克尔·科迪什;吉尔根·吉斯尔;彼得·施奈德·坎普;雷内·蒂曼 6 2012 关于基于多集排序的终止技术的形式化。 Zbl 1437.68088号 雷内·蒂曼;纪尧姆·阿拉伊斯;朱利安·纳格尔 5 2012 非终止证明的证明。 Zbl 1360.68767号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2012 正式确定Knuth-Bendix订单和完成Knuth-Bendix。 兹比尔1356.68201 克里斯蒂安·斯特纳格尔;雷内·蒂曼 7 2011 广义的和形式化的去毛刺。 Zbl 1348.68086号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 2 2011 通过终止重写来终止Isabelle函数。 Zbl 1342.68289号 亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 模块化和认证的语义标记和取消标记。 Zbl 1236.68151号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2011 带cut的逻辑程序的自动终止分析。 Zbl 1209.68098号 彼得·施奈德·坎普;吉尔根·吉斯尔;托马斯·斯特罗德;亚历山大·塞雷布雷尼克;雷内·蒂曼 10 2010 签名扩展保留终止。通过依赖对的另一种证明。 Zbl 1287.03032号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 7 2010 经认证的子团队标准和经认证的可用规则。 Zbl 1236.68152号 克里斯蒂安·斯特纳格尔;雷内·蒂曼 1 2010 使用CeTA认证终止证明。 Zbl 1252.68265号 雷内·蒂曼;克里斯蒂安·斯特纳格尔 34 2009 通过术语重写实现逻辑程序的自动终止证明。 Zbl 1351.68054号 彼得·施奈德·坎普;吉尔根·吉斯尔;亚历山大·塞雷布雷尼克;雷内·蒂曼 13 2009 从最外面的终端到最里面的终端。 Zbl 1206.68094号 雷内·蒂曼 三 2009 策略下的循环。 Zbl 1242.68142号 雷内·蒂曼;克里斯蒂安·斯特纳格尔 1 2009 最大终止。 Zbl 1145.68446号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克 14 2008 改进上下文敏感依赖项对。 Zbl 1182.68092号 阿勒科恩，比阿特丽兹;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;彼得·施奈德·坎普;雷内·蒂曼 8 2008 通过标记来终止重写系统。 Zbl 1279.68121号 雷内·蒂曼;阿尔特·米德尔多普 2 2008 决定最里面的循环。 Zbl 1145.68457号 雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普 2 2008 用多项式解释进行终止分析的SAT求解。 兹比尔1214.68352 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔德·赞克 34 2007 通过有界增长证明终止。 Zbl 1213.68347号 吉尔根·吉斯尔;雷内·蒂曼;Stephan斯维德斯基;彼得·施奈德·坎普 10 2007 使用递归路径顺序和SAT求解证明终止。 Zbl 1148.68393号 彼得·施奈德·坎普;雷内·蒂曼;埃琳娜·安诺夫;迈克尔·科迪什;吉尔根·吉斯尔 10 2007 通过术语重写对逻辑程序进行自动终止分析。 Zbl 1196.68036号 彼得·施奈德·坎普;吉尔根·吉斯尔;亚历山大·塞雷布雷尼克;雷内·蒂曼 9 2007 机械化和改进依赖项对。 Zbl 1113.68088号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 62 2006 Haskell的自动终止分析：从术语重写到编程语言。 Zbl 1151.68444号 吉尔根·吉斯尔;斯威德斯基，斯蒂芬;彼得·施奈德·坎普;雷内·蒂曼 22 2006 参数筛选的SAT求解。 Zbl 1165.68484号 迈克尔·科迪什;彼得·施奈德·坎普;维塔利湖;雷内·蒂曼;吉尔根·吉斯尔 三 2006 依赖对框架：自动终止证明的组合技术。 Zbl 1108.68477号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普 51 2005 证明和反驳高阶函数的终止性。 Zbl 1171.68714号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普 31 2005 用于终止术语重写的大小更改原则和依赖项对。 Zbl 1101.68640号 雷内·蒂曼;吉尔根·吉斯尔 12 2005 使用依赖对改进模块化终止证明。 Zbl 1126.68582号 雷内·蒂曼;吉尔根·吉斯尔;彼得·施奈德·坎普 10 2004 改进依赖项对。 Zbl 1273.68320号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 10 2003 用于术语重写的大小更改终止。 Zbl 1038.68072号 雷内·蒂曼;吉尔根·吉斯尔 5 2003 所有引用出版物 前5名被引用出版物 全部的 前5名296位作者引用 26 萨尔瓦多卢卡斯 23 吉尔根·吉斯尔 23 阿尔特·米德尔多普 22 雷内·蒂曼 16 彼得·施奈德·坎普 13 克里斯蒂安·斯特纳格尔 12 劳尔·古铁雷斯 11 直纪西田 10 卡斯滕·福斯 10 哈拉尔德·赞克 9 乔治·莫瑟 9 莎拉·温克勒 9 Akihisa山田 8 德国维达尔 8 汉斯·赞特马 7 Nao Hirokawa 6 约尔格恩德鲁利斯 6 弗罗恩，弗洛里安 6 何塞·梅塞盖尔·瓜伊塔 6 托比亚斯·尼普科 6 托马斯·斯特罗德 5 杰拉·亨塞尔 5 何塞·伊波拉 5 基里恩·克莱默 4 艾丽卡·阿尔布拉汉姆 4 阿拉康，比阿特丽斯 4 贾斯敏·克里斯蒂安·布兰切特 4 弗雷德里克·布兰基 4 马克·布罗克施米特 4 亚历山德罗·西马蒂 4 Jose Divasón 4 斯蒂芬·福克 4 伯特伦·费尔根豪尔 4 阿尔贝托·格里乔 4 阿尔伯特·鲁比奥 4 约翰内斯·沃德曼 三 科尼利厄斯·阿舍曼 三 马丁·阿文齐尼 三 克里斯蒂娜·博拉莱拉斯 三 迈克尔·科迪什 三 路易斯·克鲁兹·菲利佩 三 弗朗西斯科·杜兰 三 费边·埃姆斯 三 伯恩哈德·格拉姆利希 三 塞尔吉奥·格雷科 三 Joosten，Sebastian J.C。 三 亚当·科普洛夫斯基 三 马丁·科尔普 三 安德烈亚斯·洛赫比勒 三 亚历山大·洛赫曼 三 恩里科·马格纳戈 三 拉斐尔·纳瓦罗·马塞特 三 卡斯滕·奥托 三 罗德里格斯·卡博内尔，恩里克 三 Masahiko酒井 三 伊琳娜·特鲁比西纳 三 泽维尔·乌尔班 2 斯科特·亚伦森 2 泽维尔·阿拉米吉恩 2 玛丽亚·阿尔普特 2 高仁青藤 2 毛里西奥·阿亚拉·林科恩 2 阿米尔·本·阿姆拉姆。 2 马可·卡洛蒂 2 弗洛里安·科齐利厄斯 2 丹尼·德·施雷耶 2 德拉本特，Włodzimierz 2 圣地亚哥埃斯科瓦尔 2 罗宾·Eßmann 2 米尔塔·利纳·费尔南德斯 2 托马斯·杰奈特 2 简·赫尔曼·杰弗斯 2 迪米特里·亨德里克斯 2 Heule，Marijn J.H。 2 迪帕克·卡普尔 2 里卡多·戴维·卡茨 2 辛西娅·科普 2 亚历山大·克劳斯 2 昆查尔，Ondřej 2 洛伦兹·勒特盖布 2 库尔特·梅尔霍恩 2 费比安·米特沃纳 2 克里斯蒂安·莫里纳罗 2 朱利安·纳格尔 2 拉尔斯·诺钦斯基 2 阿尔伯特·奥利弗拉斯 2 分手，迈克尔 2 劳伦斯·查尔斯·保尔森 2 马丁·普吕克 2 安德烈·波佩斯库 2 西蒙·罗比拉德 2 大卫·萨贝尔 2 费利克斯·舍恩哈默 2 安德斯·施利奇特克鲁尔 2 安德烈亚斯·施纳布尔 2 Pierre-Yves支柱 2 斯威德斯基，斯蒂芬 2 德米特里·特拉泰尔 2 乌韦·沃尔德曼 2 埃姆雷·约尔库 …还有196位作者 全部的 前5名23篇连载文章中引用 41 自动推理杂志 11 信息与计算 8 程序设计中的逻辑和代数方法杂志 6 理论计算机科学 6 工程、通信和计算中的应用代数 6 计算机科学中的逻辑方法 5 计算的形式方面 5 逻辑程序设计理论与实践 4 信息处理信件 三 MSCS公司。计算机科学中的数学结构 三 ACM计算逻辑汇刊 2 符号计算杂志 2 数学与人工智能年鉴 2 逻辑与代数程序设计杂志 1 信息学报 1 计算机与系统科学杂志 1 分布式计算 1 函数编程杂志 1 图形算法与应用杂志 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 《大学学报》。Informatica公司 1 形式化数学 全部的 前5名13个领域引用 231 计算机科学（68至XX） 40 数学逻辑和基础（03-XX） 4 场论和多项式（12-XX） 三 组合数学（05-XX） 三 数论（11-XX） 三 交换代数（13-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 2 有序，格，有序代数结构（06-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 代数几何（14-XX） 1 数值分析（65-XX） 1 数学教育（97-XX） 按年份列出的引文