Concepedia

Fabio Somenzi

FS

Statistics

Publications

103

Citations

5K

H-Index

41

Active since

1984

Affiliations

University of Colorado Boulder(Current)

Polytechnic University of Turin

Cadence Design Systems (United States)

University of Colorado System

Motorola (United States)

Fabio Somenzi is an author at University of Colorado Boulder specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationComputational ComplexityAutomated ReasoningSystems EngineeringVerificationComputer Architecture

Publications per year

1984–2013

103

Publications

103

Algebraic decision diagrams and their applications

R. Iris Bahar, E.A. Frohm, Charles M. Gaona et al. · Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) · 2002 · 278 citations

Circuit Complexity, Engineering, Boolean Function +18

Algebraic Decision Diagrams and Their Applications

R. Iris Bahar, E.A. Frohm, Charles M. Gaona et al. · Formal Methods in System Design · 1997 · 256 citations

High-level power modeling, estimation, and optimization

Enrico Macii, Massoud Pedram, Fabio Somenzi · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 238 citations

Power Engineering, Vlsi Design, Engineering +20

Who are the variables in your neighbourhood

Shipra Panda, Fabio Somenzi · International Conference on Computer Aided Design · 1995 · 154 citations

Cpu Time, Engineering, Algorithm Configuration +20

Markovian analysis of large finite state machines

Gary D. Hachtel, Enrico Macii, Abelardo Pardo et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · 140 citations

Engineering, Verification, Steady-state Probabilities +18

1–5 of 103