课题基金 / 基金详情

Refinement and Extension of Higher-Order Model Checking

Refinement and Extension of Higher-Order Model Checking
高阶模型检查的细化和扩展
批准号：
15H05706
负责人：
Kobayashi Naoki
金额：
$124.13万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (S)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-05-29 至 2020-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15H05706/
关键词：
高階モデル検査プログラム検証データ圧縮型システム関数型プログラム高階不動点論理不動点論理高階文法確率付き文法高階論理共通型

项目摘要

项目成果

Kobayashi Naoki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Streett Automata Model Checking of Higher-Order Recursion Schemes
高阶递归方案的 Streett 自动机模型检查
DOI： 10.4230/lipics.fscd.2017.32
发表时间： 2017
期刊： Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
影响因子： --
作者： [Ryota Suzuki, Koichi Fujima, Naoki Kobayashi and Takeshi Tsukada]
通讯作者： Naoki Kobayashi and Takeshi Tsukada
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
通过动态资源创建验证高阶并发程序
DOI： 10.1007/978-3-319-47958-3_18
发表时间： 2016
期刊： Programming Languages and Systems
影响因子： --
作者： [Kazuhide Yasukata, Takeshi Tsukada and Naoki Kobayashi]
通讯作者： Takeshi Tsukada and Naoki Kobayashi
DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures
用于参数化匹配的 DAWG：在线构建和相关索引结构
DOI： --
发表时间： 2020
期刊： Proceedings of the 31st Annual Symposium on Combinatorial Pattern Matching
影响因子： --
作者： [Katsuhito Nakashima, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, Masayuki Takeda]
通讯作者： Masayuki Takeda
Efficient dynamic dictionary matching with DAWGs and AC-automata
与 DAWG 和 AC 自动机进行高效动态字典匹配
DOI： 10.1016/j.tcs.2018.04.016
发表时间： 2019
期刊： Theoretical Computer Science
影响因子： 1.1
作者： [Diptarama Hendrian, Shunsuke Inenaga, Ryo Yoshinaka, Ayumi Shinohara]
通讯作者： Ayumi Shinohara
共 67 条
    Study on the molecular mechanisms of emergence of novel mycotoxin-producing fungi due to external stress factor
    • 批准号：
      19K05870
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2019
    • 负责人：
      Kobayashi Naoki
    • 依托单位：
      Azabu University
    Activin B signaling controls energy homeostasis
    Connection between the Cultural Spheres of Ritsu and Zen in Narrative and Folk Literature
    • 批准号：
      15K02219
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.25万
    • 财政年份：
      2015
    • 负责人：
      Kobayashi Naoki
    • 依托单位：
      Osaka City University
    Establishment of a rapid method for measuring sphingosine-1-phosphate transporter activity
    海外基金