Concepedia

Author

Takaaki Tateishi

IBM Research - Tokyo

Also Known As

T. Tateishi, Takaaki TATEISHI, Takaaki Tateishi, Tateishi, Takaaki

23

Publications

191

Citations

8

H-Index

36

Concepts

All Affiliations

IBM Research - TokyoIBM (United States)Tel Aviv University
TT

About

Takaaki Tateishi is an author at IBM Research - Tokyo specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

142

2

Computer Science

5

5

142

3

Language Studies

2

2

71

4

Computer Engineering

1

1

23

5

Data Science

1

1

23

Takaaki Tateishi

×

5

Publications

142

Citations

5

H-Index

YearCitations

Page 1