编辑配置文件（在新选项卡中打开） 埃雷兹·扎多克 合著者距离 作者ID： 扎多克埃雷斯 发布日期： 埃雷兹·扎多克 已编制索引的文档： 1出版物自2012年起 合著者： 7合著者具有1联合出版物 171位合作作者 全部的 前5名合著者 0 单作者的 1 迪克西特、科坦 1 拉杜·格罗苏 1 克劳斯·哈维隆德 1 黄晓婉 1 贾斯汀·塞斯特 1 斯科特·斯莫尔卡。 1 斯科特·斯托勒。 系列 1 系统设计中的形式化方法 领域 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用7中的次7文件 引用人▼ 年份▼ 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特；迪克西特、科坦；黄晓婉；拉杜·格罗苏；克劳斯·哈维隆德；斯科特·斯莫尔卡。；斯科特·斯托勒。；埃雷兹·扎多克 7 2012 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特；迪克西特、科坦；黄晓婉；拉杜·格罗苏；克劳斯·哈维隆德；斯科特·斯莫尔卡。；斯科特·斯托勒。；埃雷兹·扎多克 7 2012 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 2 博尔祖·博纳克达尔普尔 2 塞巴斯蒂安·费奇迈斯特 1 胡萨姆·阿巴斯 1 安德烈亚斯·鲍尔 1 谢·贝尔科维奇 1 迪克西特、科坦 1 伊利耶斯·法尔科内 1 阿德里安·弗兰卡兰扎 1 拉杜·格罗苏 1 克劳斯·哈维隆德 1 黄晓婉 1 萨曼内·纳瓦布普尔 1 理查德·佩弗莱 1 贾斯汀·塞斯特 1 斯科特·斯莫尔卡。 1 斯科特·斯托勒。 1 埃雷兹·扎多克 1 谢尔盖·泽列诺夫。 1 Zelenova，S.A.公司。 3篇连载文章中引用 4 系统设计中的形式化方法 1 编程和计算机软件 1 信息与计算 在3个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文