编辑配置文件（在新选项卡中打开） 本杰明·比斯平 合著者距离 作者ID： 比斯平·本杰明 发布日期： 本杰明·比斯平 已编制索引的文档： 4出版物自2016年起 合著者： 9合著者具有4联合出版物 88位合作作者 全部的 前5名合著者 0 单作者的 4 乌韦·内斯特曼 2 柯斯汀·彼得斯 1 鲍尔·达维德·布罗德曼 1 大卫·詹森（David N.Jansen）。 1 Jungnikel，蒂姆 1 克里斯蒂娜·里克曼 1 海宁·赛德勒 1 安克·苏贝尔 1 Wilhelm Weidner，阿诺 系列 1 信息学报 1 计算机科学中的逻辑方法 领域 4 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用8中的次7文件 引用人▼ 年份▼ 配对相似性：前32年。 Zbl 1476.68166号 本杰明·比斯平；乌韦·内斯特曼；柯斯汀·彼得斯 5 2020 FLP构造性证明的机械验证。 Zbl 1478.68146号 本杰明·比斯平；鲍尔·达维德·布罗德曼；蒂姆·荣尼尼；克里斯蒂娜·里克曼；海宁·赛德勒；安克·苏贝尔；阿诺·威廉·韦德纳；柯斯汀·彼得斯；乌韦·内斯特曼 1 2016 线性时间分支时间光谱的游戏。 Zbl 1467.68129号 本杰明·比斯平；乌韦·内斯特曼 1 2021 一次性决定所有行为等效性：线性时间分支时间谱的游戏。 Zbl 07577583号 本杰明·比斯平；大卫·詹森（David N.Jansen）。；乌韦·内斯特曼 1 2022 一次性决定所有行为等效性：线性时间分支时间谱的游戏。 Zbl 07577583号 本杰明·比斯平；大卫·詹森（David N.Jansen）。；乌韦·内斯特曼 1 2022 线性时间分支时间光谱的游戏。 Zbl 1467.68129号 本杰明·比斯平；乌韦·内斯特曼 1 2021 配对相似性：前32年。 Zbl 1476.68166号 本杰明·比斯平；乌韦·内斯特曼；柯斯汀·彼得斯 5 2020 FLP构造性证明的机械验证。 Zbl 1478.68146号 本杰明·比斯平；鲍尔·达维德·布罗德曼；Jungnikel，蒂姆；克里斯蒂娜·里克曼；海宁·赛德勒；安克·苏贝尔；阿诺·威廉·韦德纳；柯斯汀·彼得斯；乌韦·内斯特曼 1 2016 所有引用的出版物 前5名被引用出版物 全部的 前5名被17位作者引用 三 本杰明·比斯平 三 乌韦·内斯特曼 三 柯斯汀·彼得斯 1 鲍尔·达维德·布罗德曼 1 邓玉欣 1 罗斯·霍恩 1 大卫·詹森（David N.Jansen）。 1 蒂姆·荣尼尼 1 绍克·莫 1 克里斯蒂娜·里克曼 1 安娜·施密特 1 海宁·赛德勒 1 安克·苏贝尔 1 范格拉贝克、罗伯特·扬 1 阿诺·威廉·韦德纳 1 吉田、Nobuko 1 塞门·尤尔科夫 3篇连载文章中引用 1 信息学报 1 理论计算机科学 1 计算机科学中的逻辑方法 在4个字段中引用 7 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文