Higher-Order Model Checking and its Applications

高阶模型检验及其应用

基本信息

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Pumping by Typing
通过打字进行泵送
Predicate abstraction and CEGAR for higher-order model checking
  • DOI：
    10.1145/1993498.1993525
  • 发表时间：
    2011-06
  • 期刊：
  • 影响因子：
    0
  • 作者：
    N. Kobayashi;Ryosuke Sato;Hiroshi Unno
  • 通讯作者：
    N. Kobayashi;Ryosuke Sato;Hiroshi Unno
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs
  • DOI：
    10.1007/978-3-319-21668-3_17
  • 发表时间：
    2015-07
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takuya Kuwahara;Ryosuke Sato;Hiroshi Unno;N. Kobayashi
  • 通讯作者：
    Takuya Kuwahara;Ryosuke Sato;Hiroshi Unno;N. Kobayashi
COMPLEXITY OF MODEL CHECKING RECURSION SCHEMES FOR FRAGMENTS OF THE MODAL MU-CALCULUS
  • DOI：
    10.2168/lmcs-7(4:09)2011
  • 发表时间：
    2011-01-01
  • 期刊：
    LOGICAL METHODS IN COMPUTER SCIENCE
  • 影响因子：
    0.6
  • 作者：
    Kobayashi, Naoki;Ong, C-H Luke
  • 通讯作者：
    Ong, C-H Luke
Relaxed Stratication: A New Approach to Practical Complete Predicate Refinement
宽松分层：实用完整谓词细化的新方法
  • DOI：
    10.1007/978-3-662-46669-8_25
  • 发表时间：
    2015
  • 期刊：
    Proceedings of ESOP 2015, LNCS
  • 影响因子：
    0
  • 作者：
    Tachio Terauchi;Hiroshi Unno
  • 通讯作者：
    Hiroshi Unno
{{ 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其他文献

Modular Verification of Higher-Order Functional Programs
高阶函数程序的模块化验证
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;石田繁巳，泉幸作，國廣陽介，田頭茂明，福田晃
  • 通讯作者：
    石田繁巳，泉幸作，國廣陽介，田頭茂明，福田晃

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
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Activin B signaling controls energy homeostasis
激活素 B 信号传导控制能量稳态
  • 批准号：
    18K15075
  • 财政年份：
    2018
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Refinement and Extension of Higher-Order Model Checking
高阶模型检查的细化和扩展
  • 批准号：
    15H05706
  • 财政年份：
    2015
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (S)
Connection between the Cultural Spheres of Ritsu and Zen in Narrative and Folk Literature
叙事与民间文学中律禅文化领域的联系
  • 批准号：
    15K02219
  • 财政年份：
    2015
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Establishment of a rapid method for measuring sphingosine-1-phosphate transporter activity
1-磷酸鞘氨醇转运蛋白活性快速测定方法的建立
  • 批准号：
    25870695
  • 财政年份：
    2013
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

保健師らのコミュニティケアリング力を高める教育教材と教育プログラムの開発と検証
开发和验证教育材料和计划，以提高公共卫生护士的社区护理能力
  • 批准号：
    24K14061
  • 财政年份：
    2024
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
民生委員を対象にした短縮版ゲートキーパー養成プログラムの開発及び効果検証
民生专员缩短看门人培训计划的制定和有效性验证
  • 批准号：
    24K14081
  • 财政年份：
    2024
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
看護師のためのチーム連携向上プログラムの検証
护士团队协作改进计划的验证
  • 批准号：
    24K13581
  • 财政年份：
    2024
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
臨地実習指導者が必要とする教育力向上のための研修プログラムの開発及び効果検証
培训计划的开发和有效性验证，以提高临床培训讲师所需的教育技能
  • 批准号：
    24K13706
  • 财政年份：
    2024
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
中小規模事業場におけるメンタルヘルス一次予防遠隔支援プログラム開発と効果検証研究
制定中小型企业心理健康一级预防的远程支持计划并进行研究以验证其有效性
  • 批准号：
    23K21575
  • 财政年份：
    2024
  • 资助金额：
    $ 88.03万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了