编辑配置文件（在新选项卡中打开） Masaya岛川 合著者距离 作者ID： shimakawa.masaya岛 发布方式： Masaya岛川 已编制索引的文档： 3出版物自2015年起 合著者： 7合著者具有3联合出版物 23位合作作者 全部的 前5名合著者 0 单作者的 三 Shigeki Hagihara 三 直纪延崎 1 Ichinose、Takuma 1 Sohei伊藤 1 直子伊祖米 1 丰田隆树 1 上野，Atsushi 系列 1 信息学报 1 理论计算机科学 领域 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用5中的次5文件 引用人▼ 年份▼ 考虑最大可实现性的无安全LTL综合。 Zbl 1380.68285号 丰田隆树；上野，Atsushi；Masaya岛川；Shigeki Hagihara；直纪延崎 2 2017 将有界可实现性分析简化为可达性检查。 Zbl 1471.68154号 Masaya岛川；Shigeki Hagihara；直纪延崎 2 2015 用时序逻辑对基因调控网络进行定性分析。 Zbl 1329.92049号 伊藤，Sohei；Ichinose、Takuma；Masaya岛川；直子伊祖米；Shigeki Hagihara；直纪延崎 1 2015 考虑最大可实现性的无安全LTL综合。 Zbl 1380.68285号 丰田隆树；上野，Atsushi；Masaya岛川；Shigeki Hagihara；直纪延崎 2 2017 将有界可实现性分析简化为可达性检查。 兹比尔1471.68154 Masaya岛川；Shigeki Hagihara；直纪延崎 2 2015 用时序逻辑对基因调控网络进行定性分析。 Zbl 1329.92049号 Sohei伊藤；Ichinose、Takuma；Masaya岛川；直子伊祖米；Shigeki Hagihara；直纪延崎 1 2015 全部的 前5名15位作者引用 1 达拉·阿拉杰 1 戴维德·贾科莫·卡维扎 1 雷娜·迪米特洛娃 1 彼得·费蒙维尔 1 伯恩德·芬克贝纳 1 马哈萨·加西米 1 安德拉斯·吉尔吉 1 蒙特塞拉特赫莫 1 李永明 1 帕基·卢西奥 1 拉贝，马库斯·N。 1 塞萨尔·桑切斯 1 石慧贤 1 Leander Tentrup公司 1 乌富克托普库 3篇连载文章中引用 1 信息学报 1 计算的形式方面 1 智能与模糊系统杂志 在3个字段中引用 5 数学逻辑和基础（03-XX） 4 计算机科学（68至XX） 1 测量和集成（28-XX） 按年份列出的引文