8
Publications
185
Citations
8
H-Index
1995
Active since
Makoto Takeyama is an author at National Institute of Advanced Industrial Science and Technology specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware TestingSoftware AnalysisVerificationFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSoftware Verification
Publications per year
1995–2010
8
8
Syntactic control of interference revisited
Peter W. O’Hearn, John Power, Makoto Takeyama et al. · Theoretical Computer Science · 1999 · 65 citations
A Logical Framework with Dependently Typed Records
Thierry Coquand, Randy Pollack, Makoto Takeyama · 2004 · 34 citations
Syntactic Control of Interference Revisited
Peter W. O’Hearn, John Power, Makoto Takeyama et al. · Electronic Notes in Theoretical Computer Science · 1995 · 23 citations · Full text
Yoshiki Kinoshita, John Power, Makoto Takeyama · Journal of Pure and Applied Algebra · 1999 · 12 citations
Rows per page
1–5 of 8