彼得·沙赫特
人员信息
附属: 澳大利亚墨尔本大学计算与信息系统学院
优化列表
2020年–今天
2024 [公元17年] 比肖克桑·卡夫勒 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
使用约束Horn子句进行非终结推理的轻量级方法。 柔和。 系统。 模型。 23 ( 2 ) : 319-342 ( 2024 ) 2021 [公元16年] 格雷姆恒河 , 马泽群 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
全新的分区和八角形。 ACM事务处理。 程序。 语言系统。 43 ( 三 ) : 11:1-11:51 ( 2021 ) [公元15年] 比肖克桑·卡夫勒 , 格雷姆恒河 , 彼得·J·斯塔基 , 彼得·沙赫特 , 哈拉尔德·森德加德 :
启用转换的前提推理。 理论与实践。 日志。 程序。 21 ( 6 ) : 700-716 ( 2021 ) [公元45年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
析取区间分析。 SAS公司 2021 : 144-165 [公元44年] 比肖克桑·卡夫勒 , 格雷姆·甘格 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
使用CHC的轻量级不确定性推理。 SEFM公司 2021 : 383-402 [i8] 比肖克桑·卡夫勒 , 格雷姆恒河 , 彼得·J·斯塔基 , 彼得·沙赫特 , 哈拉尔德·森德加德 :
启用转换的前提推理。 CoRR公司 abs/2108.03178 ( 2021 ) 2020 [公元43年] 罗伯托·阿马蒂尼 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
抽象解释、符号执行和约束。 加布里埃利的节日 2020 : 7:1-7:19 [c42] 罗伯托·阿马迪尼 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
字符串约束求解:过去、现在和未来。 ECAI公司 2020 : 2875-2876 [公元41年] 罗伯托·阿马蒂尼 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·斯塔基 :
动态符号执行的算法选择:初步研究。 洛普斯特 2020 : 192-209
2010 – 2019
2019 [公元14年] 迭戈·德乌尼亚 , 格雷姆恒河 , 彼得·沙切特 , 彼得·J·斯塔基 :
将CP子问题编译为MDD和d-DNNF。 制约国际期刊。 24 ( 1 ) : 56-93 ( 2019 ) [公元40年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , Harald Søndergaard公司 , 彼得·J·斯塔基 :
剖析拓宽:将终止与信息分离。 阿普拉斯 2019 : 95-114 [公元39年] 马克·安德隆 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
恒定时间浮点加法的最佳界限。 ARITH公司 2019 : 159-166 [公元38年] 罗伯托·阿马蒂尼 , 马克·安德隆 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·斯塔基 :
JavaScript动态符号执行的约束编程。 CPAIOR公司 2019 : 1-19 2018 [j13] 罗伯托·阿马迪尼 , 格雷姆恒河 , 弗朗索瓦·高瑟 , 亚历山大·乔丹 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 , 张晨毅 :
参考字符串分析的抽象域和应用程序。 芬丹。 信息学 158 ( 4 ) : 297-326 ( 2018 ) [公元12年] 比肖克桑·卡夫勒 , 约翰·加拉赫 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
使用约束Horn子句进行前提推理的迭代方法。 理论与实践。 日志。 程序。 18 ( 3-4 ) : 553-570 ( 2018 ) [公元37年] 迭戈·德乌尼亚 , 娜塔莉亚·吕梅尔 , 格雷姆恒河 , 彼得·沙赫特 , 彼得·J·斯塔基 :
关系到生物模式映射的机器学习和约束编程。 国际JCAI 2018 : 1277-1283 [i7] 比肖克桑·卡夫勒 , 约翰·P·加拉格尔 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
使用约束Horn子句进行前提推理的迭代方法。 CoRR公司 腹肌/1804.05989 ( 2018 ) [i6] 比肖克桑·卡夫勒 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
通过划分初始状态进行前提推理。 CoRR公司 abs/1811.06771 ( 2018 ) 2017 [公元36年] 迭戈·德乌尼亚 , 格雷姆恒河 , 彼得·沙赫特 , 彼得·J·斯塔基 :
尽可能减少生境保护的景观阻力。 CPAIOR公司 2017 : 113-130 [公元35年] 比肖克桑·卡夫勒 , 格雷姆恒河 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
确定模线性整数算法的Benders分解方法。 坐 2017 : 380-397 [公元34年] 罗伯托·阿马蒂尼 , 亚历山大·乔丹 , 格雷姆恒河 , 弗朗索瓦·高蒂尔 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 , 张晨毅 :
组合字符串抽象域进行JavaScript分析:评估。 TACAS(1) 2017 : 41-57 2016 [公元11年] 李·奈什 , 彼得·沙赫特 , 亚历克·麦克纳利 :
Adtpp:C的轻量级高效安全多态代数数据类型。 柔和。 实际。 支出。 46 ( 12 ) : 1685-1703 ( 2016 ) [公元10年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
无上下文语言规则可分性的完整细化过程。 西奥。 计算。 科学。 625 : 1-24 ( 2016 ) [公元33年] 迭戈·德乌尼亚 , 格雷姆恒河 , 彼得·沙赫特 , 彼得·J·斯塔基 :
使用约束编程解决带有边约束的Steiner树问题。 AAAI公司 2016 : 3383-3389 [公元32年] 迭戈·德乌尼亚 , 格雷姆恒河 , 彼得·沙赫特 , 彼得·J·斯塔基 :
有向图上的有界路径传播算子。 人物配对关系 2016 : 189-206 [c31] 迭戈·德乌尼亚 , 格雷姆恒河 , 彼得·沙赫特 , 彼得·J·斯塔基 :
带解释的加权生成树约束。 CPAIOR公司 2016 : 98-107 [公元30年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
利用差分定界矩阵中的稀疏性。 SAS公司 2016 : 189-211 [公元29年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·斯塔基 :
未解释函数的抽象域。 虚拟计算机辅助教学 2016 : 85-103 2015 [公元9年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
Horn子句作为程序分析和转换的中间表示。 理论与实践。 日志。 程序。 15 ( 4-5 ) : 526-542 ( 2015 ) [公元28年] 罗斯·基普里亚诺 , 彼得·沙赫特 , 比尔·摩兰 :
Dauphin:一种信号处理语言——统计信号处理变得简单。 DICTA公司 2015 : 1-8 [公元27年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
一个用于交叉上下文无关语法的工具及其应用。 非金融市场 2015 : 422-428 [i5] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
Horn子句作为程序分析和转换的中间表示。 CoRR公司 abs/1507.05762 ( 2015 ) 2014 [j8] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
区间分析和机器算术:为什么有意义的无知是幸福。 ACM事务处理。 程序。 语言系统。 37 ( 1 ) : 1:1-1:35 ( 2014 ) [公元26年] J.罗伯特·M·科尼什 , 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·斯塔基 :
通过程序转换分析数组操作程序。 洛普斯特 2014 : 3-20 [i4] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·斯塔基 :
数组内容分析的部分顺序方法。 CoRR公司 abs/1408.1754 ( 2014 ) [i3] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
无上下文语言规则可分性的完整细化过程。 CoRR公司 abs/1411.5131 ( 2014 ) 2013 [j7] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
通过插值进行故障表约束逻辑编程。 理论与实践。 日志。 程序。 13 ( 4-5 ) : 593-607 ( 2013 ) [公元25年] 格雷姆恒河 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 , 彼得·沙切特 :
在模运算上求解差分约束。 CADE公司 2013 : 215-230 [公元24年] 马修·戴维斯 , 彼得·沙赫特 , 佐尔坦·索莫吉 , 哈拉尔德·森德加德 :
一种低开销的方法,用于恢复区域内未使用的内存。 PLDI的MSPC 2013 : 4:1-4:10 【c23】 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
非参数抽象域上的抽象解释。 SAS公司 2013 : 6-24 [公元22年] 格雷姆恒河 , 豪尔赫·纳瓦斯 , 彼得·J·斯塔基 , 哈拉尔德·森德加德 , 彼得·沙赫特 :
正则语言约束的无边界模型检查与插值。 TACAS公司 2013 : 277-291 2012 【c21】 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·J·斯塔基 :
有意义-忽略程序分析:低层代码的精确整数边界。 阿普拉斯 2012 : 115-130 [公元20年] 马修·戴维斯 , 彼得·沙赫特 , 佐尔坦·索莫吉 , Harald Søndergaard公司 :
面向Go的基于区域的内存管理。 微软个人电脑 2012 : 58-67 [第19条] 保罗·博恩 , 佐尔坦·索莫吉 , 彼得·沙切特 :
并行水银代码中的控制回路。 DAMP公司 2012 : 11-20 2011 [j6] 保罗·博恩 , 佐尔坦·索莫吉 , 彼得·沙赫特 :
估计自动并行化的相关计算之间的重叠。 理论与实践。 日志。 程序。 11 ( 4-5 ) : 575-591 ( 2011 ) [i2] 保罗·博恩 , 佐尔坦·索莫吉 , 彼得·沙赫特 :
估计自动并行化的相关计算之间的重叠。 CoRR公司 abs/1109.1420 ( 2011 ) 2010 [j5] 彼得·沙赫特 , Harald Søndergaard公司 , 利·怀廷 , 凯文·亨谢尔 :
知识编译中的信息损失:布尔包络的比较。 Artif公司。 智力。 174 ( 9-10 ) : 585-596 ( 2010 ) 【j4】 凯文·亨沙尔 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 利·怀廷 :
二元决策图的仿射逼近算法。 别致。 J.西奥。 计算。 科学。 2010 ( 2010 )
2000 – 2009
2009 [第18条] 哈立德·贾赛尔 , 彼得·沙赫特 :
ParaAJ:面向可重用和可维护的面向方面程序。 ACSC公司 2009 : 53-62 [第17条] 凯文·亨谢尔 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 利·怀廷 :
二元决策图的布尔仿射逼近。 猫 2009 : 119-127 [第16条] 特雷弗·汉森 , 彼得·沙赫特 , 哈拉尔德·森德加德 :
二进制符号执行的状态连接和分割。 RV汽车 2009 : 76-92 2008 [i1] 凯文·亨谢尔 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 利·怀廷 :
仿射近似的二元决策图。 CoRR公司 abs/0804.0066 ( 2008 ) 2007 [j3] 布莱恩·赫利希 , 彼得·沙赫特 , 哈拉尔德·森德加德 :
Un-Kleene布尔方程求解。 发现的国际期刊。 计算。 科学。 18 ( 2 ) : 227-250 ( 2007 ) [第15条] 艾米·贝斯·科尔曼 , 彼得·沙赫特 , 凡妮莎·蒂格 :
QUIP:对等发布/订阅覆盖网络中保护内容的协议。 交流电容器 2007 : 35-40 [第14条] 艾米·贝斯·科尔曼 , 彼得·沙赫特 , 凡妮莎·蒂格 :
一种用于对等应用程序的安全组协议(SGA)协议。 AINA研讨会(1) 2007 : 24-29 [第13条] 哈立德·贾赛尔 , 彼得·沙赫特 , 埃德蒙·卡兹米尔扎克 :
面向对象和面向方面语言对软件维护的适用性。 ASWEC公司 2007 : 117-128 [第12条] 艾米·贝斯·科尔曼 , 彼得·沙赫特 , 凡妮莎·蒂格 :
对等应用程序的安全随机数协议。 ICPADS公司 2007 : 1-8 [第11条] 彼得·沙赫特 , 哈拉尔德·森德加德 :
重新审视布尔近似。 萨拉 2007 : 329-343 2006 [第10条] 艾米·贝斯·科尔曼 , 斯科特·道格拉斯 , 彼得·沙赫特 , 凡妮莎·蒂格 :
对等游戏的安全事件协议(SEA)协议。 ARES公司 2006 : 34-41 【c9】 布莱恩·赫利希 , 彼得·沙赫特 , 哈拉尔德·森德加德 :
布尔方程求解作为图形遍历。 猫 2006 : 123-132 【c8】 迈克尔·科迪什 , 维塔利湖 , 彼得·沙赫特 , 彼得·J·斯塔基 :
中的尺寸变化终止分析 k个 -比特。 员工持股计划 2006 : 230-245 【c7】 彼得·沙赫特 , 哈拉尔德·森德加德 :
ROBDD的闭包运算符。 VMCAI公司 2006 : 1-16 2003 [注2] 彼得·沙赫特 :
约束逻辑程序的精确的与目标无关的抽象解释。 西奥。 计算。 科学。 293 ( 三 ) : 557-577 ( 2003 ) 【c6】 彼得·沙赫特 :
序列量化。 PADL(PADL) 2003 : 128-144 2001 [c5] 彼得·沙赫特 :
约束逻辑程序的精确与目标无关的抽象解释。 猫 2001 : 249-265
1990 – 1999
1998 [j1] 塔妮娅·阿姆斯特朗 , 金·马里奥特 , 彼得·沙赫特 , 哈拉尔德·森德加德 :
用于依赖性分析的两类布尔函数。 科学。 计算。 程序。 31 ( 1 ) : 3-45 ( 1998 ) 【c4】 罗伯托·巴格纳拉 , 彼得·沙赫特 :
基于ROBDD的Pos实现中的等价变量对分解。 APPIA-GULP-PRODE公司 1998 : 227-240 【c3】 罗伯托·巴格纳拉 , 彼得·沙赫特 :
基于ROBDD的Pos实现中的等价变量对分解。 AMAST公司 1998 : 471-485 1997 【c2】 彼得·沙切特 :
逻辑编程中的全局变量。 ICLP公司 1997 : 3-17 1995 [第1页] 彼得·沙赫特 , 乔治·萨博 :
Prolog中高效的面向对象编程。 逻辑程序设计:形式化方法和实际应用 1995 : 205-243 1994 【c1】 塔妮娅·阿姆斯特朗 , 金万豪酒店 , 彼得·沙赫特 , Harald Søndergaard公司 :
依赖分析的布尔函数:代数性质和有效表示。 SAS公司 1994 : 266-280