Takayuki Tanabe is an author at University of Tsukuba specializing in data management, formal verification, and in-memory databases.
Top concepts
EngineeringFormal MethodsData ManagementComputer ScienceProgram AnalysisParallel ComputingFormal VerificationIn-memory DatabasesComputer EngineeringParallel Programming
Publications per year
2020–2020
1
1
Rows per page
1–1 of 1