编辑配置文件(在新选项卡中打开) 萨伏安·塔哈 合著者距离 作者ID: 塔哈·萨伏安 发布日期: 萨伏安·塔哈 已编制索引的文档: 3出版物自2010年起 合著者: 11位合著者具有3联合出版物 81位合作作者 全部的 前5名合著者 0 单作者的 1 阿卜杜拉乌夫·本亚希亚 1 弗莱德里克·博朗格 1 卡卢·卡布雷拉·卡斯蒂略 1 阿诺·库库鲁 1 弗雷德里克·达多 1 塞巴斯蒂安·杰拉德 1 雅克·朱利亚德 1 比拉尔Kanso 1 弗朗索瓦梗 1 沃尔夫,伯克哈特 1 Ye,莉娜 系列 1 计算的形式方面 领域 三 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 一种基于组合自动机的语义,并保留用于测试属性模式的转换规则。 Zbl 1338.68164号 萨伏安·塔哈;雅克·朱利亚德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔Kanso 1 2015 哲学家可以吃饭——当然! 兹比尔1517.68262 萨伏安·塔哈;沃尔夫,伯克哈特;Ye,莉娜 1 2020 哲学家可以吃饭——当然! Zbl 1517.68262号 萨伏安·塔哈;沃尔夫,伯克哈特;Ye,莉娜 1 2020 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 Zbl 1338.68164号 萨伏安·塔哈;雅克·朱利亚德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔Kanso 1 2015 全部的 前5名9位作者引用 1 卡卢·卡布雷拉·卡斯蒂略 1 安娜·卡瓦尔坎蒂 1 弗雷德里克·达多 1 西蒙·福斯特 1 雅克·朱利亚德 1 比拉尔Kanso 1 萨伏安·塔哈 1 詹姆斯·C·P·伍德科克。 1 叶康峰 2篇连载文章中引用 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文