编辑配置文件（在新选项卡中打开） 马蒂亚斯·古德曼 合著者距离 作者ID： 古德曼·马提亚斯 发布日期： 马蒂亚斯·古德曼 已编制索引的文档： 3出版物自2010年起 合著者： 4位合著者具有3联合出版物 31位合作作者 合著者 0 单作者的 1 弗兰克·奥特米耶 1 梅里姆·乌代尔尼 1 克劳斯·里德尔 1 Salaün，格温 系列 领域 三 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物被引用4中的次4文件 引用人▼ 年份▼ 反例指导下的可实现性实施监控器综合。 Zbl 1374.68289号 马蒂亚斯·古德曼;Salaün，格温;梅里姆·乌代尔尼 4 2012 反例指导下的可实现性实施监控器综合。 Zbl 1374.68289号 马蒂亚斯·古德曼;Salaün，格温;梅里姆·乌代尔尼 4 2012 全部的 前5名10位作者引用 2 Salaün，格温 1 拉赫达尔·阿克伦 1 陈浩 1 戴，费 1 伊利耶斯·法尔科内 1 黄碧 1 梁志宏 1 强、振平 1 Sheerazuddin，S。 1 王磊光 3篇连载文章中引用 1 系统设计中的形式化方法 1 复杂性 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文