彼得·武克米洛维奇
人员信息
附属: 荷兰阿姆斯特丹Vrije大学
优化列表
2020年–今天
2023 [j8] 亚历山大·本特坎普 , 布兰切特 , 努梅林签证 , 索菲·图雷特 , 彼得·武克米洛维奇 , 乌韦·沃尔德曼 :
机械数学家。 公社。 ACM公司 66 ( 4 ) : 80-90 ( 2023 ) [j7] 亚历山大·本特坎普 , 布兰切特 , 索菲·图雷特 , 彼得·武克米洛维奇 :
高阶逻辑的叠加。 J.汽车。 原因。 67 ( 1 ) : 10 ( 2023 ) [j6] 布兰切特 , 彼得·武克米洛维奇 :
SAT激励高阶消除。 日志。 方法计算。 科学。 19 ( 2 ) ( 2023 ) [j5] 彼得·武克米洛维奇 , 布兰切特 , Marijn J.H.鞋垫 :
SAT-叠加激励消除。 ACM事务处理。 计算。 日志。 24 ( 1 ) : 7:1-7:25 ( 2023 ) [第12条] 彼得·武克米洛维奇 , 布兰切特 , 斯蒂芬·舒尔茨 :
将高性能校验器扩展到高阶逻辑。 TACAS(2) 2023 : 111-129 2022 [j4] 彼得·武克米洛维奇 , 亚历山大·本特坎普 , 布兰切特 , 西蒙·克鲁恩斯 , Visa Nummelin卡 , 索菲·图雷特 :
使高阶叠加起作用。 J.汽车。 原因。 66 ( 4 ) : 541-564 ( 2022 ) [j3] 彼得·武克米洛维奇 , 布兰切特 , 西蒙·克鲁恩斯 , 斯蒂芬·舒尔茨 :
将brainiac证明程序扩展到无lambda-free高阶逻辑。 国际期刊软件。 技术工具。 Transf公司。 24 ( 1 ) : 67-87 ( 2022 ) [第11条] 马丁·德沙奈斯 , 彼得·武克米洛维奇 , 布兰切特 , 马卡里乌斯·温泽尔 :
锤子下的十七名监督员。 ITP公司 2022 : 8:1-8:18 [i3] 布兰切特 , 彼得·武克米洛维奇 :
SAT激励高阶消除。 CoRR公司 abs/2208.07775 ( 2022 ) 2021 [j2] 亚历山大·本特坎普 , 布兰切特 , 索菲·图雷特 , 彼得·武克米洛维奇 , 乌韦·沃尔德曼 :
与Lambdas叠加。 J.汽车。 原因。 65 ( 7 ) : 893-940 ( 2021 ) [j1] 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 日志。 方法计算。 科学。 17 ( 4 ) ( 2021 ) [第10条] Visa Nummelin卡 , 亚历山大·本特坎普 , 索菲·图雷特 , 彼得·武克米洛维奇 :
与第一类布尔函数和Inprocessing子句的叠加。 CADE公司 2021 : 378-395 【c9】 亚历山大·本特坎普 , 布兰切特 , 索菲·图雷特 , 彼得·武克米洛维奇 :
全高阶逻辑的叠加。 CADE公司 2021 : 396-412 【c8】 彼得·武克米洛维奇 , 亚历山大·本特坎普 , 布兰切特 , 西蒙·克鲁恩斯 , 努梅林签证 , 索菲·图雷特 :
使高阶叠加起作用。 CADE公司 2021 : 415-432 【c7】 彼得·武克米洛维奇 , 布兰切特 , Marijn J.H.鞋垫 :
SAT-叠加激励消除。 FMCAD公司 2021 : 231-240 [i2] 亚历山大·本特坎普 , 布兰切特 , 索菲·图雷特 , 彼得·武克米洛维奇 , 乌韦·沃尔德曼 :
与Lambdas叠加。 CoRR公司 abs/2102.00453 ( 2021 ) 2020 【c6】 彼得·武克米洛维奇 , Visa Nummelin卡 :
高阶叠加证明程序中的布尔推理。 PAAR+SC²@IJCAR 2020 : 148-166 【c5】 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 金融稳定与发展部 2020 : 5:1-5:17 [i1] 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 CoRR公司 abs/2011.09507 ( 2020 )
2010 – 2019
2019 【c4】 亚历山大·本特坎普 , 布兰切特 , 索菲·图雷特 , 彼得·武克米洛维奇 , 乌韦·沃尔德曼 :
与Lambdas叠加。 CADE公司 2019 : 55-73 【c3】 斯蒂芬·舒尔茨 , 西蒙·克鲁恩斯 , 彼得·武克米洛维奇 :
更快、更高、更强:E 2.3。 CADE公司 2019 : 495-507 【c2】 彼得·武克米洛维奇 , 贾斯敏·克里斯蒂安·布兰切特 , 西蒙·克鲁恩斯 , 斯蒂芬·舒尔茨 :
将Brainiac校准器扩展到Lambda-Free高阶逻辑。 TACAS(1) 2019 : 192-210 2017 【c1】 伊万诺·马拉沃尔塔 , 朱塞佩·普罗卡坎蒂 , 保罗·诺尔 , 佩塔尔·武克米罗维奇 :
评估服务人员对渐进式Web应用程序能效的影响。 移动软件@ICSE 2017 : 35-45