编辑配置文件（在新选项卡中打开） 小岛贤介 合著者距离 作者ID： 小岛贤介 发布日期： 小岛贤介 已编制索引的文档： 14出版物自1993年以来，包括1个附加arXiv预打印 合著者： 13合著者具有9联合出版物 181位合作作者 全部的 前5名合著者 三 单作者的 5 Atsushi Igarashi 4 Kohei Suenaga公司 2 Minoru木下 1 一郎·哈索 1 赤泉伊马尼西 1 基多、肯戈 1 小林，靖国 1 北海德松原 1 中村弘文 1 Yuki西田 1 塔卡马萨·奥库多诺 1 桑尼，泰加 1 山本明弘 全部的 前5名系列 1 数理逻辑报告 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 国际计算流体动力学杂志 1 IGPL逻辑期刊 1 ACM计算逻辑事务 全部的 前5名领域 8 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 偏微分方程（35-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 地球物理学（86-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用32次24文件 引用人▼ 年份▼ 直觉模态逻辑的关系语义和邻域语义。 Zbl 1320.03054号 小岛贤介 8 2012 构造线性时间逻辑：证明系统和克里普克语义学。 Zbl 1248.03031号 小岛贤介;Atsushi Igarashi 7 2011 最大平衡连通子图问题的算法和硬度结果。 Zbl 1435.68240号 小林，靖国;小岛贤介;北海德松原;桑尼，泰加;山本明弘 4 2019 地面温度的参数识别和控制。 Zbl 0879.73067号 小岛，K。;科达玛，T。;北卡罗来纳州卡内科。;M.川原。 三 1996 SIMT程序的Hoare逻辑。 Zbl 1426.68053号 小岛贤介;Atsushi Igarashi 三 2013 自动验证无赛跑GPU程序的功能正确性。 Zbl 1426.68054号 小岛贤介;赤泉伊马尼西;Atsushi Igarashi 三 2018 用于程序验证的更清晰、更简单的非线性插值。 Zbl 1503.68184号 塔卡马萨·奥库多诺;Yuki西田;小岛贤介;Kohei Suenaga公司;基多、肯戈;一郎·哈索 三 2017 GPU内核的Hoare逻辑。 Zbl 1367.68066号 小岛贤介;Atsushi Igarashi 2 2017 直觉模态逻辑中哪个经典对应有效？ Zbl 1260.03044号 小岛贤介 1 2012 地下水水文含水层参数识别的基础研究。 Zbl 0875.76599号 哈塔纳卡，K。;小岛，K。;M.川原。 1 1993 基于模板的高效非线性不变综合的广义齐次多项式。 Zbl 1394.68076号 小岛贤介;Minoru木下;Kohei Suenaga公司 1 2016 最大平衡连通子图问题的算法和硬度结果。 Zbl 1435.68240号 小林，靖国;小岛贤介;北海德松原;桑尼，泰加;山本明弘 4 2019 自动验证无赛跑GPU程序的功能正确性。 Zbl 1426.68054号 小岛贤介;赤泉伊马尼西;Atsushi Igarashi 三 2018 用于程序验证的更清晰、更简单的非线性插值。 Zbl 1503.68184号 塔卡马萨·奥库多诺;Yuki西田;小岛贤介;Kohei Suenaga公司;基多、肯戈;一郎·哈索 三 2017 GPU内核的Hoare逻辑。 Zbl 1367.68066号 小岛贤介;Atsushi Igarashi 2 2017 基于模板的高效非线性不变综合的广义齐次多项式。 Zbl 1394.68076号 小岛贤介;Minoru Kinoshita;Kohei Suenaga公司 1 2016 SIMT程序的Hoare逻辑。 Zbl 1426.68053号 小岛贤介;Atsushi Igarashi 三 2013 直觉模态逻辑的关系语义和邻域语义。 兹比尔1320.03054 小岛贤介 8 2012 直觉模态逻辑中哪个经典对应有效？ Zbl 1260.03044号 小岛贤介 1 2012 构造线性时间逻辑：证明系统和克里普克语义学。 Zbl 1248.03031号 小岛贤介;Atsushi Igarashi 7 2011 地温参数识别与控制。 Zbl 0879.73067号 小岛，K。;科达玛，T。;北卡罗来纳州卡内科。;M.川原。 三 1996 地下水水文含水层参数识别的基础研究。 Zbl 0875.76599号 哈塔纳卡，K。;小岛，K。;M.川原。 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名56位作者引用 5 小岛贤介 4 Atsushi Igarashi 三 蒂齐亚诺·达尔蒙特 三 大卫·费尔南德斯·杜克 三 查尔斯·格雷洛伊斯 三 尼古拉·奥利维蒂 2 约瑟夫·布杜 2 塞拉尼、塞尔吉奥·阿图罗 2 吉姆·德·格罗特 2 马丁·迪格斯 2 Kohei Suenaga公司 1 安、杰 1 阿德拉，P.S。 1 古拉姆·贝扎尼什维利 1 尼克·贝扎尼什维利 1 苏乔伊·库马尔·博雷 1 查克拉波蒂，苏拉夫 1 陈明帅 1 克莱尔·西尼 1 蒂亚戈·科古姆布雷罗 1 达蒂斯，贝诺特 1 安娜·德米特里娃 1 阿德里安·弗兰卡兰扎 1 鲁道夫·吉卢杜 1 一郎·哈索 1 赤泉伊马尼西 1 雅娜，萨蒂亚布拉塔 1 川谷义彦 1 迪帕克·卡普尔 1 基多、肯戈 1 Minoru Kinoshita 1 科尼格，Jean-Claude 1 菲利普·克莱默 1 R·克里蒂卡。 1 朱利安·兰格 1 蒂莫塞·马丁诺德 1 Paula，Ma Menchon 1 Paula Menchón 1 约瑟夫·米切尔（Joseph S.B.Mitchell）。 1 托马索·莫拉希尼 1 尤伊托·穆拉斯 1 Yuki西田 1 Yuichi Nishiwaki 1 塔卡马萨·奥库多诺 1 潘迪特、苏彭塔 1 德克·帕丁森 1 瓦伦丁·波利特 1 荣，Dennis Liew Zhen 1 罗伊，萨桑卡 1 萨科特·索拉布 1 鲁哈尼·夏尔马 1 津田，武士 1 王健 1 詹伯华 1 詹乃军 1 汉娜·齐卡雷利 全部的 前5名14篇连载文章中引用 2 理论计算机科学 2 计算机科学中的逻辑方法 1 离散应用数学 1 哲学逻辑杂志 1 符号逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 订单 1 信息与计算 1 自动推理杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 17 数学逻辑和基础（03-XX） 14 计算机科学（68至XX） 三 组合数学（05-XX） 2 有序，格，有序代数结构（06-XX） 1 代数几何（14-XX） 1 范畴理论；同调代数（18-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的引文