Concepedia

Yoshihiko Kakutani

YK

Statistics

Publications

3

Citations

51

H-Index

3

Active since

2002

Affiliations

The University of Tokyo(Current)

Yoshihiko Kakutani is an author at The University of Tokyo specializing in computer science, formal verification, and engineering.

Top concepts

Publications per year

2002–2016

3

Publications

3

Semi-automated verification of security proofs of quantum cryptographic protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato et al. · Journal of Symbolic Computation · 2015 · 19 citations

, , +8

Axioms for Recursion in Call-by-Value

Masahito Hasegawa, Yoshihiko Kakutani · LISP and Symbolic Computation · 2002 · 18 citations

Calculi for Intuitionistic Normal Modal Logic

Yoshihiko Kakutani · arXiv (Cornell University) · 2016 · 14 citations · Full text

, , +13

1–3 of 3