编辑配置文件（在新选项卡中打开） 金·万豪酒店 合著者距离 作者ID： 万豪·金 发布日期： 金·万豪酒店;英国万豪酒店。 已编制索引的文档： 64出版物自1986年以来，包括1本书 4作为编辑的贡献 合著者： 62位合著者具有66联合出版物 998联合作者 全部的 前5名合著者 2 单作者的 26 彼得·詹姆斯·斯塔基 11 玛丽亚·加西亚·德拉班达 10 蒂姆·德怀尔 8 伯恩德·梅耶（Bernd E.Meyer）。 7 米歇尔·维布罗姆 5 莫雷诺，法拉斯基 5 Jean-Louis拉塞兹 4 迈克尔·马赫（Michael J.Maher）。 4 哈拉尔德·森德加德 3 科迪什，迈克尔 3 巴特·德梅恩 3 毛里齐奥·加布里埃利 3 沃里克·哈维 3 马丁·奥德斯基 3 卡图西亚帕拉米德斯 3 马克·华莱士。 2 艾伦·F·布莱克威尔。 2 艾伦·H·伯宁。 2 布埃诺，弗朗西斯科 2 格雷姆·恒河 2 何伟清 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 安东尼·詹森（Anthony R.Jansen）。 2 史蒂夫·基弗 2 耶胡达·科伦 2 林光洙（Richard Kuang-Hsu Lin） 2 彼得·莫尔德 2 尼古拉斯·奈瑟科特 2 德国普埃布拉 2 威廉·温斯伯勒。 1 杰拉德·奥尔文 1 塔尼亚·阿姆斯特朗 1 碧劳卡、米海 1 保罗·波托尼 1 乔·西特·森 1 科里亚斯，杰苏斯 1 伊莎贝尔·F·克鲁兹。 1 帕特里克·希利 1 理查德·赫尔姆 1 曼纽尔·赫曼吉尔多 1 克里斯蒂安·霍尔兹鲍尔 1 Tien Huynh 1 Joxan雅法 1 杰弗里，大卫 1 克里斯托弗·米尔斯 1 李·奈什 1 大卫·奥弗顿 1 弗朗西斯科·帕里西·普雷西奇 1 雷扎·拉斐 1 乌尔夫·吕戈 1 彼得·沙赫特 1 安德烈亚斯·舒特 1 Atsushi岛岛岛 1 约翰·斯莱尼。 1 佐尔坦·索莫吉 1 马丁·苏尔兹曼 1 塔博赫，科哈维特 1 塔克，吉多 1 Vincent H.Tam。 1 帕斯卡·范·亨特利克 1 托比·沃尔什 1 肯特·维滕堡。 全部的 前5名系列 7 逻辑编程杂志 5 约束条件 3 理论计算机科学 1 信息学报 1 离散数学 1 信息处理信件 1 计算机与系统科学杂志 1 计算机程序设计科学 1 新一代计算 1 信息与计算 1 自动推理杂志 1 数学与人工智能年鉴 1 信息计算杂志 1 图形算法与应用杂志 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 全部的 前5名领域 67 计算机科学（68至XX） 13 组合数学（05-XX） 7 运筹学、数学规划（90-XX） 4 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用368中的次295文件 引用人▼ 年份▼ 重新审视统一。 Zbl 0645.68046号 J.-L.拉塞兹。;马希尔，M.J。;英国万豪酒店。 62 1988 带约束的编程。引言。 Zbl 0935.68098号 金·万豪酒店;彼得·斯塔基。 58 1998 锌建模语言的设计。 Zbl 1146.68352号 金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯塔基。;玛丽亚·加西亚·德拉班达;马克·华莱士 32 2008 反例定义的术语的显式表示。 Zbl 0641.68124号 J.-L.拉塞兹。;英国万豪酒店。 30 1987 约束逻辑程序的语义。 兹伯利0920.68068 Joxan雅法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 项代数中否定的消除。 Zbl 0776.68070号 拉塞兹，J.-L。;马希尔，M。;英国万豪酒店。 12 1991 用于相关性分析的两类布尔函数。 兹比尔0942.68018 塔尼亚·阿姆斯特朗;金·万豪酒店;彼得·沙赫特;哈拉尔德·森德加德 11 1998 快速删除节点重叠。 Zbl 1171.68609号 蒂姆·德怀尔;金·万豪酒店;彼得·斯塔基。 10 2006 G12项目：将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯塔基。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 9 2005 正常逻辑程序的自下而上数据流分析。 Zbl 0776.68025号 金·万豪酒店;哈拉尔德·森德加德 6 1992 使用约束优化消除图形布局中的节点重叠。 兹比尔1039.68121 金·万豪酒店;彼得·斯塔基;文森特·塔姆;何伟清 6 2003 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;L·奈什。;J.-L.拉塞兹。 6 1990 资源使用验证。 Zbl 1254.68082号 金·万豪酒店;彼得·斯塔基。;马丁·苏尔兹曼 5 2003 将边缘布线集成到力定向布局中。 Zbl 1185.68471号 蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 5 2007 并发约束编程中的汇流。 Zbl 0901.68032号 莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 5 1997 并发约束逻辑程序的有效分析。 Zbl 1418.68052号 迈克尔·科迪什;莫雷诺，法拉斯基;金·万豪酒店;威廉·温斯伯勒 4 1993 正交排序约束下的应力优化。 Zbl 1171.68608号 蒂姆·德怀尔;耶胡达·科伦;金·万豪酒店 4 2006 检查HAL程序的模式。 Zbl 1083.68019号 玛丽亚·班达火车站;沃里克·哈维;金·万豪酒店;彼得·斯塔基。;巴特·德梅恩 4 2005 受约束的图形布局。 Zbl 0917.68164号 何伟清;金·万豪酒店 4 1998 带动态调度的约束逻辑编程：基于闭包操作符的语义。 Zbl 0882.68035号 莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 4 1997 负布尔约束。 Zbl 0872.68017号 金·万豪酒店;马丁·奥德斯基 4 1996 通过应力优化和梯度投影进行约束图形布局。 Zbl 1201.05093号 蒂姆·德怀尔;耶胡达·科伦;金·万豪酒店 3 2009 保持拓扑的约束图形布局。 Zbl 1213.68441号 蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 3 2009 求解交互式图形应用程序的析取约束。 Zbl 1067.68652号 金·万豪酒店;彼得·莫尔德;彼得·斯塔基。;艾伦·博宁 3 2001 并发约束编程的汇合演算。 兹比尔0902.68034 金·万豪酒店;马丁·奥德斯基 3 1997 视觉语言理论。 Zbl 0910.00030号 3 1998 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基;哈拉尔德·森德加德 3 1998 空间查询优化：从布尔约束到范围查询。 Zbl 0831.68039号 理查德·赫尔姆;金·万豪酒店;马丁·奥德斯基 3 1995 视觉语言规范和识别调查。 Zbl 0933.68075号 金·万豪酒店;伯恩德·梅耶;肯特·维滕堡。 3 1998 增量连接器布线。 Zbl 1171.68651号 米歇尔·维布罗姆;金·万豪酒店;彼得·斯塔基。 2 2006 正交连接器布线。 Zbl 1284.68478号 米歇尔·维布罗姆;金·万豪酒店;彼得·斯塔基。 2 2010 使用对角比例梯度投影的约束应力优化。 Zbl 1137.68480号 蒂姆·德怀尔;金·万豪酒店 2 2008 抽象解释框架。 Zbl 0790.68074号 金·万豪酒店 2 1993 Web的基于约束的文档布局。 Zbl 1060.68522号 艾伦·博宁;林光洙（Richard Kuang-Hsu Lin）;金·万豪酒店 2 2000 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯，杰苏斯;曼努埃尔五世（Manuel V.Hermenegildo）。;布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基。 2 2004 HAL之门：HAL教程。 Zbl 1019.68514号 玛丽亚·加西亚·德拉班达;巴特·德梅恩;金·万豪酒店;彼得·斯塔基。 2 2002 最小宽度无序树布局的NP完备性。 Zbl 1088.68070号 金·万豪酒店;彼得·斯塔基。 2 2004 具有端口的数据流图的压力最小化正交布局。 Zbl 1426.68223号 乌尔夫·吕戈;史蒂夫·基弗;蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 2 2014 使用MiniZin中的选项类型进行建模。 Zbl 1407.68458号 克里斯托弗·米尔斯;安德烈亚斯·舒特;彼得·斯塔基。;塔克，吉多;金·万豪酒店;马克·华莱士 2 2014 并发约束编程中的汇流。 兹比尔1496.68104 莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 2 1995 快速删除节点重叠–纠正。 Zbl 1185.68470号 蒂姆·德怀尔;金·万豪酒店;彼得·斯塔基。 1 2007 Dunnart：一种基于约束的网络图创作工具。 Zbl 1213.68442号 蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 1 2009 视觉语言的演绎分析。 Zbl 0990.68150号 保罗·波托尼;伯恩德·梅耶;金·万豪酒店;主席，弗朗西斯科·帕里西 1 2001 通过结构解耦改进程序分析。 Zbl 0955.68021号 迈克尔·科迪什;金·万豪酒店;科哈维特·塔博克 1 2000 图表表示和推理。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。 Zbl 1047.68002号 1 2004 QOCA：用于交互式图形应用程序的约束求解工具包。 Zbl 1020.68024号 金·万豪酒店;乔·西特·森 1 2002 Prolog的差异列表转换。 Zbl 0774.68027号 金·万豪酒店;哈拉尔德·森德加德 1 1993 HAL中的Herbrand约束。 Zbl 1080.68551号 巴特·德梅恩;玛丽亚·加西亚·德拉班达;沃里克·哈维;金·万豪酒店;大卫·奥弗顿;彼得·斯塔基。 1 2004 模块间分析和优化编译的模型。 Zbl 1018.68501号 布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;金·万豪酒店;德国普埃布拉;彼得·斯塔基。 1 2001 自动最小高度表布局。 Zbl 1328.90120号 碧劳卡、米海;格雷姆·恒河;帕特里克·希利;金·万豪酒店;彼得·莫尔德;彼得·斯塔基。 1 2015 使用软约束和硬约束的增量网格状布局。 Zbl 1406.68085号 史蒂夫·基弗;蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 1 2013 线性约束系统中的增量约束删除。 Zbl 0873.65059号 Tien Huynh;金·万豪酒店 1 1995 并发约束逻辑程序分析的汇合语义基础。 Zbl 0884.68023号 迈克尔·科迪什;莫雷诺，法拉斯基;金·万豪酒店;威廉·温斯伯勒 1 1997 自动最小高度表格布局。 Zbl 1328.90120号 碧劳卡、米海;格雷姆·恒河;帕特里克·希利;金·万豪酒店;彼得·莫尔德;彼得·斯塔基。 1 2015 具有端口的数据流图的压力最小化正交布局。 Zbl 1426.68223号 乌尔夫·吕戈;史蒂夫·基弗;蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 2 2014 使用MiniZin中的选项类型进行建模。 Zbl 1407.68458号 克里斯托弗·米尔斯;安德烈亚斯·舒特;彼得·斯塔基。;塔克，吉多;金·万豪酒店;马克·华莱士 2 2014 使用软约束和硬约束的增量网格状布局。 Zbl 1406.68085号 史蒂夫·基弗;蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 1 2013 正交连接器布线。 Zbl 1284.68478号 米歇尔·维布罗姆;金·万豪酒店;彼得·斯塔基。 2 2010 通过应力优化和梯度投影进行约束图形布局。 Zbl 1201.05093号 蒂姆·德怀尔;耶胡达·科伦;金·万豪酒店 3 2009 保持拓扑的约束图形布局。 Zbl 1213.68441号 蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 3 2009 Dunnart：一种基于约束的网络图创作工具。 Zbl 1213.68442号 蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 1 2009 锌建模语言的设计。 Zbl 1146.68352号 金·万豪酒店;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯塔基。;玛丽亚·加西亚·德拉班达;马克·华莱士 32 2008 使用对角比例梯度投影的约束应力优化。 Zbl 1137.68480号 蒂姆·德怀尔;金·万豪酒店 2 2008 将边缘布线集成到力定向布局中。 Zbl 1185.68471号 蒂姆·德怀尔;金·万豪酒店;米歇尔·维布罗姆 5 2007 快速删除节点重叠–纠正。 Zbl 1185.68470号 蒂姆·德怀尔;金·万豪酒店;彼得·斯塔基。 1 2007 快速删除节点重叠。 Zbl 1171.68609号 蒂姆·德怀尔;金·万豪酒店;彼得·斯塔基。 10 2006 正交排序约束下的应力优化。 Zbl 1171.68608号 蒂姆·德怀尔;耶胡达·科伦;金·万豪酒店 4 2006 增量连接器布线。 Zbl 1171.68651号 米歇尔·维布罗姆;金·万豪酒店;彼得·斯塔基。 2 2006 G12项目：将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯塔基。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 9 2005 检查HAL程序的模式。 Zbl 1083.68019号 玛丽亚·加西亚·德·拉班达;沃里克·哈维;金·万豪酒店;彼得·斯塔基。;巴特·德梅恩 4 2005 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯，杰苏斯;曼努埃尔五世（Manuel V.Hermenegildo）。;布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基。 2 2004 最小宽度无序树布局的NP完备性。 Zbl 1088.68070号 金·万豪酒店;彼得·斯塔基。 2 2004 图表表示和推理。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。 Zbl 1047.68002号 1 2004 HAL中的Herbrand约束。 Zbl 1080.68551号 巴特·德梅恩;玛丽亚·加西亚·德拉班达;沃里克·哈维;金·万豪酒店;大卫·奥弗顿;彼得·斯塔基。 1 2004 使用约束优化消除图形布局中的节点重叠。 兹比尔1039.68121 金·万豪酒店;彼得·斯塔基;文森特·塔姆;何伟清 6 2003 资源使用验证。 Zbl 1254.68082号 金·万豪酒店;彼得·斯塔基。;马丁·苏尔兹曼 5 2003 HAL之门：HAL教程。 Zbl 1019.68514号 玛丽亚·加西亚·德拉班达;巴特·德梅恩;金·万豪酒店;彼得·斯塔基。 2 2002 QOCA：用于交互式图形应用程序的约束求解工具包。 Zbl 1020.68024号 金·万豪酒店;Chok，Sitt Sen先生 1 2002 求解交互式图形应用程序的析取约束。 Zbl 1067.68652号 金·万豪酒店;彼得·莫尔德;彼得·斯塔基。;艾伦·博宁 3 2001 视觉语言的演绎分析。 Zbl 0990.68150号 保罗·波托尼;伯恩德·梅耶;金·万豪酒店;主席，弗朗西斯科·帕里西 1 2001 模块间分析和优化编译的模型。 Zbl 1018.68501号 布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;金·万豪酒店;德国普埃布拉;彼得·斯塔基。 1 2001 Web的基于约束的文档布局。 Zbl 1060.68522号 艾伦·博宁;林光洙（Richard Kuang-Hsu Lin）;金·万豪酒店 2 2000 通过结构解耦改进程序分析。 Zbl 0955.68021号 迈克尔·科迪什;金·万豪酒店;科哈维特·塔博克 1 2000 带约束的编程。引言。 Zbl 0935.68098号 金·万豪酒店;彼得·斯塔基。 58 1998 约束逻辑程序的语义。 兹伯利0920.68068 Joxan雅法;迈克尔·马赫;金·万豪酒店;彼得·斯塔基 28 1998 用于相关性分析的两类布尔函数。 Zbl 0942.68018号 塔尼亚·阿姆斯特朗;金·万豪酒店;彼得·沙赫特;哈拉尔德·森德加德 11 1998 受约束的图形布局。 Zbl 0917.68164号 何伟清;金·万豪酒店 4 1998 视觉语言理论。 Zbl 0910.00030号 3 1998 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基;哈拉尔德·森德加德 3 1998 视觉语言规范和识别调查。 Zbl 0933.68075号 金·万豪酒店;伯恩德·梅耶;肯特·维滕堡。 3 1998 并发约束编程中的汇流。 Zbl 0901.68032号 莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 5 1997 带动态调度的约束逻辑编程：基于闭包操作符的语义。 Zbl 0882.68035号 莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 4 1997 并发约束编程的汇合演算。 Zbl 0902.68034号 金·万豪酒店;马丁·奥德斯基 3 1997 并发约束逻辑程序分析的汇合语义基础。 Zbl 0884.68023号 迈克尔·科迪什;莫雷诺，法拉斯基;金·万豪酒店;威廉·温斯伯勒 1 1997 负布尔约束。 兹比尔0872.68017 金·万豪酒店;马丁·奥德斯基 4 1996 空间查询优化：从布尔约束到范围查询。 Zbl 0831.68039号 Richard赫尔姆;金·万豪酒店;马丁·奥德斯基 3 1995 并发约束编程中的汇流。 Zbl 1496.68104号 莫雷诺，法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 2 1995 线性约束系统中的增量约束删除。 Zbl 0873.65059号 Tien Huynh;金·万豪酒店 1 1995 并发约束逻辑程序的有效分析。 Zbl 1418.68052号 迈克尔·科迪什;莫雷诺，法拉斯基;金·万豪酒店;威廉·温斯伯勒 4 1993 抽象解释框架。 Zbl 0790.68074号 金·万豪酒店 2 1993 Prolog的差异列表转换。 Zbl 0774.68027号 金·万豪酒店;哈拉尔德·森德加德 1 1993 正常逻辑程序的自下而上数据流分析。 Zbl 0776.68025号 金·万豪酒店;哈拉尔德·森德加德 6 1992 项代数中否定的消除。 Zbl 0776.68070号 J.-L.拉塞兹。;马希尔，M。;英国万豪酒店。 12 1991 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;奈什，L。;J.-L.拉塞兹。 6 1990 重新审视统一。 Zbl 0645.68046号 J.-L.拉塞兹。;马希尔，M.J。;英国万豪酒店。 62 1988 反例定义的术语的显式表示。 Zbl 0641.68124号 J.-L.拉塞兹。;英国万豪酒店。 30 1987 所有引用出版物 前5名被引用出版物 全部的 前5名544位作者引用 18 彼得·詹姆斯·斯塔基 14 金·万豪酒店 10 曼努埃尔五世（Manuel V.Hermenegildo）。 9 毛里齐奥·加布里埃利 7 莫雷诺，法拉斯基 6 玛丽亚·阿尔普特 6 卡图西亚帕拉米德斯 6 马克·华莱士。 5 约翰·加拉赫（John P.Gallagher）。 5 乔治·列维 5 何塞·梅塞盖尔·瓜伊塔 5 莫雷诺，吉纳斯 5 莱因哈德·皮克勒 5 伊格纳斯·拉特 5 哈拉尔德·森德加德 4 莫里斯·布吕诺格 4 蒂姆·德怀尔 4 玛丽亚·希亚拉（Maria Chiara Meo） 4 弗雷德·梅斯纳德 4 何塞·弗朗西斯科·莫拉莱斯 4 卡洛斯·奥拉特 4 埃蒂安·佩耶特 4 詹姆·佩纳巴德 4 阿尔贝托·佩特罗西 4 毛里齐奥·普罗埃蒂 4 德国维达尔 3 艾尔维拉·阿尔伯特 3 布兰德斯，乌尔里克 3 迈克尔·科迪什 3 休伯特·科蒙 3 德波尔（Frank S。 3 吕克·德·雷德 3 圣地亚哥埃斯科瓦尔 3 艾伦·M·弗里希。 3 约翰·胡克（John N.jun Hooker）。 3 帕斯卡尔·朱利安 3 Kafle，比肖克桑 3 Jean-Louis拉塞兹 3 洛佩斯·加西亚，佩德罗 3 伊恩·米格尔 3 尼禄，阿尼尔 3 弗朗切斯科·兰扎托 3 马里奥·罗德里格斯-阿塔莱霍 3 莎拉贝里、阿尔诺 3 彼得·沙赫特 3 汤姆·施里杰弗斯 3 苏布拉曼尼亚，V.S。 3 马丁·苏尔兹曼 3 塔克，吉多 3 克里斯托夫·韦登巴赫 2 吉安卢卡·阿马托 2 华金·阿里亚斯 2 罗伯特·巴格纳拉 2 北拉宾德拉·班纳吉。 2 斯特凡诺·巴拉泰拉 2 谢尔盖·贝雷格。 2 托马斯·巴西乌斯 2 安娜丽莎·博西 2 布兰德，塞巴斯蒂安 2 安德烈斯·布约萨 2 曼纽尔·卡罗 2 陈法蒂 2 阿戈斯蒂诺·科尔特斯 2 德卡特，布罗斯 2 莱斯利·德·科宁克 2 胡安·德·拉腊 2 丹尼·德·施雷耶 2 拉斐尔·德尔瓦多·维塞达 2 巴特·德梅恩 2 纳鸿·德肖维茨 2 亚历山德拉·迪·皮耶罗 2 格雷戈里·杜克。 2 Ernst，Andreas T。 2 弗朗索瓦·法格斯 2 玛丽贝尔·费尔南德斯 2 蒂鲍特·费迪 2 吉尔伯托·菲莱 2 法比奥·菲奥拉万蒂 2 皮埃尔·弗莱纳 2 格雷姆·恒河 2 伊莎贝尔·加西亚·孔特雷拉斯 2 玛丽亚·加西亚·德拉班达 2 吉勒姆·戈多伊 2 乔治·戈特洛布 2 斯特凡诺·瓜兰迪 2 郝金高 2 帕特里夏·M·希尔。 2 亚历山大·霍罗伊德（Alexander E.Holroyd）。 2 巴拉特·贾亚拉曼 2 彼得·琼森 2 Jean-Pierre Jouannaud 2 瓦迪姆·卡根 2 扬·威廉·克鲁普 2 马修·拉金。 2 安德烈·朗之万 2 皮埃尔·莱斯坎 2 李海涛 2 尤利亚·利勒 2 克里斯托夫·卢特罗思 2 迈克尔·马赫（Michael J.Maher）。 …还有444位作者 全部的 前5名56篇连载文章被引用 42 理论计算机科学 31 逻辑程序设计理论与实践 19 约束条件 10 符号计算杂志 9 人工智能 9 信息与计算 7 数学与人工智能年鉴 5 新一代计算 5 自动推理杂志 5 高阶和符号计算 4 欧洲运筹学杂志 3 信息学报 3 信息处理信件 3 模糊集与系统 3 计算机与运筹学 3 计算的形式方面 3 运筹学年鉴 3 函数编程杂志 3 信息计算杂志 3 逻辑与代数程序设计杂志 3 程序设计中的逻辑和代数方法杂志 2 信息科学 2 纯逻辑与应用逻辑年鉴 2 图形算法与应用杂志 2 计算机基础理论 2 欧洲计算优化杂志 1 离散应用数学 1 离散数学 1 国际工程数值方法杂志 1 计算机与系统科学杂志 1 编程和计算机软件 1 Studia Logica公司 1 国际生产研究杂志 1 算法 1 离散和计算几何 1 国际近似推理杂志 1 神经计算 1 计算几何 1 国际代数与计算杂志 1 国际计算机科学基础杂志 1 全球优化杂志 1 模式识别 1 逻辑、语言与信息杂志 1 应用分类结构 1 菲洛马 1 人工智能研究杂志 1 运筹学国际交易 1 软计算 1 调度日志 1 RAIRO公司。运筹学 1 4个或 1 离散优化 1 数学规划计算 1 科学中国。信息科学 1 工业数学杂志 1 计算机科学评论 全部的 前5名17个字段中引用 252 计算机科学（68至XX） 47 运筹学、数学规划（90-XX） 37 数学逻辑和基础（03-XX） 17 组合数学（05-XX） 5 有序，格，有序代数结构（06-XX） 3 凸和离散几何（52至XX） 2 范畴理论；同调代数（18-XX） 2 数值分析（65-XX） 2 生物学和其他自然科学（92-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 结合环与代数（16-XX） 1 变分法与最优控制；最优化（49至XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文