Refinement and Extension of Higher-Order Model Checking
高阶模型检查的细化和扩展
基本信息
- 批准号：15H05706
- 负责人：
- 金额：$ 124.13万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (S)
- 财政年份：2015
- 资助国家：日本
- 起止时间：2015-05-29 至 2020-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Relatively Complete Refinement Type System for Verification of Higher-Order Non-deterministic Programs
相对完整的高阶非确定性程序验证细化型系统
- DOI：10.1145/3158100
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Hiroshi Unno; Yuki Satake;Tachio Terauchi
- 通讯作者：Tachio Terauchi
Verifying relational properties of functional programs by first-order refinement
通过一阶细化验证函数程序的关系属性
- DOI：10.1016/j.scico.2016.02.007
- 发表时间：2017
- 期刊：
- 影响因子：1.3
- 作者：Asada Kazuyuki;Sato Ryosuke;Kobayashi Naoki
- 通讯作者：Kobayashi Naoki
On the relationship between higher-order recursion schemes and higher-order fixpoint logic
论高阶递归方案与高阶不动点逻辑的关系
- DOI：10.1145/3009837.3009854
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Kobayashi Naoki;Lozes Etienne;Bruse Florian
- 通讯作者：Bruse Florian
Higher-Order Model Checking in Direct Style
直接风格的高阶模型检查
- DOI：10.1007/978-3-319-47958-3_16
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Taku Terao; Taskeshi Tsukada;Naoki Kobayashi
- 通讯作者：Naoki Kobayashi
Equivalence-Based Abstraction Refinement for muHORS Model Checking
用于 muHORS 模型检查的基于等价的抽象细化
- DOI：10.1007/978-3-319-46520-3_20
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Li Xin;Kobayashi Naoki
- 通讯作者：Kobayashi Naoki
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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其他文献
Toward Neural-Network-Guided Program Synthesis and Verification
走向神经网络引导的程序合成和验证
- DOI：
10.1007/978-3-030-88806-0_12 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Kobayashi Naoki;Sekiyama Taro;Sato Issei;Unno Hiroshi - 通讯作者：
Unno Hiroshi
MEK/ERK Signaling in β-Cells Bifunctionally Regulates β-Cell Mass and Glucose-Stimulated Insulin Secretion Response to Maintain Glucose Homeostasis
β 细胞中的 MEK/ERK 信号传导双功能调节 β 细胞质量和葡萄糖刺激的胰岛素分泌反应以维持血糖稳态
- DOI：
10.2337/db20-1295 - 发表时间：
2021 - 期刊：
- 影响因子：7.7
- 作者：
Ikushima Yoshiko Matsumoto;Awazawa Motoharu;Kobayashi Naoki;Osonoi Sho;Takemiya Seiichi;Kobayashi Hiroshi;Suwanai Hirotsugu;Morimoto Yuichi;Soeda Kotaro;Adachi Jun;Muratani Masafumi;Charron Jean;Mizukami Hiroki;Takahashi Noriko;Ueki Kohjiro - 通讯作者：
Ueki Kohjiro
Deletion of skeletal muscle Akt1/2 causes osteosarcopenia and reduces lifespan in mice
骨骼肌 Akt1/2 缺失会导致小鼠骨肌减少症并缩短寿命
- DOI：
10.1038/s41467-022-33008-2 - 发表时间：
2022 - 期刊：
- 影响因子：16.6
- 作者：
Sasako Takayoshi;Umehara Toshihiro;Soeda Kotaro;Kaneko Kazuma;Suzuki Miho;Kobayashi Naoki;Okazaki Yukiko;Tamura;Chiba Tomoki;Accili Domenico;Kahn C. Ronald;Noda Tetsuo;Asahara Hiroshi;Yamauchi Toshimasa;Kadowaki Takashi;Ueki Kohjiro - 通讯作者：
Ueki Kohjiro
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
符号自动关系及其在 SMT 和 CHC 求解中的应用
- DOI：
10.1007/978-3-030-88806-0_20 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Shimoda Takumi;Kobayashi Naoki;Sakayori Ken;Sato Ryosuke - 通讯作者：
Sato Ryosuke
Counterexample generation for program verification based on ownership refinement types
基于所有权细化类型的程序验证反例生成
- DOI：
10.1145/3441296.3441396 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Ueno Hideto;Toman John;Kobayashi Naoki;Tsukada Takeshi - 通讯作者：
Tsukada Takeshi
Kobayashi Naoki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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)
相似海外基金
双極性障害患者の睡眠・覚醒リズムに焦点を当てたプログラム医療機器の開発と効果検証
专注于双相情感障碍患者睡眠觉醒节律的可编程医疗设备的开发和有效性验证
- 批准号：
24K10682 - 财政年份：2024
- 资助金额：
$ 124.13万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
本人の声質を利用した模倣練習による音痴改善のためのプログラム開発と有効性の検証
利用自己的音质进行模仿练习，开发改善音盲的方案并验证其有效性
- 批准号：
24K05977 - 财政年份：2024
- 资助金额：
$ 124.13万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
発達特性を有する高専学生のための実験実習支援プログラムの検証と環境調整の実践
具有发展特征的技工学生实验实训支撑方案及环境调节实践验证
- 批准号：
24K06095 - 财政年份：2024
- 资助金额：
$ 124.13万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
小児病院前救護におけるVR技術を用いた救命士教育プログラムの開発と教育効果の検証
利用VR技术开发儿科院前急救救生员教育方案并验证教育效果
- 批准号：
24K06335 - 财政年份：2024
- 资助金额：
$ 124.13万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
自己制御教育プログラムの開発と効果検証
自我控制教育项目的制定及有效性验证
- 批准号：
24K06463 - 财政年份：2024
- 资助金额：
$ 124.13万 - 项目类别：
Grant-in-Aid for Scientific Research (C)