3
Publications
76
Citations
3
H-Index
2004
Active since
Affiliations
University of Massachusetts Amherst(Current)
S. Askar is an author at University of Massachusetts Amherst specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationDiscrete MathematicsVerificationSoftware DesignProgram AnalysisSoftware Analysis
Publications per year
2004–2006
3
3
Variable ordering for taylor expansion diagrams
D. Gomez-Prado, Q. Ren, S. Askar et al. · 2004 · 13 citations
Rows per page
1–3 of 3