编辑配置文件（在新选项卡中打开） 阿伦·斯塔姆 合著者距离 作者ID： 树桩 发布日期： 阿伦·斯塔姆 已编制索引的文档： 39出版物自2000年起 合著者： 44位合著者具有33联合出版物 522位联合作者 全部的 前5名合著者 5 单作者的 8 克拉克·W·巴雷特。 6 大卫·L·迪尔。 三 莱昂纳多·德·莫拉 三 傅鹏 三 克里斯托弗·詹金斯 三 加林·金梅尔 三 伊恩·卫尔曼 2 瑞安·麦克莱利 2 Oe，Duckki（杜基·欧） 2 维勒姆·舍贝里 2 埃德温·韦斯特布鲁克 1 安基永 1 安德鲁·W·阿佩尔。 1 瑞安·贝桑德 1 理查德·布莱尔 1 布莱恩，马丁 1 詹姆斯·C·布罗德曼。 1 克里斯·卡辛基诺 1 凯文·克兰西 1 大卫·R·科克。 1 内森·A·柯林斯。 1 拉里·迪尔 1 哈雷D.III伊德斯 1 哈雷III伊德斯 1 罗巴·埃尔哈吉·奥马尔 1 鲁巴哈吉·奥马尔 1 丹尼斯·菲尔索夫 1 哈达伦，莉安娜 1 乔纳森·休伊 1 比尔·金纳斯利 1 罗伯特·克拉珀 1 伯恩德·洛什内尔 1 安德鲁·马马杜基 1 Michael，Neophytos G.新植物。 1 科里·奥利弗 1 安德鲁·雷诺兹 1 卡斯滕·舒尔曼 1 蒂姆·谢尔德 1 Tan，溧阳 1 塞萨尔·蒂内利 1 罗伯托·维尔加 1 Tjark韦伯 1 斯蒂芬妮·威里奇 1 汉斯·赞特马 全部的 前5名系列 三 自动推理杂志 2 系统设计中的形式化方法 2 函数编程杂志 2 计算机科学中的逻辑方法 1 信息处理信件 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 高阶和符号计算 1 计算机代数中的ACM通信 领域 35 计算机科学（68至XX） 18 数理逻辑与基础（03-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用150中的次110文件 引用人▼ 年份▼ CVC：协同有效性检查器。 Zbl 1010.68720号 阿伦·斯塔姆；克拉克·W·巴雷特。；大卫·L·迪尔。 19 2002 通过增量转换到SAT来检查一阶公式的可满足性。 Zbl 1010.68531号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 18 2002 肖斯塔克组合决策过程方法的推广。 Zbl 1057.68109号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 13 2002 versat公司：经过验证的现代SAT求解器。 Zbl 1326.68263号 Oe，Duckki（杜基·欧）；阿伦·斯塔姆；科里·奥利弗；凯文·克兰西 13 2012 Slothrop：Knuth-Bendix完成，配有现代终止检查器。 Zbl 1151.68456号 伊恩·卫尔曼；阿伦·斯塔姆；埃德温·韦斯特布鲁克 13 2006 SMT-COMP：可满足性模理论竞争。 Zbl 1081.68607号 克拉克·巴雷特；莱昂纳多·莫拉；阿伦·斯塔姆 10 2005 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆；Oe，Duckki（杜基·欧）；安德鲁·雷诺兹；哈达伦，莉安娜；塞萨尔·蒂内利 8 2013 直接反射元编程。 Zbl 1183.68164号 阿伦·斯塔姆 5 2010 合作决策程序的框架。 Zbl 0963.68177号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 4 2000 一种基于语言的方法，用于在功能上纠正命令式编程。 兹比尔1302.68095 埃德温·韦斯特布鲁克；阿伦·斯塔姆；伊恩·卫尔曼 4 2005 Cedille中高效的Mendler-style lambda编码。 Zbl 1511.68053号 丹尼斯·菲尔索夫；理查德·布莱尔；阿伦·斯塔姆 4 2018 相依λ消去的演算。 Zbl 1418.68038号 阿伦·斯塔姆 4 2017 第一届可满足性模理论竞赛（SMT-COMP 2005）的设计和结果。 Zbl 1104.68719号 克拉克·巴雷特；莱昂纳多·德·莫拉；阿伦·斯塔姆 三 2005 简单类型的重写视图。 Zbl 1272.03142号 阿伦·斯塔姆；加林·金梅尔；汉斯·赞特马；鲁巴哈吉·奥马尔 三 2013 挖掘小验证子句的命题简化证明。 Zbl 1272.68367号 伊恩·卫尔曼；阿伦·斯塔姆 三 2006 Knuth-Bendix完成了交换群自同态理论。 Zbl 1187.68531号 阿伦·斯塔姆；伯恩德·洛什内尔 三 2006 等式证明的代数。 Zbl 1078.68740号 阿伦·斯塔姆；谭丽阳 三 2005 总类型理论中λ编码的效率。 Zbl 1420.68045号 阿伦·斯塔姆；傅鹏 三 2016 值得信赖的校对员。 Zbl 1069.68596号 安德鲁·W·阿佩尔。；Michael，新植物；阿伦·斯塔姆；罗伯托·维尔加 2 2003 爱丁堡逻辑框架中更快的校对。 Zbl 1072.68594号 阿伦·斯塔姆；大卫·L·迪尔。 2 2002 经验证的证明决策程序。 Zbl 1272.68359号 罗伯特·克拉珀；阿伦·斯塔姆 2 2005 独立类型lambda编码的自身类型。 兹伯利1416.68162 傅鹏；阿伦·斯塔姆 2 2014 2013年对SMT-COMP和SMT-LIB的评估。 Zbl 1356.68185号 大卫·R·科克。；阿伦·斯塔姆；Tjark韦伯 2 2015 第二届年度可满足性模理论竞赛（SMT-COMP 2006）的设计和结果。 Zbl 1129.68498号 克拉克·巴雷特；莱昂纳多·德·莫拉；阿伦·斯塔姆 2 2007 从可实现性到通过依赖交集进行归纳。 兹比尔1469.03037 阿伦·斯塔姆 2 2018 从流氓到小流氓。 Zbl 1272.68198号 阿伦·斯塔姆；瑞安·贝桑德；詹姆斯·C·布罗德曼。；乔纳森·休伊；比尔·金纳斯利 1 2005 （lambda\Delta）演算的遗传替换。 Zbl 1471.03023号 哈雷·伊德斯；阿伦·斯塔姆 1 2013 Cedille中幂等函数的商。 兹比尔1503.68038 安德鲁·马马杜基；克里斯托弗·詹金斯；阿伦·斯塔姆 1 2020 Cedille中幂等函数的商。 Zbl 1503.68038号 安德鲁·马马杜基；克里斯托弗·詹金斯；阿伦·斯塔姆 1 2020 Cedille中高效的Mendler-style lambda编码。 Zbl 1511.68053号 丹尼斯·菲尔索夫；理查德·布莱尔；阿伦·斯塔姆 4 2018 从可实现性到通过依赖交集进行归纳。 Zbl 1469.03037号 阿伦·斯塔姆 2 2018 相依λ消去的演算。 Zbl 1418.68038号 阿伦·斯塔姆 4 2017 总类型理论中λ编码的效率。 Zbl 1420.68045号 阿伦·斯塔姆；傅鹏 三 2016 2013年对SMT-COMP和SMT-LIB的评估。 Zbl 1356.68185号 大卫·R·科克。；阿伦·斯塔姆；Tjark韦伯 2 2015 独立类型lambda编码的自身类型。 兹伯利1416.68162 傅鹏；阿伦·斯塔姆 2 2014 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆；Oe，Duckki（杜基·欧）；安德鲁·雷诺兹；哈达伦，莉安娜；塞萨尔·蒂内利 8 2013 简单类型的重写视图。 Zbl 1272.03142号 阿伦·斯塔姆；加林·金梅尔；汉斯·赞特马；鲁巴哈吉·奥马尔 三 2013 （lambda\Delta）演算的遗传替换。 Zbl 1471.03023号 哈雷·伊德斯；阿伦·斯塔姆 1 2013 versat公司：经过验证的现代SAT求解器。 Zbl 1326.68263号 Oe，Duckki（杜基·欧）；阿伦·斯塔姆；科里·奥利弗；凯文·克兰西 13 2012 直接反射元编程。 Zbl 1183.68164号 阿伦·斯塔姆 5 2010 第二届年度可满足性模理论竞赛（SMT-COMP 2006）的设计和结果。 Zbl 1129.68498号 克拉克·巴雷特；莱昂纳多·德·莫拉；阿伦·斯塔姆 2 2007 Slothrop：Knuth-Bendix完成，配有现代终止检查器。 Zbl 1151.68456号 伊恩·卫尔曼；阿伦·斯塔姆；埃德温·韦斯特布鲁克 13 2006 挖掘小验证子句的命题简化证明。 Zbl 1272.68367号 伊恩·卫尔曼；阿伦·斯塔姆 三 2006 Knuth-Bendix完成了交换群自同态理论。 Zbl 1187.68531号 阿伦·斯塔姆；伯恩德·洛什内尔 三 2006 SMT-COMP：可满足性模理论竞争。 Zbl 1081.68607号 克拉克·巴雷特；莱昂纳多·莫拉；阿伦·斯塔姆 10 2005 一种基于语言的方法，用于在功能上纠正命令式编程。 兹比尔1302.68095 埃德温·韦斯特布鲁克；阿伦·斯塔姆；伊恩·卫尔曼 4 2005 第一届可满足性模理论竞赛（SMT-COMP 2005）的设计和结果。 Zbl 1104.68719号 克拉克·巴雷特；莱昂纳多·德·莫拉；阿伦·斯塔姆 三 2005 等式证明的代数。 兹比尔1078.68740 阿伦·斯塔姆；谭丽阳 三 2005 经验证的证明决策程序。 Zbl 1272.68359号 罗伯特·克拉珀；阿伦·斯塔姆 2 2005 从流氓到小流氓。 兹比尔1272.68198 阿伦·斯塔姆；瑞安·贝桑德；詹姆斯·C·布罗德曼。；乔纳森·休伊；比尔·金纳斯利 1 2005 值得信赖的校对员。 Zbl 1069.68596号 安德鲁·W·阿佩尔。；Michael，新植物；阿伦·斯塔姆；罗伯托·维尔加 2 2003 CVC：协同有效性检查器。 兹比尔1010.68720 阿伦·斯塔姆；克拉克·W·巴雷特。；大卫·L·迪尔。 19 2002 通过增量转换到SAT来检查一阶公式的可满足性。 Zbl 1010.68531号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 18 2002 肖斯塔克组合决策过程方法的推广。 Zbl 1057.68109号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 13 2002 爱丁堡逻辑框架中更快的校对。 Zbl 1072.68594号 阿伦·斯塔姆；大卫·L·迪尔。 2 2002 合作决策程序的框架。 Zbl 0963.68177号 克拉克·W·巴雷特。；大卫·L·迪尔。；阿伦·斯塔姆 4 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名被227位作者引用 11 阿伦·斯塔姆 7 克拉克·W·巴雷特。 7 阿尔特·米德尔多普 7 莎拉·温克勒 6 塞萨尔·蒂内利 4 玛丽亚·保拉（Maria Paola Bonacina） 4 马蒂亚斯·弗勒里 4 Heule，Marijn J.H。 4 罗伯托·塞巴斯蒂亚尼 4 斯特里赫曼（Ofer Strichman） 三 贾斯敏·克里斯蒂安·布兰切特 三 亚历山德罗·西马蒂 三 穆纳乔·埃切宁 三 帕斯卡·方丹 三 克里斯托弗·詹金斯 三 佐藤、晴彦 2 Seulkee Baek先生 2 罗伯托·布鲁托梅索 2 Sylvain Conchon公司 2 莱昂纳多·德·莫拉 2 戴维·戴哈贝 2 Farmer，William M。 2 恩里科Giunchilia 2 阿尔贝托·格里乔 2 米科拉什·亚诺塔 2 马蒂·Järvisalo 2 克雷默，杰伦 2 丹尼尔·科宁 2 萨瓦·A·克里斯蒂。 2 栗原、Masahito 2 彼得·兰米奇 2 马可·马拉提亚 2 Joáo P.塞尔瓦侯爵。 2 米查·莫斯卡尔 2 托比亚斯·尼普科 2 西尔维奥·兰伊斯 2 安德鲁·雷诺兹 2 克里斯托夫·林盖森 2 王，弯腰 2 克里斯托夫·韦登巴赫 2 汉斯·赞特马 2 卡拉戈罗·扎尔巴。 2 尤尼·佐哈尔 1 艾丽卡·阿尔布拉汉姆 1 弗朗西斯科·阿尔贝蒂 1 安德鲁·W·阿佩尔。 1 亚历山德罗·阿曼多 1 艾曼纽·阿里吉 1 大卫·阿斯皮纳尔 1 巴哈雷赫巴德班 1 哈尼尔·巴博萨 1 菲利波·比加雷拉 1 拉尔斯·比克达尔 1 米克尔波菲尔 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 Böhme，萨沙 1 马可·波扎诺 1 弗朗西斯科·卡利默里 1 克劳迪奥·卡斯泰里尼 1 弗朗西斯科·考特鲁西奥 1 布莱恩·查德威克 1 阿明·查伊布 1 扎卡里亚·奇哈尼 1 魏恩根·钦 1 卢卡·西内利 1 瑟·特凡·乔巴赫 1 克拉克（Edmund Melson jun Clarke）。 1 大卫·J·柯里。 1 克里斯蒂娜·大卫 1 德奥利维拉·奥利维拉，马特乌斯 1 德奥利维拉，迭戈·卡米尼亚B。 1 马丁·德沙奈斯 1 拉里·迪尔 1 斯特凡·迪什 1 丹尼·多列夫 1 法国杜兰杜比夫 1 沃尔夫冈·德沃亚克 1 哈雷III伊德斯 1 方，易 1 弗兰蒂舍克·法尔卡 1 伯特伦·费尔根豪尔 1 冯秀山 1 亨宁费尔瑙 1 安德斯·弗朗森 1 马丁·范策尔 1 傅鹏 1 傅玉福 1 Masahiro Fujita 1 巴兹尔·弗里尔 1 葛叶婷 1 罗曼·格什曼 1 西尔维奥·吉拉尔迪 1 本杰明·戈德伯格 1 圣菲省格拉汉·伦格兰德 1 顾，明 1 顾，明 1 哈达伦，莉安娜 1 马尔顿哈杜 1 他，费 1 何开多 ……还有127位作者 全部的 前5名23篇连载文章中引用 21 自动推理杂志 6 信息与计算 6 系统设计中的形式化方法 三 人工智能 三 函数编程杂志 三 数学与人工智能年鉴 2 计算机程序设计科学 2 符号计算杂志 2 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 信息处理信件 1 信息科学 1 计算机与系统科学杂志 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 国际并行程序设计杂志 1 计算的形式方面 1 图形算法与应用杂志 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 应用数学杂志 1 ACM计算逻辑事务 1 浙江大学学报。科学A 全部的 前5名在12个字段中引用 105 计算机科学（68至XX） 38 数理逻辑与基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 场论与多项式（12-XX） 1 群论与推广（20-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文