CUFinder

Kokichi FUTATSUGI

About Kokichi FUTATSUGI

Kokichi FUTATSUGI, With an exceptional h-index of 30 and a recent h-index of 10 (since 2020), a distinguished researcher at Japan Advanced Institute of Science and Technology, specializes in the field of Formal Methods, Software Engineering, System Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Advances of proof scores in CafeOBJ

A method for assessing the reliability of business processes that reflects transaction documents checking for each department

Well-founded induction via term refinement in CafeOBJ

Stability of termination and sufficient-completeness under pushouts via amalgamation

Kokichi FUTATSUGI Information

University

Position

Professor of Computer Science

Citations(all)

5570

Citations(since 2020)

436

Cited By

5248

hIndex(all)

30

hIndex(since 2020)

10

i10Index(all)

92

i10Index(since 2020)

11

Email

Access Email

University Profile Page

Japan Advanced Institute of Science and Technology

Google Scholar

View Google Scholar Profile

Kokichi FUTATSUGI Skills & Research Interests

Formal Methods

Software Engineering

System Verification

Top articles of Kokichi FUTATSUGI

Title

Journal

Author(s)

Publication Date

Advances of proof scores in CafeOBJ

Science of Computer Programming

Kokichi Futatsugi

2022/12/1

A method for assessing the reliability of business processes that reflects transaction documents checking for each department

Takafumi Komoto

Kokichi Futatsugi

Nobukazu Yoshioka

2020/7/13

Well-founded induction via term refinement in CafeOBJ

Kokichi Futatsugi

2020

Stability of termination and sufficient-completeness under pushouts via amalgamation

Theoretical Computer Science

Daniel Găină

Masaki Nakamura

Kazuhiro Ogata

Kokichi Futatsugi

2020/12/24

See List of Professors in Kokichi FUTATSUGI University(Japan Advanced Institute of Science and Technology)