停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

彼得·武克米洛维奇

>主页 >珀森斯

人员信息

附属： 荷兰阿姆斯特丹Vrije大学

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

期刊文章

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/BentkampBNTVW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/BentkampBNTVW23
亚历山大·本特坎普,布兰切特,Visa Nummelin卡,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
机械数学家。 Commun公司。ACM公司 66(4):80-90(2023)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBTV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBTV23
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇:
高阶逻辑的叠加。 J.汽车。原因。 67(1):10(2023)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BlanchetteV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BlanchetteV23
布兰切特,彼得·武克米洛维奇:
SAT激励高阶消除。日志。方法计算。科学。 19(2)(2023)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/VukmirovicBH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/VukmirovicBH23
彼得·武克米洛维奇,布兰切特,Marijn J.H.鞋垫:
SAT-叠加激励消除。 ACM事务处理。计算。日志。 24(1):7:1-7:25(2023)
2022
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/VukmirovicBBCNT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/VukmirovicBBCNT22
彼得·武克米洛维奇,亚历山大·本特坎普,布兰切特,西蒙·克鲁恩斯,Visa Nummelin卡,索菲·图雷特:
使高阶叠加起作用。 J.汽车。原因。 66(4):541-564(2022)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VukmirovicBCS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VukmirovicBCS22
彼得·武克米洛维奇,布兰切特,西蒙·克鲁恩斯,斯蒂芬·舒尔茨:
将brainiac证明程序扩展到无lambda-free高阶逻辑。国际期刊软件。技术工具。Transf公司。 24(1):67-87(2022)
2021
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBTVW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBTVW21
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 J.汽车。原因。 65(7):893-940(2021)
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/VukmirovicBN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/VukmirovicBN21
彼得·武克米洛维奇,亚历山大·本特坎普,Visa Nummelin卡:
高效的全高阶统一。日志。方法计算。科学。 17(4)(2021)

会议和研讨会文件

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VukmirovicBS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VukmirovicBS23
彼得·武克米洛维奇,布兰切特,斯蒂芬·舒尔茨:
将高性能验证程序扩展到高阶逻辑。 TACAS（2） 2023:111-129
2022
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/DesharnaisVBW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/DesharnaisVBW22
马丁·德沙奈斯,彼得·武克米洛维奇,布兰切特,马卡里乌斯·温泽尔:
锤子下的十七名监督员。 ITP公司 2022:8:1-8:18
2021
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NummelinBTV21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NummelinBTV21网址
Visa Nummelin卡,亚历山大·本特坎普,索菲·图雷特,彼得·武克米洛维奇:
与第一类布尔函数和Inprocessing子句的叠加。 CADE公司 2021:378-395
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/本特坎普BTV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTV21
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇:
全高阶逻辑的叠加。 CADE公司 2021:396-412
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Vukmirovic公司BBCNT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VukmirovicBBCNT21
彼得·武克米洛维奇,亚历山大·本特坎普,布兰切特,西蒙·克鲁恩斯,Visa Nummelin卡,索菲·图雷特:
使高阶叠加起作用。 CADE公司 2021:415-432
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/VukmirovicBH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/VukmirovicBH21
彼得·武克米洛维奇,布兰切特,Marijn J.H.赫勒:
SAT-叠加激励消除。 FMCAD公司 2021:231-240
2020
【c6】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/VukmirovicN20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VukmirovicN20网站
彼得·武克米洛维奇,Visa Nummelin卡:
高阶叠加证明程序中的布尔推理。 PAAR+SC²@IJCAR 2020:148-166
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/VukmirovicBN20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/VukmirovicBN20
彼得·武克米洛维奇,亚历山大·本特坎普,Visa Nummelin卡:
高效的全高阶统一。金融稳定与发展部 2020:5:1-5:17
2019
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BentkampBTVW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTVW19
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 CADE公司 2019:55-73
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001CV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001CV19
斯蒂芬·舒尔茨,西蒙·克鲁恩斯,彼得·武克米洛维奇:
更快、更高、更强：E 2.3。 CADE公司 2019:495-507
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VukmirovicBCS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VukmirovicBCS19
彼得·武克米洛维奇,贾斯敏·克里斯蒂安·布兰切特,西蒙·克鲁恩斯,斯蒂芬·舒尔茨:
将Brainiac校准器扩展到Lambda-Free高阶逻辑。 TACAS（1） 2019:192-210
2017
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/MalavoltaPNV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/MalavoltaPNV17
伊万诺·马拉沃尔塔,朱塞佩·普罗卡坎蒂,保罗·诺尔,彼得·武克米洛维奇:
评估服务人员对渐进式Web应用程序能效的影响。移动软件@ICSE 2017:35-45

非正式出版物和其他出版物

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2022
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2208-07775
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-07775
布兰切特,彼得·武克米洛维奇:
SAT激励高阶消除。 CoRR公司 abs/2208.07775(2022)
2021
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-2102-00453
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-00453
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 CoRR公司 abs/2102.00453(2021)
2020
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2011-09507
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2011-09507
彼得·武克米洛维奇,亚历山大·本特坎普,Visa Nummelin卡:
高效的全高阶统一。 CoRR公司 abs/2011.09507(2020)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。