Concepedia

Kokichi Futatsugi

KF

Statistics

Publications

34

Citations

1.3K

H-Index

18

Active since

1980

Affiliations

Japan Advanced Institute of Science and Technology(Current)

Kokichi Futatsugi is an author at Japan Advanced Institute of Science and Technology specializing in computing, computer science, and formal methods.

Publications per year

1980–2020

34

Publications

34

Principles of OBJ2

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud et al. · 1985 · 468 citations

Computing, Computer Science, Computational Linguistics +4

Logical foundations of CafeOBJ

Răzvan Diaconescu, Kokichi Futatsugi · Theoretical Computer Science · 2002 · 108 citations

Computing, Computer Science, Philosophy +11

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

Kokichi Futatsugi, Ataru T. Nakagawa · 2002 · 79 citations

Computing, Computer Science, Computer Systems +14

Behavioural Coherence in Object-Oriented Algebraic Specification

Kokichi Futatsugi, Răzvan Diaconescu · TUGraz OPEN Library (Graz University of Technology) · 2020 · 76 citations · Full text

Computing, Computer Science, Formal Methods +13

Equational Approach to Formal Analysis of TLS

Kazuhiro Ogata, Kokichi Futatsugi · 2005 · 48 citations

Computing, Computer Science, Computer Systems +17

1–5 of 34