编辑配置文件（在新选项卡中打开） 四川省韦尔市 合著者距离 作者ID： verwer.sicco公司 发布日期： 四川省韦尔市 已编制索引的文档： 17出版物自2008年起 合著者： 43位合著者具有17联合出版物 548联合作者 全部的 前5名合著者 0 单作者的 6 马蒂杰斯·德·维特（Mathijs M.de Weerdt）。 5 塞斯·维特芬 4 张英谦 2 劳伦斯·布利克 2 亨德里克·布洛克 2 巴特·博加特 2 莫里斯·布吕诺格 2 克里斯托夫·科斯塔·弗洛里恩西奥 2 德卡特，布罗斯 2 斯特夫·德·普特 2 马克·德内克 2 安东尼·拉巴雷 2 拉蒙，简 2 叶青川 1 艺术、忠诚 1 费德里科·博比奥 1 汤姆·卡索克 1 科林·德·拉·希格拉 1 雷米·埃劳 1 雨果·费尔南德斯。 1 里卡多·伽马 1 Heule，Marijn J.H。 1 米歇尔·尤根·希尔格曼 1 安德烈·霍顿 1 伊鲁鲁兹基，埃钦 1 约阿希姆·扬森 1 哈科·库彭斯 1 卡罗琳·勒博夫 1 曼纽尔·洛佩兹·伊瓦涅斯 1 贾斯汀·佩平 1 卡尔·佩雷厄特·拉弗勒 1 雷扎·雷法伊·阿夫沙尔 1 Robbert Reijnen 1 贾森·罗格纳思 1 施密特·尤姆斯（Fynn Schmitt-Ulms） 1 梅诺夫·塞尔曼 1 塔潘·沙阿 1 瓦利·阿尔梅达·席尔瓦 1 凯文·蒂尔尼 1 特雷特曼，Jan 1 Vaandrager，Frits W。 1 丹尼尔·沃斯 1 马丁·扎弗勒 全部的 前5名系列 3 机器学习 2 人工智能 2 数学与人工智能年鉴 1 理论计算机科学 1 信息与计算 1 逻辑程序设计理论与实践 领域 16 计算机科学（68至XX） 4 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用88中的次65文件 引用人▼ 年份▼ 使用整数优化学习具有灵活约束和目标的决策树。 Zbl 1489.68259号 四川省韦尔市;张英谦 18 2017 使用SAT解算器精确识别DFA。 Zbl 1291.68192号 Heule，Marijn J.H。;四川省韦尔市 17 2010 拍卖优化使用回归树和线性模型作为整数程序。 Zbl 1404.68122号 四川省韦尔市;张英谦;叶青川 13 2017 谓词逻辑作为建模语言：使用IDP3建模和解决一些机器学习和数据挖掘问题。 Zbl 1379.68279号 莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;De Cat，Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴雷;拉蒙，简;马克·德内克;四川省韦尔市 9 2015 识别时间自动机的效率和时钟的功率。 Zbl 1217.68134号 四川省韦尔市;马蒂伊斯·德·威德;Cees威特文 5 2011 改进协议一致性测试的主动Mealy机器学习。 Zbl 1317.68087号 艺术、忠诚;哈科·库彭斯;特雷特曼，Jan;Vaandrager，Frits公司;四川省韦尔市 5 2014 从标记数据中有效识别确定性实时自动机。 Zbl 1238.68135号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 5 2012 单块确定性时间自动机在极限下可以有效识别。 Zbl 1234.68243号 四川省韦尔市;de Weerdt，马蒂斯;塞斯·维特芬 4 2009 一种似然比检验，用于从正数据中识别概率确定性实时自动机。 Zbl 1291.68208号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 3 2010 时间自动机的多项式可区分性。 Zbl 1177.68128号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 3 2008 作为顶点着色的规则推理。 Zbl 1367.68118号 克里斯托夫·科斯塔·弗洛里恩西奥;四川省韦尔市 2 2012 用\（\mathrm{FO}（\cdot）\）建模机器学习和数据挖掘问题。 Zbl 1281.68174号 亨德里克·布洛克;巴特·博加特;莫里斯·布吕诺格;De Cat，Broes公司;斯特夫·德·普特;马克·德内克;安东尼·拉巴雷;拉蒙，简;四川省韦尔市 2 2012 作为顶点着色的规则推理。 兹比尔1360.68524 克里斯托夫·科斯塔·弗洛里恩西奥;四川省韦尔市 1 2014 PAutomaC公司概率自动机和隐马尔可夫模型学习竞争。 Zbl 1317.68104号 四川省韦尔市;雷米·埃劳;科林·德·拉·希格拉 1 2014 使用整数优化学习具有灵活约束和目标的决策树。 Zbl 1489.68259号 四川省韦尔市;张英谦 18 2017 使用回归树和线性模型作为整数程序的拍卖优化。 Zbl 1404.68122号 四川省韦尔市;张英谦;叶清川 13 2017 谓词逻辑作为建模语言：使用IDP3建模和解决一些机器学习和数据挖掘问题。 Zbl 1379.68279号 莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;De Cat，Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴雷;拉蒙，简;马克·德内克;四川省韦尔市 9 2015 改进协议一致性测试的主动Mealy机器学习。 Zbl 1317.68087号 艺术、忠诚;哈科·库彭斯;特雷特曼，Jan;Vaandrager，Frits公司;四川省韦尔市 5 2014 作为顶点着色的规则推理。 Zbl 1360.68524号 克里斯托弗·科斯塔·弗洛伦西奥;四川省韦尔市 1 2014 PAutomaC公司概率自动机和隐马尔可夫模型学习竞争。 Zbl 1317.68104号 四川省韦尔市;雷米·埃劳;科林·德·拉·希格拉 1 2014 从标记数据中有效识别确定性实时自动机。 Zbl 1238.68135号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 5 2012 作为顶点着色的规则推理。 Zbl 1367.68118号 克里斯托夫·科斯塔·弗洛里恩西奥;四川省韦尔市 2 2012 用\（\mathrm{FO}（\cdot）\）建模机器学习和数据挖掘问题。 Zbl 1281.68174号 亨德里克·布洛克;巴特·博加特;莫里斯·布吕诺格;De Cat，Broes公司;斯特夫·德·普特;马克·德内克;安东尼·拉巴雷;拉蒙，简;四川省韦尔市 2 2012 识别时间自动机的效率和时钟的功率。 Zbl 1217.68134号 四川省韦尔市;de Weerdt，马蒂斯;塞斯·维特芬 5 2011 使用SAT解算器精确识别DFA。 Zbl 1291.68192号 Heule，Marijn J.H。;四川省韦尔市 17 2010 一种似然比检验，用于从正数据中识别概率确定性实时自动机。 Zbl 1291.68208号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 3 2010 单块确定性时间自动机在极限下可以有效识别。 Zbl 1234.68243号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 4 2009 时间自动机的多项式可分辨性。 Zbl 1177.68128号 四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 3 2008 所有引用出版物 前5名被引用出版物 全部的 前5名159位作者引用 10 四川省韦尔市 5 埃米利奥·卡里佐萨 5 克里斯蒂娜·莫勒罗·里奥 5 多洛雷斯罗梅罗·莫拉莱斯 4 安、杰 4 拉斐尔·布兰科罗 4 詹伯华 4 张英谦 3 阿尔夫·罗查，蒂亚戈 3 巴特·博加特 3 马蒂杰斯·德·维特（Mathijs M.de Weerdt）。 3 马克·德内克 3 卡明·多达罗 3 阿娜·特蕾莎·马丁斯 3 詹乃军 3 张苗苗 2 艺术、忠诚 2 马里奥·阿尔维亚诺 2 奇维利钦，D.S。 2 马丁·格布瑟 2 汤米·詹胡宁 2 杰尔达·詹森斯 2 Jonsson，孟加拉人 2 马可·马拉提亚 2 弗朗西克勃·马丁斯·费雷拉 2 辛西娅·鲁丁 2 A.A.沙利托。 2 伯恩哈德·斯特芬 2 沙哈卜·塔沙罗菲 2 乌里扬采夫。 2 Vaandrager，Frits W。 2 塞斯·维特芬 2 叶清川 1 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 1 马克西姆·阿姆拉姆 1 阿纳布·巴塔查里亚 1 阿明·比尔 1 劳伦斯·布利克 1 亨德里克·布洛克 1 贾斯汀·J·布蒂利尔（Justin J.Boutiler）。 1 大卫·布雷索林 1 Krysia B.布罗达。 1 莫里斯·布吕诺格 1 亚当·伯克 1 布欣斯基，I.P。 1 弗朗西斯科·卡利默里 1 索菲亚·卡塞尔 1 杰弗里·陈 1 陈明帅 1 洛伦佐·克莱门特 1 克里斯托夫·科斯塔·弗洛里恩西奥 1 纪尧姆·克洛尼亚 1 英格玛达塞维尔 1 德卡特，布罗斯 1 科林·德·拉·希格拉 1 斯特夫·德·普特 1 沃尔夫·德·沃尔夫 1 埃米尔·德米罗维奇 1 迪克·登赫托格 1 卡亚·德乌瑟 1 费德里科·多诺弗里奥 1 杰克·邓恩 1 El-Fakih，哈立德 1 赛达·厄特金 1 雷米·埃劳 1 Fajemisin，Adejuyigbe O。 1 亨宁费尔瑙 1 穆拉特·菲拉特 1 达纳·菲斯曼 1 尤金·弗洛伊德。 1 马库斯·弗洛姆 1 丹尼尔·布兰科（Daniel Furelos-Blanco） 1 戴维·福斯卡 1 阿德里亚娜·费利西亚·加博 1 克劳迪奥·甘贝拉 1 比桑·加达 1 乔治·格拉尼 1 阿什图什·古普塔 1 埃曼纽尔·希伯拉德 1 Heggenes，皮纳尔 1 利奥·亨利 1 Heule，Marijn J.H。 1 米歇尔·尤根·希尔格曼 1 福尔克·豪尔 1 科尔·A·J·赫肯斯。 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 亚辛·伊扎 1 约阿希姆·扬森 1 马蒂·Järvisalo 1 娜塔莎·约加南达·杰普 1 蒂埃里·杰伦 1 金、项羽 1 安德斯·琼森 1 罗兰·卡明斯基 1 格哈德·克伦里奇 1 丹尼尔·科宁 1 奥尔纳·库普弗曼 1 哈科·库彭斯 1 拉克希曼·库普萨米 1 安东尼·拉巴雷 …还有59位作者 全部的 前5名22篇连载文章中引用 6 逻辑程序设计理论与实践 4 计算机与运筹学 4 机器学习 4 欧洲运筹学杂志 4 系统设计中的形式化方法 4 数学与人工智能年鉴 3 理论计算机科学 2 人工智能 2 计算的形式方面 2 人工智能研究杂志 2 信息计算杂志 2 机器学习研究杂志（JMLR） 1 信息学报 1 计算机与系统科学杂志 1 自动推理杂志 1 自动化和远程控制 1 国际计算机与系统科学杂志 1 顶部 1 计算机基础理论 1 计算机科学中的逻辑方法 1 数学规划计算 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 55 计算机科学（68至XX） 20 运筹学、数学规划（90-XX） 9 统计学（62-XX） 4 数学逻辑和基础（03-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 3 系统论；控制（93至XX） 2 组合数学（05-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文