Concepedia

B. Plessier

BP

Statistics

Publications

9

Citations

549

H-Index

9

Active since

1993

Affiliations

University of Colorado Boulder(Current)

Motorola (United States)

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

Top concepts

EngineeringFormal MethodsComputer ScienceComputer EngineeringFormal VerificationComputational ComplexityVerificationCircuit ComplexityAutomated ReasoningData Science

Publications per year

1993–2005

9

Publications

9

Symmetry detection and dynamic variable ordering of decision diagrams

Shipra Panda, Fabio Somenzi, B. Plessier · International Conference on Computer Aided Design · 1994 · 128 citations

Engineering, Computational Complexity, Sifting Algorithm +16

ATPG aspects of FSM verification

H. Cho, Gary D. Hachtel, Seh-Woong Jeong et al. · 2002 · 122 citations

Circuit Complexity, Computational Complexity Theory, Engineering +22

Algorithms for approximate FSM traversal

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii et al. · 1993 · 86 citations

Computational Complexity Theory, Engineering, Information Retrieval +15

Algorithms for approximate FSM traversal based on state space decomposition

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

Circuit Complexity, Computational Complexity Theory, Engineering +19

Extended BDD's: trading off canonicity for structure in verification algorithms

Seh-Woong Jeong, B. Plessier, Gary D. Hachtel et al. · 2002 · 43 citations

Circuit Complexity, Engineering, Boolean Function +20

1–5 of 9