Author Info
Name
Affiliation
Papers
BRYAN BRADY
University of California, Berkeley, USA
3
Collaborators
Citations 
PageRank 
6
72
4.17
Referers 
Referees 
References 
136
96
48
Search Limit
100136
Title
Citations
PageRank
Year
Abstraction-based performance verification of NoCs40.382011
An abstraction-based decision procedure for bit-vector arithmetic120.702009
Deciding bit-vector arithmetic with abstraction563.092007