Concepedia

Author

Takuro Oyama

Tokyo Institute of Technology

Also Known As

T. OYAMA, Takuro Oyama

2

Publications

46

Citations

2

H-Index

11

Concepts

All Affiliations

Tokyo Institute of Technology
TO

About

Takuro Oyama is an author at Tokyo Institute of Technology specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Science

1

1

16

3

Data Privacy

1

1

16

4

Data Security

1

1

16

5

Information Security

1

1

16

Takuro Oyama

×

1

Publications

16

Citations

1

H-Index

YearCitations

Page 1