编辑配置文件(在新选项卡中打开) 安德烈亚·贝卡 合著者距离 作者ID: 贝卡.安德里亚 发布日期: 安德烈亚·贝卡 已编制索引的文档: 4出版物自2015年起 合著者: 6位合著者具有4联合出版物 94位合作作者 全部的 前5名合著者 0 单作者的 2 文森特·达诺斯 2 塔贾纳·彼得罗夫 1 杰罗姆·费雷特 1 猜猜,柯林·C。 1 纪尧姆Terradot 1 Weiße,Andrea Y。 系列 领域 4 生物学和其他自然科学(92-XX) 1 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用5中的次5文件 引用人▼ 年份▼ 通过对规则集进行静态检查,有效简化Kappa模型。 Zbl 1412.92075号 安德烈亚·贝卡;盖特,加利福尼亚州。;塔贾纳·彼得罗夫 5 2015 通过对规则集进行静态检查,有效简化Kappa模型。 Zbl 1412.92075号 安德烈亚·贝卡;Calin C.盖特。;塔贾纳·彼得罗夫 5 2015 全部的 前5名被11位作者引用 3 塔贾纳·彼得罗夫 1 安德烈亚·贝卡 1 杰罗姆·费雷特 1 克里斯蒂安·格雷斯 1 猜猜,柯林·C。 1 托马斯·亨辛格。 1 克劳迪娅·伊格勒 1 伊恩·皮特 1 丹尼斯·雷宾 1 阿里·塞兹金 1 伊恩·斯塔克 2篇连载文章中引用 2 理论计算机科学 1 信息与计算 在3个字段中引用 5 生物学和其他自然科学(92-XX) 1 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文