A.V.S.S. Prasad

Publications

Citations

H-Index

2003

Active since

Affiliations

Rutgers, The State University of New Jersey(Current)

A.V.S.S. Prasad is an author at Rutgers, The State University of New Jersey specializing in formal methods, computer engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringReliability EngineeringGraph TheoryNetwork ScienceNetwork AnalysisProgram Analysis

Publications per year

2003–2004

Publications

A new algorithm for global fault collapsing into equivalence and dominance sets

A.V.S.S. Prasad, Vishwani D. Agrawal, Medha Atre · 2003 · 50 citations

Mathematical Programming, Local Dominance, Engineering +19

Fault collapsing via functional dominance

Vishwani D. Agrawal, A.V.S.S. Prasad, Medha Atre · 2004 · 43 citations

Circuit Complexity, Engineering, Computer Architecture +19

Rows per page

1–2 of 2