Concepedia

Seh-Woong Jeong

SJ

Statistics

Publications

19

Citations

630

H-Index

15

Active since

1992

Affiliations

Samsung (South Korea)(Current)

University of Colorado Boulder

Pohang University of Science and Technology

Mitsubishi Electric (United States)

Yonsei University

Seh-Woong Jeong is an author at Samsung (South Korea) specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceParallel ComputingComputer ArchitectureSystems EngineeringFormal MethodsFormal VerificationComputational ComplexityParallel Programming

Publications per year

1992–2009

19

Publications

19

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

Synchronizing sequences and symbolic traversal techniques in test generation

Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi et al. · Journal of Electronic Testing · 1993 · 77 citations

Engineering, Program Analysis, Software Testing +11

Exact calculation of synchronization sequences based on binary decision diagrams

Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel · Design Automation Conference · 1992 · 48 citations

Engineering, Computer Architecture, Computational Complexity +18

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

Variable ordering and selection of FSM traversal

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

Computational Complexity Theory, Engineering, Reachability Problem +20

1–5 of 19