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

Quantitative extension of formal models and its application to software analysis

形式模型的定量扩展及其在软件分析中的应用

基本信息

批准号：
19H04083
负责人：
Seki Hiroyuki
金额：
$ 10.98万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2019
资助国家：
日本
起止时间：
2019-04-01 至 2023-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19H04083/
关键词：
ソフトウェア検証モデル検査プログラム自動合成レジスタオートマトン形式言語理論量的情報流線形時相論理セキュリティゲーム構造アクティブ学習重み付き文脈自由文法 mu-計算プログラム合成 XML

项目摘要

项目成果

期刊论文数量（24）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Optimal run problem for weighted register automata

加权寄存器自动机的最优运行问题

DOI：
10.1016/j.tcs.2020.11.003
发表时间：
2021
期刊：
Theoretical Computer Science
影响因子：
1.1
作者：
Hiroyuki Seki;Reo Yoshimura and Yoshiaki Takata
通讯作者：
Reo Yoshimura and Yoshiaki Takata

Generalized Register Context-Free Grammars

广义寄存器上下文无关语法

DOI：
10.1587/transinf.2019fcp0010
发表时间：
2020
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
Ryoma Senda;Yoshiaki Takata and Hiroyuki Seki
通讯作者：
Yoshiaki Takata and Hiroyuki Seki

Forward Regularity Preservation Property of Register Pushdown Systems

寄存器下推系统的前向正则性保持特性

DOI：
10.1587/transinf.2020fcp0008
发表时间：
2021
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
Ryoma Senda;Yoshiaki Takata and Hiroyuki Seki
通讯作者：
Yoshiaki Takata and Hiroyuki Seki

Pumping Lemmas for Languages Expressed by Computational Models with Registers

用寄存器计算模型表达的语言的引理

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Ryoma Senda;Yoshiaki Takata and Hiroyuki Seki;小出走，関浩之;坂尾優斗，関浩之;井上裕介，橋本健二，関浩之;中西凜道，高田喜朗，関浩之
通讯作者：
中西凜道，高田喜朗，関浩之

Reachability of Patterned Conditional Pushdown Systems

模式化条件下推系统的可达性

DOI：
10.1007/s11390-020-0541-z
发表时间：
2020-11
期刊：
Journal of Computer Science and Technology
影响因子：
0.7
作者：
Xin Li;Patrick Gardy;Yuxin Deng;Hiroyuki Seki
通讯作者：
Hiroyuki Seki

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 }}

Seki Hiroyuki其他文献

Q7　精巣性女性化症候群の性腺摘出は必要か？

Q7 睾丸女性化综合症是否需要性腺切除术？

DOI：
发表时间：
2017
期刊：
女性内分泌クリニカルクエスチョン
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;Seki Hiroyuki;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰
通讯作者：
高井泰

On a translation from algebraic specifications of abstract sequential machines into programs. | Article Information | J-GLOBAL

关于从抽象顺序机的代数规范到程序的翻译。

DOI：
发表时间：
1990
期刊：
影响因子：
0
作者：
Y. Lu;Awaya Hideshi;Seki Hiroyuki;Fujii Mamoru;Ninomiya Kiyoshi
通讯作者：
Ninomiya Kiyoshi

Retrospective study of umbilical cord ulceration related to congenital intestinal atresia: A single-center report

先天性肠闭锁相关脐带溃疡的回顾性研究：单中心报告

DOI：
10.1111/jog.13611
发表时间：
2018
期刊：
Journal of Obstetrics and Gynaecology Research
影响因子：
1.6
作者：
Nakamura Eishin;Samejima Kouki;Takayanagi Natsuko;Ono Yoshihisa;Matsunaga Shigetaka;Nagai Tomonori;Takai Yasushi;Saitoh Masahiro;Baba Kazunori;Seki Hiroyuki
通讯作者：
Seki Hiroyuki

悪性腫瘍に罹患した女性患者に対する妊孕性温存について尋ねられたら？

当问到女性恶性肿瘤患者如何保留生育能力？

DOI：
发表时间：
2017
期刊：
産婦人科診療ガイドライン婦人科外来編 2017
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;Seki Hiroyuki;高井泰;高井泰;高井泰
通讯作者：
高井泰

Q8　Turner症候群のホルモン補充方法は何歳からどのように行う？

Q8特纳综合征应该在什么年龄进行激素替代治疗？

DOI：
发表时间：
2017
期刊：
女性内分泌クリニカルクエスチョン
影响因子：
0
作者：
Wang Liangcheng;Takai Yasushi;Baba Kazunori;Mikami Yukiko;Saito Masahiro;Horiuchi Isao;Konno Ryo;Takagi Kenjiro;Seki Hiroyuki;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰;高井泰
通讯作者：
高井泰