Concepedia

A. Aziz

AA

Statistics

Publications

1

Citations

21

H-Index

1

Active since

2003

Affiliations

The University of Texas at Austin(Current)

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

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationFunctional AnalysisSystems EngineeringComputer Engineering

Publications per year

2003–2003

1

Publications

1

A framework for constrained functional verification

Jun Yuan, C. Pixley, A. Aziz et al. · ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486) · 2003 · 21 citations

Mathematical Programming, Engineering, Verification +22

1–1 of 1