Concepedia

Author

Naoshi Tabuchi

Tohoku University

Also Known As

N. Tabuchi, NAOSHI TABUCHI, Naoshi TABUCHI, Naoshi Tabuchi, Tabuchi Naoshi

14

Publications

200

Citations

8

H-Index

23

Concepts

All Affiliations

Tohoku UniversityThe University of Tokyo
NT

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

130

2

Computer Science

3

3

130

3

Computer Engineering

2

2

100

4

Language Studies

1

1

30

5

Linguistics

1

1

30

Naoshi Tabuchi

×

4

Publications

140

Citations

4

H-Index

YearCitations

Page 1