编辑配置文件(在新选项卡中打开) 艾瑞克·马德琳 合著者距离 作者ID: 马德兰埃里克 发布日期: 艾瑞克·马德琳;Madelaine,E。 已编制索引的文档: 9出版物自1984年以来 1名编辑贡献 合著者: 14位合著者具有9联合出版物 239位Co-Co作者 全部的 前5名合著者 1 单作者的 三 卢多维奇·亨利奥 2 拉贝亚·阿穆尔·布利法 2 迪迪埃·维尔加米尼 2 张敏 1 西蒙·布利兹 1 马塞洛·玛丽亚·邦桑格 1 陈燕文 1 陈一香 1 德波尔(Frank S。 1 邓玉欣 1 侯泽晨 1 O.库兰基纳。 1 李思奇 1 秦旭东 系列 2 程序设计中的逻辑和代数方法杂志 1 信息学学报 1 计算机科学课堂讲稿 1 计算机科学前沿 领域 10 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15中的次12文件 引用人▼ 年份▼ 并发进程组成的理论。 Zbl 1347.68267号 卢多维奇·亨利奥;艾瑞克·马德琳;张敏 6 2016 所有过程代数的有限性条件和自动机的结构构造。 Zbl 0786.68065号 埃里克,玛德琳;迪迪埃·维尔加米尼 三 1991 异步组件的行为语义。 Zbl 1407.68271号 阿穆尔·布利法,R。;亨利奥,L。;O.库兰基纳。;Madelaine,E。;A.萨武。 三 2017 Timed-pNets:分布式系统的通信行为语义模型。 兹比尔1403.68138 陈燕文;陈一香;艾瑞克·马德琳 2 2015 基于SMT的符号自动机生成。 Zbl 1443.68114号 秦旭东;西蒙·布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 1 2020 基于SMT的符号自动机生成。 Zbl 1443.68114号 秦旭东;西蒙·布利兹;艾瑞克·马德琳;侯泽晨;邓玉欣;张敏 1 2020 异步组件的行为语义。 Zbl 1407.68271号 阿穆尔·布利法,R。;亨利奥,L。;O.库兰基纳。;Madelaine,E。;A.萨武。 三 2017 并发进程组成的理论。 Zbl 1347.68267号 卢多维奇·亨利奥;埃里克,玛德琳;张敏 6 2016 Timed-pNets:分布式系统的通信行为语义模型。 兹比尔1403.68138 陈燕文;陈一香;艾瑞克·马德琳 2 2015 所有过程代数的有限性条件和自动机的结构构造。 Zbl 0786.68065号 艾瑞克·马德琳;迪迪埃·维尔加米尼 三 1991 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 6 艾瑞克·马德琳 三 卢多维奇·亨利奥 2 拉贝亚·阿穆尔·布利法 2 JoséLuiz Fiadeiro 2 安托尼亚州洛佩斯 2 张敏 1 卢卡·埃特罗 1 西蒙·布利兹 1 陈燕文 1 陈一香 1 贝诺·德拉哈耶 1 邓玉欣 1 西蒙·迪尔 1 休伯特·加拉维 1 萨拉·格拉达拉 1 侯泽晨 1 福尔克·豪尔 1 O.库兰基纳。 1 弗雷德里克·朗 1 Legay、Axel 1 李思奇 1 秦旭东 1 安东内拉·桑顿 1 玛丽亚·路易莎·维拉尼 全部的 前5名6篇连载文章中引用 2 理论计算机科学 2 程序设计中的逻辑和代数方法杂志 1 信息学学报 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 计算机科学前沿 在2个字段中引用 12 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文