编辑配置文件(在新选项卡中打开) 艺术、忠诚 合著者距离 作者ID: aarts.fides公司 发布日期: 艺术、忠诚 已编制索引的文档: 6出版物自2010年起 合著者: 9合著者具有6联合出版物 157位合作作者 全部的 前5名合著者 0 单作者的 6 Vaandrager,Frits W。 三 哈科·库彭斯 2 法拉纳克·海达尔 1 保罗·菲特尔·乌·布罗什坦 1 本特·琼森 1 彼得·奥尔森 1 特雷特曼,简 1 约翰·尤金 1 四川省韦尔市 系列 1 机器学习 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用52中的次36文件 引用人▼ 年份▼ 学习I/O自动机。 Zbl 1287.68087号 艺术、忠诚;Vaandrager,Frits公司 19 2010 通过反例引导的抽象细化自动学习。 Zbl 1372.68153号 艺术、忠诚;法拉纳克·海达尔;哈科·库彭斯;彼得·奥尔森;Vaandrager,Frits公司 9 2012 学习带有新值生成的寄存器自动机。 兹比尔1471.68098 阿尔茨、菲德斯;保罗·菲特尔·乌·布罗什坦;哈科·库彭斯;Vaandrager,Frits公司 9 2015 使用规则推理和抽象生成无限状态通信协议的模型。 Zbl 1322.68131号 艺术、忠诚;本特·琼森;约翰·尤金;Vaandrager,Frits公司 6 2015 改进协议一致性测试的主动Mealy机器学习。 Zbl 1317.68087号 艺术、忠诚;哈科·库彭斯;特雷特曼,简;Vaandrager,Frits公司;四川省韦尔市 5 2014 用于学习接口自动机的历史相关抽象理论。 Zbl 1365.68339号 艺术、忠诚;法拉纳克·海达尔;Vaandrager,Frits公司 4 2012 学习带有新值生成的寄存器自动机。 Zbl 1471.68098号 艺术、忠诚;保罗·菲特尔·乌·布罗什坦;哈科·库彭斯;Vaandrager,Frits公司 9 2015 使用规则推理和抽象生成无限状态通信协议的模型。 Zbl 1322.68131号 艺术、忠诚;本特·琼森;约翰·尤金;Vaandrager,Frits公司 6 2015 改进协议一致性测试的主动Mealy机器学习。 Zbl 1317.68087号 艺术、忠诚;哈科·库彭斯;特雷特曼,简;Vaandrager,Frits公司;四川省韦尔市 5 2014 通过反例引导的抽象细化自动学习。 Zbl 1372.68153号 艺术、忠诚;法拉纳克·海达尔;哈科·库彭斯;彼得·奥尔森;Vaandrager,Frits公司 9 2012 用于学习接口自动机的历史相关抽象理论。 Zbl 1365.68339号 艺术、忠诚;法拉纳克·海达尔;Vaandrager,Frits公司 4 2012 学习I/O自动机。 Zbl 1287.68087号 艺术、忠诚;Vaandrager,Frits公司 19 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名73位作者引用 6 达纳·菲斯曼 5 Steffen,伯恩哈德 4 福尔克·豪尔 4 朱里安·罗特 4 亚历山德拉·席尔瓦 三 达纳州安格鲁因 三 本特·琼森 三 托比亚斯·卡佩 三 Vaandrager,Frits W。 三 格科·范·海尔特 2 艺术、忠诚 2 安、杰 2 马库斯·弗洛姆 2 尼科斯·齐夫列科斯 2 詹伯华 2 詹乃军 2 张苗苗 1 卢卡·埃特罗 1 艾切尔尼格,伯恩哈德·K。 1 班杜卡拉,M.H。 1 哈什·贝哈尔 1 保罗·布鲁内特 1 索菲亚·卡塞尔 1 陈明帅 1 陈英科 1 陈玉芳 1 克里斯·奇尔顿 1 卡亚·德乌瑟 1 西蒙·迪尔 1 伊格纳西奥·法布雷加斯 1 乌里·法伦贝格 1 哈达尔·弗兰克尔 1 卡洛斯·格雷戈里奥·罗德里格斯 1 Ingólfsdóttir,安娜 1 马尔特·伊斯伯纳 1 曼弗雷德·贾格尔 1 娜塔莎·约加南达·杰普 1 丹尼尔·科宁 1 克莱门斯·库普克 1 哈科·库彭斯 1 Marta Z.Kwiatkowska。 1 金·古德斯特兰·拉森 1 Legay、Axel 1 李勇 1 刘德鹏 1 杰拉尔德·吕特根 1 毛,华 1 汤姆,梅尔哈姆 1 阿披实·米迪亚 1 约书亚·莫尔曼 1 Andrzej S.穆拉夫斯基。 1 帕维尔·G·瑙莫夫。 1 布莱恩·尼尔森 1 托马斯·尼尔森。 1 安德烈亚·普费舍尔 1 史蒂文·拉姆齐。 1 萨吉·萨登 1 马蒂奥·桑马蒂诺 1 沈伟 1 雅拉·绍瓦尔 1 玛丽·斯托琳加 1 唐晓晨 1 特雷特曼,简 1 约翰·尤金 1 佩特拉·范登博斯 1 Wil M.P.范德阿尔斯特。 1 戴维·文霍克 1 四川省韦尔市 1 沃尔特·福格勒 1 工资制造者,贾纳 1 法比奥·扎纳西 1 张丽君 1 桑德拉·齐尔斯 全部的 前5名9连载 三 理论计算机科学 三 机器学习 三 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 人工智能 1 信息与计算 1 计算的形式方面 1 计算机科学中的逻辑方法 在4个字段中引用 36 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 1 群论与推广(20-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文