Concepedia

Author

Keitaro Yukawa

University of Waterloo

Also Known As

K. YUKAWA, Keitaro Yukawa

7

Publications

61

Citations

2

H-Index

6

Concepts

All Affiliations

University of Waterloo
KY

About

Keitaro Yukawa is an author at University of Waterloo specializing in formal methods, mathematical programming, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

51

2

Computer Science

1

1

51

3

Automated Reasoning

1

1

51

4

Formal Methods

1

1

51

5

Logic Programming

1

1

51

Keitaro Yukawa

×

1

Publications

51

Citations

1

H-Index

YearCitations

Page 1