权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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）

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
影响因子：
0
作者：
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
影响因子：
0
作者：
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
影响因子：
0
作者：
Katsuhito Nakashima;Diptarama Hendrian;Yuto Nakashima;Ryo Yoshinaka;Shunsuke Inenaga;Hideo Bannai;Ayumi Shinohara;Masayuki Takeda
通讯作者：
Masayuki Takeda

Compact bit encoding schemes for simply-typed lambda-terms

简单类型 lambda 项的紧凑位编码方案

DOI：
10.1145/2951913.2951918
发表时间：
2016
期刊：
Proceedings of ICFP 2016
影响因子：
0
作者：
Takeda Kotaro;Kobayashi Naoki;Yaguchi Kazuya;Shinohara Ayumi
通讯作者：
Shinohara Ayumi

10 Years of the Higher-Order Model Checking Project

高阶模型检验项目十年

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Kawaguchi Yuri;Kano Fumihiro;Tomonaga Masaki;Takeshi Todo;Naoki Kobayashi
通讯作者：
Naoki Kobayashi

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Kobayashi Naoki其他文献

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

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

ヒト視床下部神経幹細胞の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;石田繁巳，泉幸作，國廣陽介，田頭茂明，福田晃
通讯作者：
石田繁巳，泉幸作，國廣陽介，田頭茂明，福田晃