Author Info
Name
Affiliation
Papers
DAISUKE KIMURA
Natl Inst Informat, Tokyo 1018430, Japan
6
Collaborators
Citations 
PageRank 
5
5
2.14
Referers 
Referees 
References 
10
52
41
Title
Citations
PageRank
Year
Function Pointer Eliminator for C Programs00.342021
Restriction on Cut in Cyclic Proof System for Symbolic Heaps.00.342020
Decidability For Entailments Of Symbolic Heaps With Arrays00.342018
Completeness of Cyclic Proofs for Symbolic Heaps.00.342018
Separation Logic With Monadic Inductive Definitions And Implicit Existentials20.372015
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types30.422013