编辑配置文件（在新选项卡中打开） Dokter，Kasper公司 合著者距离 作者ID: dokter.kasper公司 发布日期： Dokter，Kasper公司 已编制索引的文档： 6出版物自2015年起 合著者： 6位合著者具有6联合出版物 135位合著者 全部的 前5名合著者 0 单作者的 4 法哈德·阿尔巴 2 西蒙·布利兹 2 法比奥·加杜奇 2 钟曼，宋世堂。 2 弗朗西斯科·桑蒂尼 1 本杰明·利昂 系列 2 程序设计中的逻辑和代数方法杂志 领域 6 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用9中的次9文件 引用人▼ 年份▼ 关联BIP和Reo。 Zbl 1433.68093号 Dokter，Kasper公司;宋世忠曼;法哈德·阿尔巴;西蒙·布利兹 4 2015 带记忆的软约束自动机。 Zbl 1455.68087号 Dokter，Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 2 2021 通过工作自动机暴露潜在的互斥。 Zbl 1485.68158号 Dokter，Kasper公司;法哈德·阿尔巴 1 2017 合并与征服：关联BIP和Reo。 Zbl 1353.68201号 Dokter，Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙·布利兹 1 2017 带记忆的软约束自动机。 Zbl 1462.68101号 Dokter，Kasper公司;法比奥·加杜奇;弗朗西斯科·桑蒂尼 1 2018 带记忆的软约束自动机。 Zbl 1455.68087号 Dokter，Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 2 2021 带记忆的软约束自动机。 Zbl 1462.68101号 Dokter，Kasper公司;法比奥·加杜奇;弗朗西斯科·桑蒂尼 1 2018 通过工作自动机暴露潜在的互斥。 Zbl 1485.68158号 Dokter，Kasper公司;法哈德·阿尔巴 1 2017 合并与征服：关联BIP和Reo。 Zbl 1353.68201号 Dokter，Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙·布利兹 1 2017 关联BIP和Reo。 Zbl 1433.68093号 Dokter，Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙·布利兹 4 2015 所有引用出版物 前5名被引用出版物 全部的 前5名10位作者引用 三 法哈德·阿尔巴 三 西蒙·布利兹 三 Dokter，Kasper公司 三 法比奥·加杜奇 三 弗朗西斯科·桑蒂尼 2 爱德华·巴拉诺夫 2 钟曼，宋世堂。 1 埃夫拉德，雨果 1 弗雷德里克·朗 1 本杰明·利昂 4篇连载文章中引用 三 程序设计中的逻辑和代数方法杂志 1 信息学报 1 信息处理信件 1 计算机科学中的逻辑方法 在2个字段中引用 9 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文