Concepedia

Brayton

BR

Statistics

Publications

5

Citations

163

H-Index

5

Active since

1992

Affiliations

University of California, Berkeley(Current)

Brayton is an author at University of California, Berkeley specializing in computer engineering, algorithms, and computer science.

Publications per year

1992–1997

5

Publications

5

Reachability analysis using partitioned-ROBDDs

Narayan, Isles, Jain et al. · 1997 · 67 citations

Engineering, Computer Engineering, Computer Science +13

Graph algorithms for clock schedule optimization

Shenoy, Brayton, Sangiovanni-Vincentelli · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 49 citations

Engineering, Computer Engineering, Electrical Engineering +11

Valid clocking in wavepipelined circuits

Lam, Brayton, Sagiovanni-Vincentelli · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 24 citations

Engineering, Computer Engineering, Electrical Engineering +17

Negative thinking by incremental problem solving: application to unate covering

Goldberg, Carloni, Villa et al. · 1997 · 12 citations

Computing, Computer Science, Algorithms +15

Automatic compositional minimization in CTL model checking

Chiodo, Shiple, Sangiovanni-Vincentelli et al. · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 11 citations

Computing, Computer Engineering, Computer Science +15

1–5 of 5