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)
Streett Automata Model Checking of Higher-Order Recursion Schemes
高阶递归方案的 Streett 自动机模型检查
- DOI:10.4230/lipics.fscd.2017.32
- 发表时间:2017
- 期刊:
- 影响因子: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
- 期刊:
- 影响因子: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
- 期刊:
- 影响因子:0
- 作者: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
- 期刊:
- 影响因子:1.1
- 作者:Diptarama Hendrian;Shunsuke Inenaga;Ryo Yoshinaka;Ayumi Shinohara
- 通讯作者:Ayumi Shinohara
An improvement of the Franek-Jennings-Smyth pattern matching algorithm
Franek-Jennings-Smyth 模式匹配算法的改进
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Satoshi Kobayashi;Diptarama Hendrian;Ryo Yoshinaka;Ayumi Shinohara
- 通讯作者:Ayumi Shinohara
{{
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其他文献
Pathophysiological analyses of leptomeningeal heterotopia using gyrencephalic mammals
使用环脑哺乳动物对软脑膜异位进行病理生理学分析
- DOI:
10.1093/hmg/ddy014 - 发表时间:
2018 - 期刊:
- 影响因子: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 - 期刊:
- 影响因子: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;石田繁巳,泉幸作,國廣陽介,田頭茂明,福田晃 - 通讯作者:
石田繁巳,泉幸作,國廣陽介,田頭茂明,福田晃
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.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)
相似海外基金
依存篩型と述語制約によるプログラム検証の深化
使用依赖筛类型和谓词约束深化程序验证
- 批准号:
23K24826 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
- 批准号:
24K20731 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
用于并发/并行编程的可扩展自动程序验证技术
- 批准号:
24H00699 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発
基于逻辑约束术语重写的共归纳法程序验证方法的开发
- 批准号:
24K02900 - 财政年份:2024
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
直接的モデル検査を用いた関数型プログラム検証手法
使用直接模型检查的功能程序验证方法
- 批准号:
16J01038 - 财政年份:2016
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for JSPS Fellows
高階再帰スキームのモデル検査とそのプログラム検証への応用
高阶递归方案的模型检验及其在程序验证中的应用
- 批准号:
10J03842 - 财政年份:2010
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for JSPS Fellows
並行プログラム検証のための型システムとそのオペレーティングシステムの検証への応用
并发程序验证的类型系统及其在操作系统验证中的应用
- 批准号:
07J01504 - 财政年份:2007
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for JSPS Fellows
高階関数を用いたプログラム検証および変換技術の高度化に関する研究
利用高阶函数改进程序验证和转换技术的研究
- 批准号:
17700002 - 财政年份:2005
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
二分決定グラフを用いたプログラム検証の自動化に関する研究
基于二元决策图的程序验证自动化研究
- 批准号:
09780231 - 财政年份:1997
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
非決定的並列プログラム検証のための論理時間に基づく再演機構
用于非确定性并行程序验证的基于逻辑时间的重放机制
- 批准号:
08680346 - 财政年份:1996
- 资助金额:
$ 124.13万 - 项目类别:
Grant-in-Aid for Scientific Research (C)














{{item.name}}会员




