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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures
用于参数化匹配的 DAWG：在线构建和相关索引结构
10 Years of the Higher-Order Model Checking Project
高阶模型检验项目十年
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kawaguchi Yuri;Kano Fumihiro;Tomonaga Masaki;Takeshi Todo;Naoki Kobayashi
  • 通讯作者：
    Naoki Kobayashi
On Two Higher-Order Extensions of Model Checking
关于模型检查的两个高阶扩展
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Lau Yong-Chang;Chi Zhendong;Taniguchi Tomohiro;Kawaguchi Masashi;Shibata Goro;Kawamura Naomi;Suzuki Motohiro;Fukami Shunsuke;Fujimori Atsushi;Ohno Hideo;Hayashi Masamitsu;森野 佳生;Naoki Kobayashi
  • 通讯作者：
    Naoki Kobayashi
Streett Automata Model Checking of Higher-Order Recursion Schemes
高阶递归方案的 Streett 自动机模型检查
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
通过动态资源创建验证高阶并发程序
  • DOI：
    10.1007/978-3-319-47958-3_18
  • 发表时间：
    2016
  • 期刊：
    Programming Languages and Systems
  • 影响因子：
    0
  • 作者：
    Kazuhide Yasukata;Takeshi Tsukada and Naoki Kobayashi
  • 通讯作者：
    Takeshi Tsukada and Naoki Kobayashi
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Kobayashi Naoki其他文献

Involvement of the Multidrug and Toxic Compound Extrusion Transporter in Testosterone Release from Cultured Pig Leydig Cells
多药和有毒化合物挤出转运蛋白参与培养猪睾丸间质细胞释放睾酮
  • DOI：
    10.1159/000460822
  • 发表时间：
    2017
  • 期刊：
    Pharmacology.
  • 影响因子：
    0
  • 作者：
    Goda Mitsuhiro;Oda Kana;Oda Atsuko;Kobayashi Naoki;Otsuka Masato
  • 通讯作者：
    Otsuka Masato
Pathophysiological analyses of leptomeningeal heterotopia using gyrencephalic mammals
使用环脑哺乳动物对软脑膜异位进行病理生理学分析
  • DOI：
    10.1093/hmg/ddy014
  • 发表时间：
    2018
  • 期刊：
    Human Molecular Genetics
  • 影响因子：
    3.5
  • 作者：
    Matsumoto Naoyuki;Kobayashi Naoki;Uda Natsu;Hirota Miwako;Kawasaki Hiroshi
  • 通讯作者：
    Kawasaki Hiroshi
ヒト視床下部神経幹細胞のin vitro分化創出
人下丘脑神经干细胞的体外分化
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sasako Takayoshi;Umehara Toshihiro;Soeda Kotaro;Kaneko Kazuma;Suzuki Miho;Kobayashi Naoki;Okazaki Yukiko;Tamura-Nakano Miwa;Chiba Tomoki;Accili Domenico;Kahn C. Ronald;Noda Tetsuo;Asahara Hiroshi;Yamauchi Toshimasa;Kadowaki Takashi;Ueki Kohjiro;三輪田勤
  • 通讯作者：
    三輪田勤
WiFi APを用いたセンサ測位に向けたWiFi AP動作チャネル推定手法，
使用WiFi AP进行传感器定位的WiFi AP操作信道估计方法，
  • DOI：
  • 发表时间：
    2017
  • 期刊：
    情報処理学会論文誌
  • 影响因子：
    0
  • 作者：
    Suwa Takashi;Tsukada Takeshi;Kobayashi Naoki;Igarashi Atsushi;石田繁巳，泉幸作，國廣陽介，田頭茂明，福田晃
  • 通讯作者：
    石田繁巳，泉幸作，國廣陽介，田頭茂明，福田晃
The role of endoribonulease Regnase-1 in inflammation and immune responses/Regnase-1, a key endoribonuclease responsible for the inflammatory and immune responses
核糖核酸内切酶 Regnase-1 在炎症和免疫反应中的作用/Regnase-1，一种负责炎症和免疫反应的关键核糖核酸内切酶
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Okuyama Yuya;Tsukada Takeshi;Kobayashi Naoki;田中 宏樹
  • 通讯作者：
    田中 宏樹

Kobayashi Naoki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Kobayashi Naoki', 18)}}的其他基金

Study on the molecular mechanisms of emergence of novel mycotoxin-producing fungi due to external stress factor
外部胁迫因素导致新型产霉菌毒素真菌产生的分子机制研究
  • 批准号：
    19K05870
  • 财政年份：
    2019
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Activin B signaling controls energy homeostasis
激活素 B 信号传导控制能量稳态
  • 批准号：
    18K15075
  • 财政年份：
    2018
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Connection between the Cultural Spheres of Ritsu and Zen in Narrative and Folk Literature
叙事与民间文学中律禅文化领域的联系
  • 批准号：
    15K02219
  • 财政年份：
    2015
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Establishment of a rapid method for measuring sphingosine-1-phosphate transporter activity
1-磷酸鞘氨醇转运蛋白活性快速测定方法的建立
  • 批准号：
    25870695
  • 财政年份：
    2013
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Higher-Order Model Checking and its Applications
高阶模型检验及其应用
  • 批准号：
    23220001
  • 财政年份：
    2011
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (S)

相似海外基金

青年期の児童養護施設入所児童を対象とした性暴力予防プログラムの開発と効果検証
为儿童之家接纳的青少年儿童制定性暴力预防方案并验证其有效性
  • 批准号：
    24K06586
  • 财政年份：
    2024
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
保健師らのコミュニティケアリング力を高める教育教材と教育プログラムの開発と検証
开发和验证教育材料和计划，以提高公共卫生护士的社区护理能力
  • 批准号：
    24K14061
  • 财政年份：
    2024
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
民生委員を対象にした短縮版ゲートキーパー養成プログラムの開発及び効果検証
民生专员缩短看门人培训计划的制定和有效性验证
  • 批准号：
    24K14081
  • 财政年份：
    2024
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
看護師のためのチーム連携向上プログラムの検証
护士团队协作改进计划的验证
  • 批准号：
    24K13581
  • 财政年份：
    2024
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
臨地実習指導者が必要とする教育力向上のための研修プログラムの開発及び効果検証
培训计划的开发和有效性验证，以提高临床培训讲师所需的教育技能
  • 批准号：
    24K13706
  • 财政年份：
    2024
  • 资助金额：
    $ 124.13万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了