Concepedia

Author

Goro Koda

Gunma University

Also Known As

G. Koda, GORO KODA, Goro Koda

9

Publications

37

Citations

3

H-Index

10

Concepts

All Affiliations

Gunma University
GK

About

Goro Koda is an author at Gunma University specializing in computational complexity, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Computer Engineering

1

1

18

3

Computer Science

1

1

18

4

Computer Architecture

1

1

18

5

Automated Reasoning

1

1

18

Goro Koda

×

2

Publications

28

Citations

2

H-Index

YearCitations

Page 1