Concepedia

Author

Koko Muroya

Kyoto UniversityORCID

Also Known As

Ghica, Dan, Koko Muroya, Muroya, Koko

24

Publications

113

Citations

6

H-Index

18

Concepts

All Affiliations

Kyoto UniversityThe University of Tokyo
KM

About

Koko Muroya is an author at Kyoto University specializing in automated reasoning, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

62

2

Computer Science

3

3

62

3

Natural Sciences

1

1

37

4

Systems Engineering

1

1

11

5

Geometric Modeling

1

1

37

Koko Muroya

×

3

Publications

62

Citations

3

H-Index

YearCitations

Page 1