编辑配置文件（在新选项卡中打开） 汤姆·施里杰弗斯 合著者距离 作者ID： schrijvers.tom公司 发布日期： 汤姆·施里杰弗斯 已编制索引的文档： 61出版物自2002年起 4作为编辑的贡献 合著者： 68合著者具有64联合出版物 988合著作者 全部的 前5名合著者 1 单作者的 14 巴特·德梅恩 7 布鲁诺·C·d·S·奥利维拉。 6 彼得·詹姆斯·斯塔基 5 马丁·苏尔兹曼 5 尼古拉斯·吴 4 德索特，贝诺特 4 乔恩·斯奈尔斯 4 Wielemaker，简 3 莱斯利·德科宁克 3 托姆·吕维思 3 西蒙·琼斯（Simon L.Peyton Jones）。 3 阿穆尔·哈尼·萨利赫 3 范登伯格，比尔特 3 皮特·威勒 2 莫里斯·布鲁诺 2 弗朗索瓦·迪尔瓦夫 2 特拉华州，本杰明 2 玛丽亚·加西亚·德拉班达 2 杰里米·吉本斯 2 乔治·卡拉查利亚斯 2 科恩·鲍威尔 2 马西耶·皮罗格 2 普雷特纳，马蒂亚 2 霍斯特·萨穆洛维茨 2 亚历山大·谢列布雷尼克 2 塔克，吉多 2 马库斯·特里斯卡 2 彼得·范·威特 2 亚历山大·范登布鲁克 2 温·范霍夫 2 Vytiniotis，迪米特里奥斯 2 菲利普·李瓦德勒 2 大卫·斯科特·沃伦 1 巴赫·鲍尔森，卡斯珀 1 埃琳娜·贝洛迪 1 碧、轩 1 Manuel M.T.查克拉瓦蒂。 1 威廉·库克。 1 维托尔·桑托斯·科斯塔 1 格雷戈里·杜克。 1 傅鹏 1 约翰·加拉赫（John P.Gallagher）。 1 毛罗·贾斯克利奥夫 1 史蒂文·基切 1 肾脏，Donnacha Oisín 1 国王，安迪 1 叶卡捷琳娜·科门丹茨卡亚 1 托比恩拉格 1 Michael Leuschel先生 1 科尔·马丁罗西安 1 Annabelle K.McIver。 1 卡罗尔·C·摩根。 1 穆信诚 1 阿兰·迈克罗夫特 1 多米尼克·A·乌节。 1 马尔科·帕维奥蒂 1 保罗·皮洛齐 1 安德鲁·庞德 1 Beata Sarna-Starosta公司 1 威廉·塞纳韦 1 保罗·塔劳 1 彼得·蒂曼。 1 保罗·托里尼 1 马克·范·杜伦 1 斯泰恩·范德哈伦 1 谢宁宁 1 杨志轩 1 赵金旭 全部的 前5名系列 11 逻辑程序设计理论与实践 5 函数编程杂志 2 计算机科学课堂讲稿 1 计算机程序设计科学 1 国际近似推理杂志 1 约束条件 领域 64 计算机科学（68至XX） 4 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用216中的次154文件 引用人▼ 年份▼ SWI-预测。 Zbl 1244.68023号 Wielemaker，简;汤姆·施里杰弗斯;马库斯·特里斯卡;托比恩拉格 47 2012 随着时间的推移：约束处理规则。 Zbl 1186.68096号 乔恩·斯奈尔斯;彼得·范·威特;汤姆·施里杰弗斯;莱斯利·德·科宁克 17 2010 朝向键入的Prolog。 Zbl 1185.68181号 汤姆·施里杰弗斯;维托尔·桑托斯·科斯塔;Wielemaker，简;巴特·德梅恩 11 2008 外侧内侧（X）：具有局部假设的模块式推理。 Zbl 1262.68034号 Vytiniotis，迪米特里奥斯;西蒙·佩顿·琼斯;汤姆·施里杰弗斯;马丁·苏尔兹曼 11 2011 使用开放式函数进行类型检查。 Zbl 1323.68156号 汤姆·施里杰弗斯;佩顿·琼斯，西蒙;曼纽尔·查克拉瓦蒂;马丁·苏尔兹曼 9 2008 CHR发生表示的保护和延续优化。 Zbl 1165.68348号 乔恩·斯奈尔斯;汤姆·施里杰弗斯;巴特·德梅恩 8 2005 证明相关的同胚分辨率。 Zbl 1475.68054号 傅鹏;叶卡捷琳娜·科门丹茨卡亚;汤姆·施里杰弗斯;安德鲁·庞德 8 2016 免费融合。高效的代数效果处理程序。 Zbl 1432.68077号 尼古拉斯·吴;汤姆·施里杰弗斯 7 2015 GADT的完整和可判定类型推断。 Zbl 1302.68190号 汤姆·施里杰弗斯;佩顿·琼斯，西蒙;马丁·苏尔兹曼;Vytiniotis，迪米特里奥斯 7 2009 约束处理规则中的最佳union-find。 Zbl 1109.68029号 汤姆·施里杰弗斯;托姆·吕维思 6 2006 Prolog的分隔连续部分。 Zbl 1312.68037号 汤姆·施里杰弗斯;巴特·德梅恩;德索特，贝诺特;Wielemaker，简 6 2013 约束处理规则的分析、优化和扩展：博士总结。 Zbl 1165.68346号 汤姆·施里杰弗斯 5 2005 点菜的元理论。 Zbl 1301.68218号 特拉华州，本杰明;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯 5 2013 表格作为带有分隔控件的库。 Zbl 1379.68054号 德索特，贝诺特;马克·范·杜伦;汤姆·施里杰弗斯 5 2015 CHR精炼操作语义中的保护推理。 Zbl 1229.68022号 乔恩·斯奈尔斯;汤姆·施里杰弗斯;巴特·德梅恩 4 2008 约束处理规则和表执行。 Zbl 1104.68366号 汤姆·施里杰弗斯;大卫·沃伦。 4 2004 一元约束编程。 Zbl 1184.68166号 汤姆·施里杰弗斯;彼得·斯塔基;菲利普·沃德勒 4 2009 搜索组合词。 Zbl 1309.90090号 汤姆·施里杰弗斯;塔克，吉多;皮特·威勒;霍斯特·萨穆洛维茨;彼得·斯图基（Peter J.Stuckey）。 4 2013 显式效果子类型。 Zbl 1418.68065号 阿穆尔·哈尼·萨利赫;乔治·卡拉查利亚斯;普雷特纳，马蒂亚;汤姆·施里杰弗斯 4 2018 托尔：模块化搜索，可挂钩分离。 Zbl 1283.68318号 汤姆·施里杰弗斯;巴特·德梅恩;马库斯·特里斯卡;德索特，贝诺特 4 2014 GHC风格的多参数类型类的主体类型推理。 Zbl 1168.68367号 马丁·苏尔兹曼;汤姆·施里杰弗斯;彼得·斯图基（Peter J.Stuckey）。 3 2006 CHR索引的属性数据。 Zbl 1251.68068号 Beata Sarna-Starosta公司;汤姆·施里杰弗斯 3 2009 CHR的灵活搜索框架。 Zbl 1229.68018号 莱斯利·德·科宁克;汤姆·施里杰弗斯;巴特·德梅恩 3 2008 模一元元理论。 Zbl 1323.68357号 特拉华州，本杰明;史蒂文·基切;汤姆·施里杰弗斯;布鲁诺·C·d·S·奥利维拉。 3 2013 Prolog的高效代数效果处理程序。 Zbl 1379.68080号 阿穆尔·哈尼·萨利赫;汤姆·施里杰弗斯 3 2016 改进prolog程序：重构prolog。 Zbl 1140.68359号 亚历山大·谢列布雷尼克;汤姆·施里杰弗斯;巴特·德梅恩 2 2008 从单态到多态的井型以及其他类型。 Zbl 1185.68180号 汤姆·施里杰弗斯;莫里斯·布鲁诺;约翰·加拉赫（John P.Gallagher）。 2 2009 约束处理规则。当前研究主题。 Zbl 1157.68008号 2 2008 使用全局状态处理本地状态。 Zbl 1434.68093号 Pauwels，科恩;汤姆·施里杰弗斯;穆信诚 2 2019 MRI：关于增量编程中干扰的模块化推理。 Zbl 1267.68090号 布鲁诺·C·D·S·奥利维拉。;汤姆·施里杰弗斯;威廉·库克。 2 2012 约束处理规则中的事务。 Zbl 1185.68182号 汤姆·施里杰弗斯;马丁·苏尔兹曼 2 2008 逻辑算法语言与CHR之间的对应关系。 Zbl 1213.68175号 莱斯利·德科宁克;汤姆·施里杰弗斯;巴特·德梅恩 2 2007 CHR的内存重用。 Zbl 1131.68401号 乔恩·斯奈尔斯;汤姆·施里杰弗斯;巴特·德梅恩 2 2006 TCHR：表格CLP的框架。 Zbl 1148.68013号 汤姆·施里杰弗斯;巴特·德梅恩;大卫·沃伦。 2 2008 作用域操作的语法和语义。 Zbl 1497.68120号 马西耶·皮罗格;汤姆·施里杰弗斯;尼古拉斯·吴;毛罗·贾斯克利奥夫 2 2018 汞测试输入的自动生成。 Zbl 1185.68154号 弗朗索瓦·迪尔瓦夫;汤姆·施里杰弗斯;温·范霍夫 1 2009 CHR约束的自动隐含检查。 Zbl 1276.68043号 汤姆·施里杰弗斯;巴特·德梅恩;格雷戈里·杜克;彼得·斯塔基;托姆·吕维思 1 2006 序言中的懒惰流编程。 兹伯利07453116 保罗·塔劳;Wielemaker，简;汤姆·施里杰弗斯 1 2019 显式效果子类型。 Zbl 1482.68081号 乔治·卡拉查利亚斯;普雷特纳，马蒂亚;阿穆尔·哈尼·萨利赫;斯泰恩·范德哈伦;汤姆·施里杰弗斯 1 2020 组合编程的分布式不相交多态性。 Zbl 1524.68076号 碧、轩;谢宁宁;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯 1 2019 显式效果子类型。 Zbl 1482.68081号 乔治·卡拉查利亚斯;普雷特纳，马蒂亚;阿穆尔·哈尼·萨利赫;斯泰恩·范德哈伦;汤姆·施里杰弗斯 1 2020 使用全局状态处理本地状态。 Zbl 1434.68093号 Pauwels，科恩;汤姆·施里杰弗斯;穆信诚 2 2019 序言中的懒惰流编程。 Zbl 07453116号 保罗·塔劳;Wielemaker，简;汤姆·施里杰弗斯 1 2019 组合编程的分布式不相交多态性。 Zbl 1524.68076号 碧、轩;谢宁宁;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯 1 2019 显式效果子类型。 Zbl 1418.68065号 阿穆尔·哈尼·萨利赫;乔治·卡拉查利亚斯;普雷特纳，马蒂亚;汤姆·施里杰弗斯 4 2018 作用域操作的语法和语义。 Zbl 1497.68120号 马西耶·皮罗格;汤姆·施里杰弗斯;尼古拉斯·吴;毛罗·贾斯克利奥夫 2 2018 证明相关的同胚分辨率。 Zbl 1475.68054号 傅鹏;叶卡捷琳娜·科门丹茨卡亚;汤姆·施里杰弗斯;安德鲁·庞德 8 2016 Prolog的高效代数效果处理程序。 Zbl 1379.68080号 阿穆尔·哈尼·萨利赫;汤姆·施里杰弗斯 3 2016 免费融合。高效的代数效果处理程序。 Zbl 1432.68077号 尼古拉斯·吴;汤姆·施里杰弗斯 7 2015 表格作为带有分隔控件的库。 Zbl 1379.68054号 德索特，贝诺特;马克·范·杜伦;汤姆·施里杰弗斯 5 2015 托尔：模块化搜索，可挂钩分离。 Zbl 1283.68318号 汤姆·施里杰弗斯;巴特·德梅恩;马库斯·特里斯卡;德索特，贝诺特 4 2014 Prolog的带分隔符的延续。 Zbl 1312.68037号 汤姆·施里杰弗斯;巴特·德梅恩;德索特，贝诺特;Wielemaker，简 6 2013 点菜的元理论。 Zbl 1301.68218号 特拉华州，本杰明;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯 5 2013 搜索组合词。 Zbl 1309.90090号 汤姆·施里杰弗斯;塔克，吉多;皮特·威勒;霍斯特·萨穆洛维茨;彼得·斯图基（Peter J.Stuckey）。 4 2013 模一元元理论。 Zbl 1323.68357号 特拉华州，本杰明;史蒂文·基切;汤姆·施里杰弗斯;布鲁诺·C·d·S·奥利维拉。 3 2013 SWI-预测。 Zbl 1244.68023号 Wielemaker，简;汤姆·施里杰弗斯;马库斯·特里斯卡;托比恩拉格 47 2012 MRI：关于增量编程中干扰的模块化推理。 Zbl 1267.68090号 布鲁诺·C·D·S·奥利维拉。;汤姆·施里杰弗斯;威廉·库克。 2 2012 外侧内侧（X）：具有局部假设的模块式推理。 Zbl 1262.68034号 Vytiniotis，迪米特里奥斯;西蒙·佩顿·琼斯;汤姆·施里杰弗斯;马丁·苏尔兹曼 11 2011 随着时间的推移：约束处理规则。 Zbl 1186.68096号 斯涅尔斯，乔恩;彼得·范·威特;汤姆·施里杰弗斯;莱斯利·德科宁克 17 2010 GADT的完整和可判定类型推断。 Zbl 1302.68190号 汤姆·施里杰弗斯;佩顿·琼斯，西蒙;马丁·苏尔兹曼;Vytiniotis，迪米特里奥斯 7 2009 一元约束编程。 Zbl 1184.68166号 汤姆·施里杰弗斯;彼得·斯塔基;菲利普·沃德勒 4 2009 CHR索引的属性数据。 Zbl 1251.68068号 Beata Sarna-Starosta公司;汤姆·施里杰弗斯 3 2009 从单态到多态的良好类型，甚至更远。 Zbl 1185.68180号 汤姆·施里杰弗斯;莫里斯·布鲁诺;约翰·加拉赫（John P.Gallagher）。 2 2009 汞测试输入的自动生成。 Zbl 1185.68154号 弗朗索瓦·迪尔瓦夫;汤姆·施里杰弗斯;温·范霍夫 1 2009 朝向键入的Prolog。 Zbl 1185.68181号 汤姆·施里杰弗斯;维托尔·桑托斯·科斯塔;Wielemaker，简;巴特·德梅恩 11 2008 使用开放式函数进行类型检查。 Zbl 1323.68156号 汤姆·施里杰弗斯;佩顿·琼斯，西蒙;曼纽尔·查克拉瓦蒂;马丁·苏尔兹曼 9 2008 CHR精炼操作语义中的保护推理。 Zbl 1229.68022号 乔恩·斯奈尔斯;汤姆·施里杰弗斯;巴特·德梅恩 4 2008 CHR的灵活搜索框架。 Zbl 1229.68018号 莱斯利·德科宁克;汤姆·施里杰弗斯;巴特·德梅恩 3 2008 改进prolog程序：重构prolog。 Zbl 1140.68359号 亚历山大·谢列布雷尼克;汤姆·施里杰弗斯;巴特·德梅恩 2 2008 约束处理规则。当前的研究主题。 Zbl 1157.68008号 2 2008 约束处理规则中的事务。 Zbl 1185.68182号 汤姆·施里杰弗斯;马丁·苏尔兹曼 2 2008 TCHR：表格CLP的框架。 Zbl 1148.68013号 汤姆·施里杰弗斯;巴特·德梅恩;大卫·沃伦。 2 2008 逻辑算法语言与CHR之间的对应关系。 Zbl 1213.68175号 莱斯利·德·科宁克;汤姆·施里杰弗斯;巴特·德梅恩 2 2007 约束处理规则中的最佳union-find。 Zbl 1109.68029号 汤姆·施里杰弗斯;托姆·吕维思 6 2006 GHC风格的多参数类型类的主体类型推理。 Zbl 1168.68367号 马丁·苏尔兹曼;汤姆·施里杰弗斯;彼得·斯图基（Peter J.Stuckey）。 3 2006 CHR的内存重用。 Zbl 1131.68401号 乔恩·斯奈尔斯;汤姆·施里杰弗斯;巴特·德梅恩 2 2006 CHR约束的自动隐含检查。 兹比尔1276.68043 汤姆·施里杰弗斯;巴特·德梅恩;格雷戈里·杜克;彼得·斯塔基;托姆·吕维思 1 2006 CHR发生表示的保护和延续优化。 Zbl 1165.68348号 乔恩·斯奈尔斯;汤姆·施里杰弗斯;巴特·德梅恩 8 2005 约束处理规则的分析、优化和扩展：博士总结。 Zbl 1165.68346号 汤姆·施里杰弗斯 5 2005 约束处理规则和表执行。 Zbl 1104.68366号 汤姆·施里杰弗斯;大卫·沃伦。 4 2004 所有引用出版物 前5名被引用出版物 全部的 前5名274位作者引用 17 汤姆·施里杰弗斯 6 曼努埃尔五世（Manuel V.Hermenegildo）。 6 叶卡捷琳娜·科门丹茨卡亚 6 乔恩·斯奈尔斯 5 巴特·德梅恩 5 托姆·吕维思 5 何塞·弗朗西斯科·莫拉莱斯 5 法布里西奥·里古齐 4 维托尔·桑托斯·科斯塔 4 毛里齐奥·加布里埃利 4 玛丽亚·希亚拉（Maria Chiara Meo） 4 马丁·苏尔兹曼 4 彼得·范·威特 3 Abdennadher，苗条 3 曼纽尔·卡罗 3 莱斯利·德科宁克 3 马里奥弗洛里多 3 弗雷德·梅斯纳德 3 史蒂芬·H·马格尔顿。 3 埃蒂安·佩耶特 3 普雷特纳，马蒂亚 3 里卡多·罗查 3 保罗·塔劳 3 德国维达尔 3 斯蒂芬妮·威里奇 3 Wielemaker，简 3 尼古拉斯·吴 2 阿卜杜拉，Samer A。 2 尼科斯·安杰洛普洛斯 2 华金·阿里亚斯 2 埃琳娜·贝洛迪 2 费德里科·贝根蒂 2 哈利奥夫·贝茨 2 海宁·克里斯蒂安森 2 乔瓦尼·西亚托 2 聪，又有 2 安德鲁·克洛珀 2 阿尔西诺·库尼亚 2 丹尼·德·施雷耶 2 格雷戈里·杜克。 2 理查德·艾森伯格。 2 戈帕尔·古普塔 2 Maja Hanne Kirkeby 2 菲利普·科纳 2 伊芙琳娜·拉姆 2 Daan Leijen 2 Michael Leuschel先生 2 李，岳 2 萨姆·林德利 2 刘燕红安妮 2 佩德罗·洛佩兹·加西亚 2 何塞·佩德罗·马加莱斯 2 Hidehiko Masuhara 2 松田和川 2 劳伦特·米歇尔 2 莫妮卡，斯蒂芬妮娅 2 阿诺德·恩古班·法贾 2 布鲁诺·C·d·S·奥利维拉。 2 西蒙·琼斯（Simon L.Peyton Jones）。 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 Jean-Philippe Bernardy 1 斯特凡诺·比斯塔雷利 1 埃德温·布雷迪（Edwin C.Brady）。 1 约阿希姆·布雷特纳 1 乍得·布朗·爱德华 1 罗伯塔·卡莱加里 1 约翰·彼得·坎波拉三世 1 Cañete Valdeón，何塞·M。 1 卡塞莱斯·科斯塔，Vicent 1 伊格纳西奥·卡索 1 陈盛 …还有174位作者 全部的 前5名20篇连载文章中引用 34 逻辑程序设计理论与实践 16 函数编程杂志 6 机器学习 4 国际近似推理杂志 3 人工智能 3 计算的形式方面 3 数学与人工智能年鉴 3 约束条件 2 计算机程序设计科学 2 信息与计算 2 高阶和符号计算 1 计算数学 1 编程和计算机软件 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 分布式计算 1 计算机基础理论 1 数学规划计算 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 147 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 4 范畴理论；同调代数（18-XX） 2 组合数学（05-XX） 2 统计学（62-XX） 1 阶、格、有序代数结构（06-XX） 1 代数几何（14-XX） 1 非结合环与代数（17-XX） 1 流形和细胞复合体（57至XX） 1 量子理论（81-XX） 按年份列出的引文