Login
中文
Fabio Somenzi
HIndex: 26
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Combinational logic
Finite-state machine
Electronic design automation
Data structure
Computer hardware
Influence diagram
Algorithm design
Robustness
Formal verification
Model checking
Binary decision diagram
Theory of computation
Sequential logic
Logic gate
Logic
Computational model
Boolean satisfiability problem
Functional verification
Automaton
Engineering
Boolean function
Logic synthesis
Satisfiability
Integrated circuit
State space
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Combinational logic
Finite-state machine
Electronic design automation
Data structure
Computer hardware
Influence diagram
Algorithm design
Robustness
Formal verification
Model checking
Binary decision diagram
Theory of computation
Sequential logic
Logic gate
Logic
Computational model
Boolean satisfiability problem
Functional verification
Automaton
Engineering
Boolean function
Logic synthesis
Satisfiability
Integrated circuit
State space
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Fabio Somenzi
Atomic Energy Of Canada Limited
191
Fabio Somenzi
University Of California San Diego
18
×
Share to your followers
Submit