编辑配置文件(在新选项卡中打开) 阿诺德·费茨克 合著者距离 作者ID: 菲茨克·阿诺 发布日期: 阿诺德·费茨克 已编制索引的文档: 6出版物自2008年起 合著者: 6位合著者具有6联合出版物 345位合作作者 全部的 前5名合著者 0 单作者的 5 克里斯托夫·韦登巴赫 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 霍尔格·赫尔曼斯 1 叶夫根·克鲁格洛夫(Evgeni Kruglov)ĭ瓦伦蒂诺维奇(Valentinovich) 1 鲍尔森、劳伦斯·查尔斯 1 泰斯,弗兰克 系列 1 数学与人工智能年鉴 1 计算机科学中的数学 领域 6 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用60中的次54文件 引用人▼ 年份▼ LEO-II–用于经典高阶逻辑的合作自动定理证明器。(系统描述)。 Zbl 1165.68446号 克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。;泰斯,弗兰克;阿诺德·费茨克 31 2008 叠加作为时间自动机的决策过程。 Zbl 1262.68159号 阿诺德·费茨克;克里斯托夫·韦登巴赫 10 2012 带标签的拆分。 Zbl 1192.68628号 阿诺德·费茨克;克里斯托夫·韦登巴赫 8 2009 带标签的拆分。 Zbl 1165.03314号 阿诺德·费茨克;克里斯托夫·韦登巴赫 4 2008 SUP(LA)中圆导数不变量的自动生成。 Zbl 1352.03016号 阿诺德·费茨克;叶夫根·克鲁格洛夫;克里斯托夫·韦登巴赫 4 2012 基于叠加的一阶概率时间自动机分析。 Zbl 1306.68095号 阿诺德·费茨克;霍尔格·赫尔曼斯;克里斯托夫·韦登巴赫 3 2010 叠加作为时间自动机的决策过程。 Zbl 1262.68159号 阿诺德·费茨克;克里斯托夫·韦登巴赫 10 2012 SUP(LA)中圆导数不变量的自动生成。 Zbl 1352.03016号 阿诺德·费茨克;叶夫根·克鲁格洛夫;克里斯托夫·韦登巴赫 4 2012 一阶概率时间自动机的基于叠加的分析。 兹比尔1306.68095 阿诺德·费茨克;霍尔格·赫尔曼斯;克里斯托夫·韦登巴赫 3 2010 带标签的拆分。 Zbl 1192.68628号 阿诺德·费茨克;克里斯托夫·韦登巴赫 8 2009 LEO-II–用于经典高阶逻辑的合作自动定理证明器。(系统描述)。 Zbl 1165.68446号 克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。;泰斯,弗兰克;阿诺德·费茨克 31 2008 标记拆分。 Zbl 1165.03314号 阿诺德·费茨克;克里斯托夫·韦登巴赫 4 2008 所有引用出版物 前5名被引用出版物 全部的 前5名67位作者引用 11 贾斯敏·克里斯蒂安·布兰切特 10 克里斯托夫·埃瓦尔德·本兹穆勒 7 克里斯托夫·韦登巴赫 6 乍得·布朗·爱德华 6 索菲·托雷特 5 玛丽亚·保拉(Maria Paola Bonacina) 5 鲍尔森、劳伦斯·查尔斯 5 杰夫·萨特克利夫 4 约瑟夫·乌尔班 3 亚历山大·本特坎普 3 Böhme,萨沙 3 阿诺德·费茨克 3 弗洛里安·拉贝 3 佩塔·武克米罗维奇 3 乌韦·沃尔德曼 2 朱利安·巴克斯 2 尼古拉·S·比约纳。 2 马丁·布隆伯格 2 加布里埃尔·埃布纳 2 塞萨里·卡利西克 2 迈克尔·科尔哈斯 2 大卫·艾伦(David Alan),Plaisted 2 西蒙·罗比拉德 2 克劳迪奥·萨塞尔多蒂·科恩 2 泰斯,弗兰克 2 布鲁诺沃尔岑洛格尔古 1 奥马尔·巴塔内赫 1 加博尔·阿拉吉 1 迈克尔·比森。 1 乌尔里希·伯杰 1 詹姆斯·布里奇。 1 科恩·克莱森 1 西蒙·克鲁内斯 1 莱昂纳多·德·莫拉 1 朱尔根·丁格尔 1 马蒂亚斯·弗勒里 1 法语,蒂姆 1 Thibault Gauthier 1 阿里·古芬克尔 1 Heule,Marijn J.H。 1 托马斯·希伦布兰德 1 侯铁英 1 穆阿·约翰逊 1 迈克尔·基扬(Michael K.Kinyon)。 1 叶夫根·克鲁格洛夫(Evgeni Kruglov)ĭ瓦伦蒂诺维奇(Valentinovich) 1 丹尼尔·库尔温 1 洛伦兹·勒特盖布 1 托梅尔·利巴尔 1 安·利利斯特罗姆 1 肯尼思·麦克米兰。 1 丹尼斯·佩特尔 1 安德烈·波佩斯库 1 马克·亚历山大·雷诺兹 1 鲁迪、凯伦 1 安德烈·里巴尔琴科 1 简·弗雷德里克·谢弗 1 尼古拉斯·斯莫尔博内 1 斯莫尔卡、斯蒂芬·朱尔夫 1 维奥里卡Sofrone-Stokkerman 1 艾伯特·斯特克迈尔 1 亚历山大·斯蒂恩 1 托马斯·斯特姆 1 尼克·苏尔塔纳 1 马可·沃伊格特 1 维斯科基尔 1 Waez,Md Tawhid Bin 1 马克斯·维斯涅夫斯基 全部的 前5名10篇连载文章中引用 17 自动推理杂志 2 数学与人工智能年鉴 2 计算机科学中的数学 2 计算机科学中的逻辑方法 1 符号计算杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 1 泛逻辑 1 计算机科学评论 在4个字段中引用 50 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文