Concepedia

Author

Yuta Maezawa

Waseda UniversityORCID

Also Known As

Yuta Maezawa

8

Publications

62

Citations

6

H-Index

34

Concepts

All Affiliations

Waseda UniversityThe University of Tokyo
YM

About

Yuta Maezawa is an author at Waseda University specializing in program analysis, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

22

2

Medicine

1

1

20

3

Natural Sciences

1

1

20

4

Biochemistry

1

1

20

5

Chemical Biology

1

1

20

Yuta Maezawa

×

3

Publications

42

Citations

3

H-Index

YearCitations

Page 1