Concepedia

Naoshi Tabuchi

NT

4

Publications

140

Citations

4

H-Index

2003

Active since

Affiliations

Tohoku University(Current)

The University of Tokyo

Naoshi Tabuchi is an author at Tohoku University specializing in formal methods, automated reasoning, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationSoftware TestingFormal VerificationSystems Engineering

Publications per year

2003–2010

4

Publications

4

Higher-order multi-parameter tree transducers and recursion schemes for program verification

Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno · 2010 · 78 citations

Program Checking, Engineering, Recursion Schemes +22

Regular Expression Types for Strings in a Text Processing Language

Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa · Electronic Notes in Theoretical Computer Science · 2003 · 30 citations · Full text

Engineering, Minimal Functional Calculus, Present λRe +25

Higher-order multi-parameter tree transducers and recursion schemes for program verification

Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno · ACM SIGPLAN Notices · 2010 · 22 citations

Program Checking, Engineering, Recursion Schemes +20

Regular Expression Types for Strings in a Text Processing Language (Extended Abstract)

Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa · 2003 · 10 citations

Rows per page

1–4 of 4