Concepedia

Sangiovanni-Vincentelli

SA

Statistics

Publications

6

Citations

258

H-Index

6

Active since

1992

Affiliations

University of California, Berkeley(Current)

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

Publications per year

1992–1997

6

Publications

6

Logic synthesis for large pass transistor circuits

Buch, Narayan, Newton et al. · 1997 · 72 citations

Engineering, Computer Engineering, Computer Science +17

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

A unified signal transition graph model for asynchronous control circuit synthesis

Yakovlev, Lavagno, Sangiovanni-Vincentelli · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 47 citations

Engineering, Computer Science, 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

1–5 of 6