编辑配置文件（在新选项卡中打开） 本杰明·卢西恩·卡明斯基 合著者距离 作者ID： 卡明斯基·本杰明·吕西安 发布日期： 本杰明·卢西恩·卡明斯基；本杰明·卡明斯基。 已编制索引的文档： 35出版物自1976年以来，包括1个附加arXiv预打印 合著者： 20位合著者具有18联合出版物 321位Co-Co作者 全部的 前5名合著者 7 单作者的 17 Joost-Pieter卡托恩 10 克里斯托夫·马提亚 5 费德里科·奥利梅多 4 凯文·巴茨 三 玛丽亚·宾考斯卡 三 尼尔斯·詹森 2 陈明帅 2 弗里德里希·格雷茨 2 菲利普·施罗德 1 斯坦尼斯·瓦·巴尔塞尔兹克 1 克里斯蒂安·德内特 1 冯胜华 1 塞巴斯蒂安·费伦齐 1 伊沃纳·菲利波维奇 1 阿恩·哈特曼斯 1 塞巴斯蒂安·荣格斯 1 卢茨·克林肯伯格 1 科尔达斯、博莱斯劳 1 简·奎亚特科夫斯基 1 Annabelle K.McIver。 1 约书亚·莫尔曼 1 爱德华·Sąsiada 1 西梅克，J。 1 苏、韩 1 莫里斯·范凯伦 1 卢卡斯威斯特霍芬 1 托拜厄斯·温克勒 1 詹乃军 全部的 前5名系列 三 数学研究所 2 法国数学学会年鉴 1 信息学报 1 以色列数学杂志 1 数学分析杂志 1 数学座谈会 1 日本数学学会杂志 1 美国数学学会会刊 1 Roczniki Polskiego Towarzystwa Matematycznego。塞里亚II。Wiadomo shi ci Matematyczne公司 1 克莱蒙费兰德大学年鉴2。概率与应用 1 科学与技术公报 1 欧洲运筹学杂志 1 美国计算机学会期刊 1 《科学公报》、《数学科学》、《天文学与物理学》 全部的 前5名领域 17 计算机科学（68至XX） 14 测量和集成（28-XX） 三 运筹学、数学规划（90-XX） 2 动力系统和遍历理论（37至XX） 2 概率论与随机过程（60-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 拓扑群、李群（22日至XX日） 1 流体力学（76-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用117中的次71文件 引用人▼ 年份▼ 概率程序预期运行时间的弱前提推理。 Zbl 1335.68058号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；费德里科·奥利梅多 20 2016 关于几乎完全终止的硬度。 Zbl 1465.68097号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩 13 2015 随机算法预期运行时间的弱前提推理。 Zbl 1426.68298号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；费德里科·奥利梅多 11 2018 递归概率程序的推理。 兹比尔1401.68048 费德里科·奥利梅多；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 11 2016 概率规划中的条件处理。 Zbl 1351.68066号 尼尔斯·詹森；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；费德里科·奥利梅多；弗里德里希·格雷茨；安娜贝拉·麦克维尔 11 2015 了解概率程序。 Zbl 1444.68045号 Joost-Pieter卡托恩；弗里德里希·格雷茨；尼尔斯·詹森；本杰明·卢西恩·卡明斯基；费德里科·奥利梅多 9 2015 乐观值迭代。 Zbl 1478.68161号 阿恩·哈特曼斯；本杰明·卢西恩·卡明斯基 8 2020 关于分析概率程序的难度。 Zbl 1417.68054号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 8 2019 关于拟阶和多目标函数。 Zbl 1102.90346号 卡明斯基，B。 7 2007 概率程序的有界模型检验。 Zbl 1398.68343号 尼尔斯·詹森；克里斯蒂安·德内特；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；卢卡斯·韦斯特霍芬 7 2016 贝叶斯网络，我会给你采样多久？关于预期采样时间的程序分析视角。 兹比尔1418.68050 凯文·巴茨；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 6 2018 初级集成电路3：MDP的属性定向可达性。 Zbl 1478.68143号 凯文·巴茨；塞巴斯蒂安·荣格斯；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；菲利普·施罗德 5 2020 格型归纳法及其在概率程序中的应用。 Zbl 1493.68204号 凯文·巴茨；陈明帅；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；菲利普·施罗德 三 2021 多维动力系统的正则生成器。 Zbl 0594.28020号 卡明斯基，B。；科布斯，M。 2 1986 高斯作用的零熵和方向伯努利性。 Zbl 0870.28010号 费伦齐，S。；卡明斯基，B。 2 1995 混合设计期望的最弱预期望语义。 兹比尔1458.68038 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩 2 2017 概率程序的生成函数。 Zbl 07496650号 卢茨·克林肯伯格；凯文·巴茨；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；约书亚·莫尔曼；托拜厄斯·温克勒 1 2021 在穷举分区中的\（{\mathbb{Z}}^2\）-操作的正则生成器上。 Zbl 0622.28015号 卡明斯基，B。 1 1986 遍历有限位移的分类。 Zbl 0565.60059号 M.宾考斯卡。；卡明斯基，B。 1 1984 勒贝格空间的并合自同构的一些性质。 兹伯利0435.28016 卡明斯基，B。 1 1979 通过程序验证进行预期的运行时分析。 Zbl 07311046号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 1 2021 推断概率程序的协方差。 Zbl 1377.68070号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 1 2016 格型归纳法及其在概率程序中的应用。 Zbl 1493.68204号 凯文·巴茨；陈明帅；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；菲利普·施罗德 三 2021 概率程序的生成函数。 Zbl 07496650号 卢茨·克林肯伯格；凯文·巴茨；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；约书亚·莫尔曼；托拜厄斯·温克勒 1 2021 通过程序验证进行预期的运行时分析。 Zbl 07311046号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 1 2021 乐观值迭代。 Zbl 1478.68161号 阿恩·哈特曼斯；本杰明·卢西恩·卡明斯基 8 2020 初级集成电路3：MDB的属性定向可达性。 Zbl 1478.68143号 凯文·巴茨；塞巴斯蒂安·荣格斯；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；菲利普·施罗德 5 2020 关于分析概率程序的难度。 Zbl 1417.68054号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 8 2019 随机算法预期运行时间的弱前提推理。 Zbl 1426.68298号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；费德里科·奥利梅多 11 2018 贝叶斯网络，我会给你采样多久？关于预期采样时间的程序分析视角。 Zbl 1418.68050号 凯文·巴茨；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 6 2018 混合设计期望的最弱预期望语义。 Zbl 1458.68038号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩 2 2017 概率程序预期运行时间的弱前提推理。 Zbl 1335.68058号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚；费德里科·奥利梅多 20 2016 关于递归概率程序的推理。 Zbl 1401.68048号 费德里科·奥利梅多；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 11 2016 概率程序的有界模型检验。 Zbl 1398.68343号 尼尔斯·詹森；克里斯蒂安·德内特；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；卢卡斯·韦斯特霍芬 7 2016 推断概率程序的协方差。 Zbl 1377.68070号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；克里斯托夫·马提亚 1 2016 关于几乎完全终止的硬度。 Zbl 1465.68097号 本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩 13 2015 概率规划中的条件处理。 Zbl 1351.68066号 尼尔斯·詹森；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；费德里科·奥利梅多；弗里德里希·格雷茨；安娜贝拉·麦克维尔 11 2015 了解概率程序。 Zbl 1444.68045号 Joost-Pieter卡托恩；弗里德里希·格雷茨；尼尔斯·詹森；本杰明·卢西恩·卡明斯基；费德里科·奥利梅多 9 2015 关于拟阶和多目标函数。 Zbl 1102.90346号 卡明斯基，B。 7 2007 高斯作用的零熵和方向伯努利性。 Zbl 0870.28010号 费伦齐，S。；卡明斯基，B。 2 1995 多维动力系统的正则生成器。 Zbl 0594.28020号 卡明斯基，B。；科布斯，M。 2 1986 在穷举分区中的\（{\mathbb{Z}}^2\）-操作的正则生成器上。 Zbl 0622.28015号 卡明斯基，B。 1 1986 遍历有限位移的分类。 Zbl 0565.60059号 Binkowska，M。；卡明斯基，B。 1 1984 勒贝格空间的并合自同构的一些性质。 Zbl 0435.28016号 卡明斯基，B。 1 1979 所有引用出版物 前5名被引用出版物 全部的 前5名150位作者引用 17 Joost-Pieter卡托恩 7 本杰明·卢西恩·卡明斯基 6 科瓦奇，劳拉·伊尔迪科 5 埃齐奥·巴托西 5 托拜厄斯·温克勒 4 塞巴斯蒂安·荣格斯 4 克里斯托夫·马提亚 三 亚历杭德罗·阿吉雷 三 凯文·巴茨 三 克里希南德·查特吉 三 乌戈·达尔拉戈 三 胜本，Shin-ya 三 简·Křetínsk 三 马塞尔·穆斯布鲁克 三 费德里科·奥利梅多 三 亚历山德拉·席尔瓦 三 亚历山大·斯利文斯基 三 米罗斯拉夫斯坦科维奇 三 马克西米利安·威宁格 2 弗拉维恩·布鲁瓦特 2 陈明帅 2 邓玉欣 2 克劳迪娅·法根 2 克里斯蒂娜·格南 2 霍尔格·吉斯 2 吉尔根·吉斯尔 2 弗里德里希·格雷茨 2 马塞尔·哈克 2 阿加提·埃尔鲁 2 詹·菲利普·霍夫曼 2 贾斯汀·徐 2 巴特·雅各布斯 2 尼尔斯·詹森 2 卢茨·克林肯伯格 2 安东尼·库塞拉 2 玛丽亚·马克西莫娃 2 诺尔，托马斯 2 诺沃顿，皮特 2 蒂姆·夸特曼 2 伊曼纽尔·拉姆尼安图 2 斯文·施奈德 2 桑吉特·阿伦库马尔·塞希亚 2 朱伊凯利奇，{D} 或{d} e（电子） 1 亚历山德罗·阿巴特 1 罗宾·亚当斯 1 雷纳尔德·阿弗尔德 1 达内什瓦·阿姆罗拉希 1 Krzysztof Rafal公寓 1 朱塞佩·阿特尼塞 1 穆克西特·阿齐姆 1 白、云君 1 克里斯特尔·拜尔 1 鲍嘉璐 1 吉尔·巴特 1 阿尔伯特·本文尼斯特 1 迈克尔·布隆丁 1 托马斯·布拉兹迪尔 1 肯塔·乔 1 曼纽尔·埃贝尔 1 瑟伦·埃内沃德森 1 哈维尔·埃斯帕尔扎 1 亚历山大·伊万杰里迪斯 1 冯、袁 1 伊拉·费塞费尔特 1 达里奥·菲奥雷 1 内特·福斯特 1 傅洪飞 1 雅克·加里格 1 米尔科·贾科布 1 彼得·吉斯尔 1 阿米尔·卡夫什达尔·戈哈沙迪 1 戈哈尔沙迪，埃桑·卡夫什达尔 1 查尔斯·格雷洛伊斯 1 顾涛 1 阿恩·哈特曼斯 1 Max W·哈斯贝克。 1 一郎·哈索 1 史蒂文·霍尔岑 1 约翰·Hölzl 1 亚历山大·霍本 1 黄明章 1 托马斯·伊卡德（Thomas F.III） 1 马文·詹森 1 马蒂亚斯·克劳斯·詹森 1 焦、李 1 埃纳尔·布罗赫·约翰森 1 马克·乔伊 1 大卫·M·卡恩。 1 康嘉文 1 乔治·凯尼森 1 弗洛里安·科勒 1 约阿希姆·克莱因 1 Klüppelholz，萨沙 1 直纪小林 1 Kori、Mayuko 1 德克斯特·C·科赞。 1 约翰内斯·克虏伯 1 佐藤库拉 1 Marta Z.Kwiatkowska。 1 金·古德斯特兰·拉森 …还有50多位作者 全部的 前5名12篇连载文章中引用 4 计算机科学中的逻辑方法 三 信息与计算 2 理论计算机科学 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 数学心理学杂志 1 计算的形式方面 1 离散事件动态系统 1 系统设计中的形式化方法 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 67 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 统计学（62-XX） 2 范畴理论；同调代数（18-XX） 2 信息与通信理论、电路（94-XX） 1 阶、格、有序代数结构（06-XX） 1 测量和集成（28-XX） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 1 系统论；控制（93至XX） 按年份列出的引文