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

Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement

逐步求精中的复杂度分布与一致性保证研究

基本信息

批准号：
26700005
负责人：
Ishikawa Fuyuki
金额：
$ 3.74万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (A)
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-01 至 2017-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Slice and Merge

切片和合并

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Refinement Engineering for Reducing Complexity in Reliability Assurance

降低可靠性保证复杂性的精细化工程

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
Fuyuki Ishikawa;Tsutomu Kobayashi;Fuyuki Ishikawa
通讯作者：
Fuyuki Ishikawa

SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines

SliceAndMerge：用于重构 Event-B 机器细化结构的 Rodin 插件

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Tsutomu Kobayashi;Aivar Kripsaar;Fuyuki Ishikawa;Shinichi Honiden
通讯作者：
Shinichi Honiden

Stepwise Refinement of Software Development Problem Analysis

软件开发问题分析的逐步细化

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa;and Shinichi Honiden
通讯作者：
and Shinichi Honiden

Refactoring Refinement Structures of Event-B Machines

重构 Event-B 机器的细化结构

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa;and Shinichi Honiden
通讯作者：
and Shinichi Honiden

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

Ishikawa Fuyuki其他文献

Is Space-Efficient Polymorphic Gradual Typing Possible?

节省空间的多态渐进类型可能吗？

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Stankaitis Paulius;Iliasov Alexei;Kobayashi Tsutomu;Ait-Ameur Yamine;Ishikawa Fuyuki;Romanovsky Alexander;Shota Ozaki
通讯作者：
Shota Ozaki

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

在事件 B 中嵌入近似：使用证明和细化的安全混合系统设计

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Dupont Guillaume;Ait-Ameur Yamine;Singh Neeraj K.;Ishikawa Fuyuki;Kobayashi Tsutomu;Pantel Marc
通讯作者：
Pantel Marc

Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds

云中工作流调度的期限约束成本优化方法

DOI：
10.1109/tpds.2017.2735400
发表时间：
2017-12
期刊：
IEEE Transactions on Parallel and Distributed Systems
影响因子：
5.3
作者：
Wu Quanwang;Zhu Qingsheng;Xia Yunni;Ishikawa Fuyuki;Wen Junhao;Wu QW
通讯作者：
Wu QW

ゲノム不安定性を解析するためのツールとしてのscRepli-seq

scRepli-seq 作为分析基因组不稳定性的工具

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Luqman-Fatah Ahmad;Watanabe Yuzo;Uno Kazuko;Ishikawa Fuyuki;Moran John V.;Miyoshi Tomoichiro;竹林慎一郎
通讯作者：
竹林慎一郎

The interferon stimulated gene-encoded protein HELZ2 inhibits human LINE-1 retrotransposition and LINE-1 RNA-mediated type I interferon induction

干扰素刺激的基因编码蛋白 HELZ2 抑制人 LINE-1 逆转录转座和 LINE-1 RNA 介导的 I 型干扰素诱导

DOI：
10.1101/2022.03.26.485892
发表时间：
2022
期刊：
bioRxiv
影响因子：
0
作者：
Luqman-Fatah Ahmad;Watanabe Yuzo;Ishikawa Fuyuki;Moran John V.;Miyoshi Tomoichiro
通讯作者：
Miyoshi Tomoichiro