编辑配置文件（在新选项卡中打开） 哈拉尔德·森德加德 合著者距离 作者ID： 桑德加德·哈拉尔德 发布日期： 哈拉尔德·森德加德 已编制索引的文档： 35出版物自1986年起 合著者： 26位合著者具有33联合出版物 394位合作作者 全部的 前5名合著者 2 单作者的 18 彼得·詹姆斯·斯塔基 17 彼得·沙赫特 12 格雷姆·恒河 7 豪尔赫·纳瓦斯（Jorge A.Navas）。 4 金·万豪酒店 三 科迪什，迈克尔 三 凯文，格林 三 Kafle，比肖克桑 2 Kevin Henshall 2 安迪·金 2 彼得·塞斯托夫特 2 马丁·苏尔兹曼 2 王文喜 2 利·怀廷 1 罗伯托·阿马迪尼 1 塔尼亚·阿姆斯特朗 1 J.Robert M.科尼什。 1 约翰·加拉赫（John P.Gallagher）。 1 加西亚·德拉·班达，玛丽亚 1 弗朗索瓦·戈蒂埃 1 萨米尔·根奈姆 1 布莱恩·赫利希 1 尼尔·D·琼斯。 1 亚历山大·乔丹。 1 李·奈什 1 张晨毅 全部的 前5名系列 5 逻辑程序设计理论与实践 2 逻辑编程杂志 1 信息学报 1 人工智能 1 理论计算机科学 1 计算机程序设计科学 1 新一代计算 1 自动推理杂志 1 国际计算机科学基础杂志 1 芝加哥理论计算机科学杂志 1 计算机基础理论 领域 35 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 有序，格，有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用92中的次73文件 引用人▼ 年份▼ 逻辑程序抽象解释的一种应用：发生检查减少。 Zbl 0605.68090号 哈拉尔德·森德加德 13 1986 用于相关性分析的两类布尔函数。 Zbl 0942.68018号 塔尼亚·阿姆斯特朗;金·万豪酒店;彼得·沙赫特;哈拉尔德·森德加德 11 1998 Horn子句作为程序分析和转换的中间表示。 Zbl 1379.68089号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 7 2015 正常逻辑程序的自下而上数据流分析。 Zbl 0776.68025号 金·万豪酒店;哈拉尔德·森德加德 6 1992 参考透明度、明确性和可展开性。 兹比尔0679.68150 哈拉尔德·森德加德;彼得·塞斯托夫特 6 1990 使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号 Kafle，比肖克桑;约翰·加拉赫（John P.Gallagher）。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 6 2018 自动提取同余。 Zbl 1273.68085号 安迪·金;哈拉尔德·森德加德 5 2010 将抽象域和应用程序引用到字符串分析。 Zbl 1386.68031号 罗伯托·阿马迪尼;格雷姆·恒河;弗朗索瓦·戈蒂埃;亚历山大·乔丹;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。;张晨怡 4 2018 通过插值进行故障表约束逻辑编程。 Zbl 1286.68043号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 4 2013 使用SAT推导同余方程。 兹比尔1155.68441 安迪·金;哈拉尔德·森德加德 三 2008 针对正则语言约束的带插值的无边界模型检查。 Zbl 1381.68162号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·斯塔基。;哈拉尔德·森德加德;彼得·沙赫特 三 2013 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基;哈拉尔德·森德加德 三 1998 Mix：用于编译器生成实验的自适用部分计算器。 Zbl 0644.68037号 尼尔·D·琼斯。;彼得·塞斯托夫特;哈拉尔德·森德加德 三 1988 未解释函数的抽象域。 Zbl 1475.68086号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 三 2016 利用差分矩阵的稀疏性。 Zbl 1394.68074号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙切特;哈拉尔德·森德加德;彼得·斯塔基。 三 2016 Prolog中的超循环抽象解释。 Zbl 1026.68505号 科迪什，迈克尔;Søndergaard，哈拉尔 2 2002 具有字级传播的位向量解算器。 Zbl 1475.68360号 王文喜;Søndergaard，哈拉尔;彼得·斯塔基。 2 2016 确定模线性整数算法的Benders分解方法。 Zbl 1496.68193号 Kafle，比肖克桑;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 1 2017 在模运算上求解差分约束。 Zbl 1381.68267号 格雷姆·恒河;Søndergaard，哈拉尔;彼得·斯塔基。;彼得·沙赫特 1 2013 知识编译中的信息损失：布尔包络的比较。 Zbl 1206.68291号 彼得·沙赫特;哈拉尔德·森德加德;利·怀廷;Kevin Henshall 1 2010 高精度接地分析。 Zbl 1053.68524号 科迪什，迈克尔;萨米尔·根奈姆;哈拉尔德·森德加德;彼得·斯塔基。 1 2001 Prolog的差异列表转换。 Zbl 0774.68027号 金·万豪酒店;哈拉尔德·森德加德 1 1993 用于绑定时间分析的布尔约束。 Zbl 0984.68024号 凯文·格林;彼得·斯塔基。;马丁·苏尔兹曼;哈拉尔德·森德加德 1 2001 二元决策图的仿射逼近算法。 Zbl 1286.06024号 Kevin Henshall;彼得·沙赫特;哈拉尔德·森德加德;利·怀廷 1 2010 逻辑编程中的真理与信息。 Zbl 1302.68053号 李·奈什;哈拉尔德·森德加德 1 2014 使用约束Horn子句进行前提推理的迭代方法。 Zbl 1451.68075号 Kafle，比肖克桑;约翰·加拉赫（John P.Gallagher）。;格雷姆·恒河;彼得·沙切特;哈拉尔德·森德加德;彼得·斯塔基。 6 2018 将抽象域和应用程序引用到字符串分析。 Zbl 1386.68031号 罗伯托·阿马迪尼;格雷姆·恒河;弗朗索瓦·戈蒂埃;亚历山大·乔丹;彼得·沙赫特;Søndergaard，哈拉尔;彼得·斯塔基。;张晨毅 4 2018 确定模线性整数算法的Benders分解方法。 Zbl 1496.68193号 Kafle，比肖克桑;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 1 2017 未解释函数的抽象域。 Zbl 1475.68086号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 三 2016 利用差分矩阵的稀疏性。 Zbl 1394.68074号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;Søndergaard，哈拉尔;彼得·斯塔基。 三 2016 具有字级传播的位向量解算器。 Zbl 1475.68360号 王文喜;哈拉尔德·森德加德;彼得·斯塔基。 2 2016 Horn子句作为程序分析和转换的中间表示。 Zbl 1379.68089号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 7 2015 逻辑编程中的真理与信息。 Zbl 1302.68053号 李·奈什;哈拉尔德·森德加德 1 2014 通过插值进行故障表约束逻辑编程。 Zbl 1286.68043号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯塔基。 4 2013 使用插值对正则语言约束进行无边界模型检查。 Zbl 1381.68162号 格雷姆·恒河;豪尔赫·纳瓦斯（Jorge A.Navas）。;彼得·斯塔基。;哈拉尔德·森德加德;彼得·沙赫特 三 2013 在模运算上求解差分约束。 Zbl 1381.68267号 格雷姆·恒河;Søndergaard，哈拉尔;彼得·斯塔基。;彼得·沙赫特 1 2013 自动提取同余。 Zbl 1273.68085号 安迪·金;哈拉尔德·森德加德 5 2010 知识编译中的信息损失：布尔包络的比较。 Zbl 1206.68291号 彼得·沙赫特;哈拉尔德·森德加德;利·怀廷;Kevin Henshall 1 2010 二元决策图的仿射逼近算法。 Zbl 1286.06024号 Kevin Henshall;彼得·沙赫特;Søndergaard，哈拉尔;利·怀廷 1 2010 使用SAT推导同余方程。 Zbl 1155.68441号 安迪·金;哈拉尔德·森德加德 三 2008 Prolog中的超循环抽象解释。 Zbl 1026.68505号 科迪什，迈克尔;哈拉尔德·森德加德 2 2002 高精度接地分析。 Zbl 1053.68524号 科迪什，迈克尔;萨米尔·根奈姆;哈拉尔德·森德加德;彼得·斯塔基。 1 2001 绑定时分析的布尔约束。 Zbl 0984.68024号 凯文·格林;彼得·斯塔基。;马丁·苏尔兹曼;Søndergaard，哈拉尔 1 2001 用于相关性分析的两类布尔函数。 Zbl 0942.68018号 塔尼亚·阿姆斯特朗;金·万豪酒店;彼得·沙赫特;哈拉尔德·森德加德 11 1998 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯塔基;Søndergaard，哈拉尔 三 1998 Prolog的差异列表转换。 Zbl 0774.68027号 金·万豪酒店;哈拉尔德·森德加德 1 1993 正常逻辑程序的自下而上数据流分析。 Zbl 0776.68025号 金·万豪酒店;哈拉尔德·森德加德 6 1992 参考透明度、明确性和可展开性。 Zbl 0679.68150号 哈拉尔德·森德加德;彼得·塞斯托夫特 6 1990 Mix：用于编译器生成实验的自适用部分计算器。 Zbl 0644.68037号 尼尔·D·琼斯。;彼得·塞斯托夫特;哈拉尔德·森德加德 三 1988 逻辑程序抽象解释的一种应用：发生检查减少。 Zbl 0605.68090号 哈拉尔德·森德加德 13 1986 所有引用出版物 前5名被引用出版物 全部的 前5名126位作者引用 9 哈拉尔德·森德加德 8 安迪·金 6 曼努埃尔五世（Manuel V.Hermenegildo）。 5 约翰·加拉赫（John P.Gallagher）。 5 彼得·沙切特 4 彼得·詹姆斯·斯塔基 三 Jörg Brauer 三 格雷姆·恒河 三 帕特里夏·M·希尔。 三 Kafle，比肖克桑 三 福斯托·斯波托 2 文森佐·阿塞里 2 华金·阿里亚斯 2 罗伯特·巴格纳拉 2 曼纽尔·卡罗 2 阿齐姆·查德哈里 2 阿戈斯蒂诺·科尔特斯 2 伊曼纽尔·德·安吉利斯 2 德拉本特，Włodzimierz 2 法比奥·菲奥拉万蒂 2 雅各布·M·豪。 2 斯特凡·科瓦列夫斯基 2 比约恩·利斯特 2 洛佩斯·加西亚，佩德罗 2 金·万豪酒店 2 弗雷德·梅斯纳德 2 何塞·弗朗西斯科·莫拉莱斯 2 豪尔赫·纳瓦斯（Jorge A.Navas）。 2 马蒂娜·奥利亚罗 2 埃蒂安·佩耶特 2 阿尔贝托·佩特罗西 2 毛里齐奥·普罗埃蒂 2 弗朗西斯科·兰扎托 2 温·范霍夫 2 德国维达尔 2 贡萨古·耶尔瑙斯 2 埃纳州扎法内拉 1 彼得·阿克滕 1 埃琳娜·艾克利。 1 艾尔维拉·阿尔伯特 1 罗伯托·阿马迪尼 1 吉安卢卡·阿马托 1 穆罕默德·巴巴拉 1 塞巴斯蒂安·巴丁 1 弗朗索瓦·博博特 1 米克尔波菲尔 1 克里斯蒂娜·博拉莱拉斯 1 安娜丽莎·博西 1 德米特里·布朗格 1 莫里斯·布吕诺格 1 F.Warren伯顿 1 弗兰克·卡塞兹 1 查克拉波蒂，苏普拉特克 1 扎卡里亚·奇哈尼 1 海宁·克里斯蒂安森 1 巴特·德梅恩 1 马克·德内克 1 迪奇，丹尼尔 1 杜梅内克，杰苏斯·J·。 1 阿戈斯蒂诺·多维尔 1 莫雷诺，法拉斯基 1 皮埃特罗·费拉拉 1 吉尔伯托·菲莱 1 皮埃尔·弗莱纳 1 安德烈亚·福米萨诺 1 斯蒂芬妮·福雷斯特 1 伊莎贝尔·加西亚·孔特雷拉斯 1 萨米尔·根奈姆 1 罗伯托·贾科巴齐 1 罗伯塔·戈里 1 丹尼尔·卡贝扎（Daniel Cabeza），格拉斯（Gras） 1 拉森·金（Larsen Kim Guldstrand） 1 戈帕尔·古普塔 1 尤里安·黑格 1 博·斯蒂格·汉森 1 马蒂亚斯·海兹曼 1 Kevin Henshall 1 布莱恩·赫利希 1 Jochen Hoenicke公司 1 胡克，约翰·N·琼。 1 彼得·格约尔·詹森 1 John，Ajith K。 1 尼尔·D·琼斯。 1 马克西米利亚诺·克莱门 1 彼得·科普曼 1 彼得·戈姆·拉森 1 乔治·列维 1 埃琳娜·马尔奇奥里 1 Joáo P.塞尔瓦侯爵。 1 布鲁诺·玛丽 1 恩里克·马丁·马汀 1 伊莎贝拉·马斯特罗埃尼 1 卡洛斯·门西娅 1 斯皮罗·米查洛夫 1 马可·T·莫拉赞。 1 安妮·穆克斯 1 李·奈什 1 亚历山大·纳茨 1 塔卡马萨·奥库多诺 1 卡洛斯·奥拉特 …还有26位作者 全部的 前5名引用于18个系列 14 逻辑程序设计理论与实践 13 理论计算机科学 三 信息与计算 三 系统设计中的形式化方法 三 高阶和符号计算 2 人工智能 2 计算机程序设计科学 1 信息学报 1 信息处理信件 1 新一代计算 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 图表 1 函数编程杂志 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 全部的 前5名在8个字段中引用 71 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 有序，格，有序代数结构（06-XX） 2 数值分析（65-XX） 2 运筹学、数学编程（90-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文