编辑配置文件（在新选项卡中打开） 阿尔弗雷德·米克施尔 合著者距离 作者ID： 米克施·阿尔弗雷德 发布日期： 阿尔弗雷德·米克施尔 已编制索引的文档： 1出版物自2007年起 合著者： 7合著者具有1联合出版物 187位合作作者 全部的 前5名合著者 0 单作者的 1 达姆，维尔纳 1 延斯·奥勒金 1 奥尔德罗格（Ernst-Rüdiger Olderog） 1 庞、军 1 安德烈·普拉泽 1 马克·塞格尔肯 1 鲍里斯·维茨 系列 领域 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 自动验证交通应用程序中的合作、控制和设计。 Zbl 1151.68476号 达姆，沃纳;阿尔弗雷德·米克施尔;延斯·奥勒金;奥尔德罗格（Ernst-Rüdiger Olderog）;庞、军;安德烈·普拉泽;马克·塞格尔肯;鲍里斯·维茨 三 2007 自动验证交通应用程序中的合作、控制和设计。 Zbl 1151.68476号 达姆，沃纳;阿尔弗雷德·米克施尔;延斯·奥勒金;奥尔德罗格，恩斯特·吕迪格;庞、军;安德烈·普拉泽;马克·塞格尔肯;鲍里斯·维茨 三 2007 全部的 前5名9位作者引用 1 达姆，沃纳 1 海宁·迪尔克斯 1 斯特凡·迪什 1 斯特凡·库普弗施米德 1 延斯·奥勒金 1 弗洛里安·皮戈什 1 安德烈·普拉泽 1 阿米尔·普努利 1 克里斯托夫·斯科尔 连载1篇 1 自动推理杂志 在3个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文