凯文·巴茨
人员信息
优化列表
2020年–今天
2024 [j6] 凯文·巴茨 , 汤姆·扬尼克·比斯库普 , 乔斯特·皮特·卡托恩 , 托比亚斯·温克勒 :
程序策略综合:解决概率程序中的不确定性。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 2792-2820 ( 2024 ) 2023 [j5] 菲利普·施罗德 , 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 :
概率程序的演绎验证基础设施。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 2052-2082 ( 2023 ) 【j4】 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托弗·马瑟亚 , Lena Verscht公司 :
摊销预期运行时间的微积分。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 1957-1986 ( 2023 ) 【c6】 凯文·巴茨 , 陈明帅 , 塞巴斯蒂安·荣格斯 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托弗·马瑟亚 :
通过归纳不变量的归纳合成进行概率程序验证。 TACAS(2) 2023 : 410-429 【d1】 菲利普·施勒 , 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托弗·马瑟亚 :
概率程序的演绎验证基础设施-工件评估。 泽诺多 , 2023 [i12] 菲利普·施罗德 , 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 :
概率程序的演绎验证基础设施。 CoRR公司 abs/2309.07781 ( 2023 ) [i11] 凯文·巴茨 , 汤姆·扬尼克·比斯库普 , 乔斯特·皮特·卡托恩 , 托比亚斯·温克勒 :
程序策略综合:解决概率程序中的不确定性。 CoRR公司 abs/2311.06889 ( 2023 ) 2022 [j3] 凯文·巴茨 , 阿德里安·加卢斯 , 本杰明·卢西恩·卡明斯基 , 乔斯特·皮特·卡托恩 , 托比亚斯·温克勒 :
加权编程:用于指定数学模型的编程范例。 程序。 ACM计划。 语言。 6 ( OOPSLA1公司 ) : 1-30 ( 2022 ) 【c5】 凯文·巴茨 , 伊拉·费塞费尔特 , 马文·詹森 , 乔斯特·皮特·卡托恩 , 弗洛里安·科勒 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑中蕴涵检查的基础。 员工持股计划 2022 : 57-84 [i10] 凯文·巴茨 , 伊拉·费塞费尔特 , 马文·詹森 , 乔斯特·皮特·卡托恩 , 弗洛里安·科勒 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑中蕴涵检查的基础(扩展版)。 CoRR公司 abs/2201.11464 ( 2022 ) [第九章] 凯文·巴茨 , 阿德里安·加卢斯 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 托比亚斯·温克勒 :
加权编程。 CoRR公司 abs/2202.07577 ( 2022 ) [i8] 凯文·巴茨 , 陈明帅 , 塞巴斯蒂安·荣格斯 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 :
通过归纳不变量的归纳合成进行概率程序验证。 CoRR公司 腹肌/2205.06152 ( 2022 ) [i7] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , Lena Verscht公司 :
摊销预期运行时间的微积分。 CoRR公司 abs/2211.12923 ( 2022 ) 2021 [注2] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 :
概率程序的相对完整验证:基于期望推理的表达语言。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-30 ( 2021 ) 【c4】 凯文·巴茨 , 陈明帅 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , 菲利普·施罗德 :
格k-归纳法及其在概率程序中的应用。 CAV(2) 2021 : 524-549 [i6] 凯文·巴茨 , 陈明帅 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , 菲利普·施罗德 :
格k-归纳法及其在概率程序中的应用。 CoRR公司 abs/2105.14100 ( 2021 ) 2020 【c3】 凯文·巴茨 , 塞巴斯蒂安·荣格斯 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , 菲利普·施罗德 :
PrIC3:MDP的属性定向可达性。 CAV(2) 2020 : 512-538 【c2】 卢茨·克林肯伯格 , 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 约书亚·莫尔曼 , 托比亚斯·温克勒 :
概率程序的生成函数。 洛普斯特 2020 : 231-248 [i5] 凯文·巴茨 , 塞巴斯蒂安·荣格斯 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , 菲利普·施罗德 :
PrIC3:MDP的属性定向可达性。 CoRR公司 abs/2004.14835 ( 2020 ) [i4] 卢茨·克林肯伯格 , 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 约书亚·莫尔曼 , 托比亚斯·温克勒 :
概率程序的生成函数。 CoRR公司 abs/2007.06327 ( 2020 ) [i3] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托弗·马瑟亚 :
概率程序的相对完整验证。 CoRR公司 abs/2010.14548 ( 2020 )
2010 – 2019
2019 [j1] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑:一种推理概率指针程序的逻辑。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 34:1-34:29 ( 2019 ) 2018 【c1】 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 :
贝叶斯网络,我要给你采样多长时间?- 关于预期采样时间的程序分析视角。 员工持股计划 2018 : 186-213 [i2] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托弗·马瑟亚 :
贝叶斯网络,我会给你采样多久? 关于预期采样时间的程序分析视角。 CoRR公司 abs/1802.10433 ( 2018 ) [i1] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑。 CoRR公司 abs/1802.10467 ( 2018 )