编辑配置文件（在新选项卡中打开） 不，Hiroshi 合著者距离 作者ID： unno.广岛 发布日期： 不，Hiroshi 已编制索引的文档： 17出版物自1998年以来 合著者： 19位合著者具有17联合出版物 244位合作作者 全部的 前5名合著者 0 单作者的 9 直纪小林 7 大雄县Terauchi 2 埃里克·科斯金 2 久原、Takuya 2 佐藤隆介 2 直市田口 1 安扎·库什 1 一郎·哈索 1 黑田聪 1 松本裕马 1 游州米亚德拉 1 明弘市穆拉斯 1 Yoji Nanjo 1 坂本弘 1 尤基·萨塔克 1 Issei佐藤 1 芝山、芋头 1 肖·托里 1 竹尾雅库 系列 1 信息处理信件 1 MSCS公司。计算机科学中的数学结构 领域 17 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用66中的次47文件 引用人▼ 年份▼ 自动归纳以解决Horn子句。 兹比尔1494.68064 不，Hiroshi；肖·托里；坂本弘 17 2017 用于程序验证的高阶多参数树变换器和递归方案。 Zbl 1312.68136号 直纪小林；直市田口；不，Hiroshi 14 2010 谓词抽象和CEGAR，用于反驳高阶函数程序的终止。 Zbl 1381.68035号 久原、Takuya；佐藤隆介；不，Hiroshi；直纪小林 7 2015 基于约束的关系验证。 Zbl 1493.68125号 不，Hiroshi；大雄县Terauchi；埃里克·科斯金 5 2021 高阶功能程序的自动终止验证。 Zbl 1347.68231号 久原、Takuya；大雄县Terauchi；不，Hiroshi；直纪小林 5 2014 自动化相对完整的高阶功能程序验证。 Zbl 1301.68182号 不，Hiroshi；大雄县Terauchi；直纪小林 4 2013 高阶功能程序的时间验证。 Zbl 1347.68233号 明弘市穆拉斯；大雄县Terauchi；直纪小林；佐藤隆介；不，Hiroshi 4 2016 时间属性验证的定点逻辑和相关效果。 Zbl 1497.68317号 Yoji Nanjo；不，Hiroshi；埃里克·科斯金；大雄县Terauchi 三 2018 基于自动化的抽象，用于高阶树处理程序的自动验证。 Zbl 1329.68065号 松本裕马；直纪小林；不，Hiroshi 2 2015 通过抽样推断无递归Horn子句的简单解决方案。 Zbl 1420.68077号 不，Hiroshi；大雄县Terauchi 2 2015 基于CEGIS的终止分析中的决策树学习。 Zbl 1493.68215号 佐藤库拉；不，Hiroshi；一郎·哈索 1 2021 松弛分层：一种实用的完全谓词求精的新方法。 Zbl 1335.68072号 大雄县Terauchi；不，Hiroshi 1 2015 依赖类型的按需优化。 兹比尔1137.68358 不，Hiroshi；直纪小林 1 2008 基于约束的关系验证。 Zbl 1493.68125号 不，Hiroshi；大雄县Terauchi；埃里克·科斯金 5 2021 基于CEGIS的终止分析中的决策树学习。 Zbl 1493.68215号 佐藤库拉；不，Hiroshi；一郎·哈索 1 2021 时间属性验证的定点逻辑和相关效果。 Zbl 1497.68317号 南条，Yoji；不，Hiroshi；埃里克·科斯金；大雄县Terauchi 三 2018 自动归纳以解决Horn子句。 Zbl 1494.68064号 不，Hiroshi；肖·托里；坂本弘 17 2017 高阶功能程序的时间验证。 Zbl 1347.68233号 明弘市穆拉斯；大雄县Terauchi；直纪小林；佐藤隆介；不，Hiroshi 4 2016 谓词抽象和CEGAR，用于反驳高阶函数程序的终止。 Zbl 1381.68035号 久原、Takuya；佐藤隆介；不，Hiroshi；直纪小林 7 2015 基于自动化的抽象，用于高阶树处理程序的自动验证。 Zbl 1329.68065号 松本裕马；直纪小林；不，Hiroshi 2 2015 通过抽样推断无递归Horn子句的简单解决方案。 Zbl 1420.68077号 不，Hiroshi；大雄县Terauchi 2 2015 松弛分层：一种实用的完全谓词求精的新方法。 Zbl 1335.68072号 大雄县Terauchi；不，Hiroshi 1 2015 高级功能程序的自动终止验证。 Zbl 1347.68231号 久原、Takuya；大雄县Terauchi；不，Hiroshi；直纪小林 5 2014 自动化相对完整的高阶功能程序验证。 Zbl 1301.68182号 不，Hiroshi；大雄县Terauchi；直纪小林 4 2013 用于程序验证的高阶多参数树变换器和递归方案。 Zbl 1312.68136号 直纪小林；直市田口；不，Hiroshi 14 2010 依赖类型的按需优化。 Zbl 1137.68358号 不，Hiroshi；直纪小林 1 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名90位作者引用 12 直纪小林 6 伊曼纽尔·德·安吉利斯 6 法比奥·菲奥拉万蒂 6 毛里齐奥·普罗埃蒂 6 佐藤隆介 5 阿尔贝托·佩特罗西 4 格里戈里·费迪尤科维奇 4 津田，武士 三 托马斯·杰奈特 三 不，Hiroshi 2 吉登·恩斯特 2 阿尔蒂·古普塔 2 肯·萨卡约里 2 西尔万·萨尔瓦蒂 2 铃木，Ryota 1 亚历山德罗·阿巴特 1 马哈穆杜尔·费萨尔·阿梅恩 1 圣地亚哥包蒂斯塔 1 乌鸦·贝特纳 1 莱昂内尔·布拉特 1 冠军，阿德里安 1 利迪亚·切尔尼戈夫斯卡娅 1 千叶，富古屋 1 魏恩根·钦 1 霍雷修·西尔斯泰 1 乌戈·达尔拉戈 1 特拉华州，本杰明 1 罗伯特·迪克森。 1 克里斯托斯·迪穆拉斯 1 阿扎德法尔赞 1 罗伯特·布鲁斯·芬德勒 1 伯恩德·芬克贝纳 1 大流士·富 1 富士马，Koichi 1 马可·加博阿迪 1 约翰·加拉赫（John P.Gallagher）。 1 保罗·D·加洛特。 1 迪帕克·加格 1 皮埃尔·杰奈夫耶斯 1 尼尔斯·盖斯伯特 1 米尔科·贾科布 1 查尔斯·格雷洛伊斯 1 一郎·哈索 1 大卫·G·希思。 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 侯赛因·霍贾特 1 Atsushi Igarashi 1 我是宣城 1 冈萨洛·伊玛兹（Gonzalo E.Imaz）。 1 石川、高沼 1 直木岛岛山 1 吉勒姆·贾伯 1 小岛贤介 1 埃里克·科斯金 1 尼古拉·科马托夫 1 维克多·昆卡 1 佐藤库拉 1 纳比尔·拉伊达 1 帕斯卡尔·勒加尔 1 奥雷连·勒梅 1 Lermusiaux，Pierre F.J。 1 贝诺·蒙塔古 1 皮埃尔·埃蒂安·莫罗 1 Ryoya Mukai 1 中村弘文 1 阮，Phüc c。 1 维克多·尼古拉 1 直纪西田 1 皮克，劳伦 1 维吉尔·普雷沃斯托 1 瞿伟浩 1 科林·里巴 1 罗伊，迪帕尔科 1 菲利普·吕默 1 三文鱼，Yann 1 Takumi岛田 1 Tsubasa Shoshi 1 宋亚辉 1 Kohei Suenaga公司 1 直市田口 1 德劳、塔库 1 大雄县Terauchi 1 萨姆·托宾·霍施塔特 1 David A.VanHorn。 1 伊戈尔·瓦卢基维奇 1 叶千川 1 你，Shu-Hung 1 卢卡斯·扎瓦利亚 1 Michael K·张。 1 张淑君 全部的 前5名9连载 三 计算机科学中的逻辑方法 2 函数编程杂志 2 逻辑程序设计理论与实践 1 理论计算机科学 1 自动推理杂志 1 国际近似推理杂志 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 46 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文