Concepedia

Author

Toida

University of Waterloo

Also Known As

Toida

5

Publications

165

Citations

3

H-Index

15

Concepts

All Affiliations

University of Waterloo
TO

About

Toida is an author at University of Waterloo specializing in formal methods, reliability engineering, and circuit design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

149

2

Computer Engineering

1

1

149

3

Computer Science

1

1

149

4

Asynchronous Circuits

1

1

149

5

Automated Reasoning

1

1

149

Toida

×

1

Publications

149

Citations

1

H-Index

YearCitations

Page 1