Concepedia

Author

Saad Waqas

Stanford University

Also Known As

Saad Waqas

1

Publications

164

Citations

1

H-Index

8

Concepts

All Affiliations

Stanford University
SW

About

Saad Waqas is an author at Stanford University specializing in formal verification, computer engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

164

2

Computer Engineering

1

1

164

3

Computer Science

1

1

164

4

Automated Reasoning

1

1

164

5

Formal Methods

1

1

164

Saad Waqas

×

1

Publications

164

Citations

1

H-Index

YearCitations

Page 1