编辑配置文件（在新选项卡中打开） 约琴·艾辛格 合著者距离 作者ID： 艾辛格·约琴 发布日期： 约琴·艾辛格 已编制索引的文档： 4出版物自2006年起 合著者： 2合著者具有3联合出版物 24位合作作者 合著者 1 单作者的 三 费利克斯·克莱特克 1 克里斯蒂安·达克斯 系列 1 系统设计中的形式化方法 领域 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用12中的次11文件 引用人▼ 年份▼ 不要在意实际加法的基于自动机的方法的应用。（扩展摘要）。 Zbl 1188.68185号 约琴·艾辛格;费利克斯·克莱特克 5 2006 整数和混合实数与整数线性算术的自动机大小的上限。（扩展摘要）。 Zbl 1156.03330号 约琴·艾辛格 三 2008 为限制类\（\omega \）-自动机实现功率集构造的机械化。 兹比尔1141.68430 克里斯蒂安·达克斯;约琴·艾辛格;费利克斯·克莱特克 三 2007 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 兹比尔1165.68393 约琴·艾辛格;费利克斯·克莱特克 1 2008 整数和混合实数与整数线性算术的自动机大小的上限。（扩展摘要）。 Zbl 1156.03330号 约琴·艾辛格 三 2008 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 兹比尔1165.68393 约琴·艾辛格;费利克斯·克莱特克 1 2008 为限制类\（\omega \）-自动机实现功率集构造的机械化。 Zbl 1141.68430号 克里斯蒂安·达克斯;约琴·艾辛格;费利克斯·克莱特克 三 2007 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。（扩展摘要）。 Zbl 1188.68185号 约琴·艾辛格;费利克斯·克莱特克 5 2006 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 2 伯纳德·博伊格洛特 2 朱利安·布鲁斯滕 2 亚历山大·杜雷特·卢茨 2 约琴·艾辛格 2 费利克斯·克莱特克 1 拜尔，克里斯特尔 1 亚历克西斯·贝丝 1 弗兰蒂舍克·布拉胡德克 1 维罗尼克·布鲁埃 1 克里斯蒂安·乔夫鲁特 1 克里斯蒂安·达克斯 1 斯特凡·迪什 1 约阿希姆·克莱因 1 Stefan Kupferschmid 1 杰罗姆·勒鲁 1 内尔玛·莫雷拉 1 米勒（David I。 1 乔瓦尼·皮奇奇尼 1 弗洛里安·皮戈什 1 阿德里安·蓬梅莱 1 罗杰里奥·里斯 1 弗洛里安·伦金 1 菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 1 克里斯托夫·斯科尔 1 斯特雷切克，简 1 法里德·阿布·扎伊德 引用于4个系列 1 理论计算机科学 1 信息与计算 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在2个字段中引用 10 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的引文