编辑配置文件(在新选项卡中打开) 安娜贝拉·克拉尔 合著者距离 作者ID: 克拉尔·安娜贝尔 发布日期: 安娜贝拉·克拉尔 编入索引的文档: 3出版物自2014年起 合著者: 11位合著者具有3联合出版物 133位合作作者 全部的 前5名合著者 0 单作者的 2 罗尔夫·亨尼克 1 伦茨·贝尔兹纳 1 玛丽安·布什 1 安东·法辛 1 Hölzl,Matthias M。 1 诺拉·科赫 1 克里斯蒂安·克罗伊斯 1 菲利普·迈耶 1 莱思·雷德 1 安德烈亚斯·施罗德 1 马丁·威尔辛 系列 领域 3 计算机科学(68至XX) 1 历史和传记(01-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用7中的次5文件 引用人▼ 年份▼ 集合建模基础——海伦娜方法。使用复杂的集成体系结构处理大规模分布式系统。 Zbl 1320.68118号 罗尔夫·亨尼克;安娜贝拉·克拉尔 5 2014 模型检查海伦娜与旋转合奏。 Zbl 1321.68346号 罗尔夫·亨尼克;安娜贝拉·克拉尔;马丁·威尔辛 2 2015 模型检查海伦娜与旋转合奏。 Zbl 1321.68346号 罗尔夫·亨尼克;安娜贝拉·克拉尔;马丁·威尔辛 2 2015 集合建模基础——海伦娜方法。使用复杂的集成体系结构处理大规模分布式系统。 Zbl 1320.68118号 罗尔夫·亨尼克;安娜贝拉·克拉尔 5 2014 全部的 前5名18位作者引用 3 罗尔夫·亨尼克 3 安娜贝拉·克拉尔 1 乔治·奥德里托 1 雅各布·比尔 1 伦茨·贝尔兹纳 1 玛丽安·布什 1 罗伯特·卡萨迪 1 费卢西奥·达米亚尼 1 安东·法辛 1 Hölzl,Matthias M。 1 诺拉·科赫 1 克里斯蒂安·克罗斯 1 菲利普·迈耶 1 丹尼尔·皮亚尼尼 1 莱思·雷德 1 安德烈亚斯·施罗德 1 米尔科·维罗利 1 马丁·威尔辛 连载1篇 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 5 计算机科学(68至XX) 1 历史和传记(01-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文