Concepedia

Author

A. Aziz

The University of Texas at Austin

Also Known As

A. Aziz, Ahmad Shahier Abdul Aziz

4

Publications

32

Citations

3

H-Index

13

Concepts

All Affiliations

The University of Texas at Austin
AA

About

A. Aziz is an author at The University of Texas at Austin specializing in mathematical programming, computer engineering, and computer-aided design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

21

2

Computer Engineering

1

1

21

3

Computer Science

1

1

21

4

Systems Engineering

1

1

21

5

Automated Reasoning

1

1

21

A. Aziz

×

1

Publications

21

Citations

1

H-Index

YearCitations

A framework for constrained functional verification

Jun Yuan, C. Pixley, A. Aziz,

ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)

2003

21

Page 1