编辑配置文件（在新选项卡中打开） 赤泉伊马尼西 合著者距离 作者ID： 阿基福米 发布日期： 赤泉伊马尼西 已编制索引的文档： 1出版物自2018年以来 合著者： 2合著者具有1联合出版物 31位合作作者 合著者 0 单作者的 1 Atsushi Igarashi 1 小岛贤介 系列 1 自动推理杂志 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 自动验证无赛跑GPU程序的功能正确性。 Zbl 1426.68054号 小岛贤介;赤泉伊马尼西;Atsushi Igarashi 3 2018 自动验证无赛跑GPU程序的功能正确性。 兹比尔1426.68054 小岛贤介;赤泉伊马尼西;Atsushi Igarashi 3 2018 全部的 前5名7位作者引用 2 Atsushi Igarashi 2 小岛贤介 1 蒂亚戈·科古姆布雷罗 1 赤泉伊马尼西 1 朱利安·兰格 1 荣，Dennis Liew Zhen 1 汉娜·齐卡雷利 2篇连载文章中引用 1 自动推理杂志 1 ACM计算逻辑事务 在2个字段中引用 3 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文