Author Info
Name
Affiliation
Papers
KEN SAKAYORI
The University of Tokyo, Tokyo, Japan
3
Collaborators
Citations 
PageRank 
8
0
1.01
Referers 
Referees 
References 
0
39
25
Title
Citations
PageRank
Year
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving00.342021
Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination00.342021
A Truly Concurrent Game Model of the Asynchronous \pi -Calculus.00.342017