Hyeong-Ju Kang

Publications

385

Citations

H-Index

2001

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Hyeong-Ju Kang is an author at Korea Advanced Institute of Science and Technology specializing in engineering, computer engineering, and signal processing.

Top concepts

EngineeringComputer EngineeringComputer ScienceSignal ProcessingVerificationFormal MethodsSatisfiabilitySoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2001–2005

Publications

Digital filter synthesis based on minimal signed digit representation

In‐Cheol Park, Hyeong-Ju Kang · 2001 · 107 citations

Proper Msd Representation, Engineering, Filter Bank +10

FIR filter synthesis algorithms for minimizing the delay and the number of adders

Hyeong-Ju Kang, In‐Cheol Park · IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing · 2001 · 100 citations

Engineering, Delay Constraints, Filter Bank +12

Digital filter synthesis based on an algorithm to generate all minimal signed digit representations

In‐Cheol Park, Hyeong-Ju Kang · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 87 citations

Digital Audio, Engineering, Csd Representation +11

SAT-based unbounded symbolic model checking

Hyeong-Ju Kang, In‐Cheol Park · 2003 · 53 citations

Engineering, Automated Reasoning, Verification +13

SAT-based unbounded symbolic model checking

Hyeong-Ju Kang, In‐Cheol Park · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 23 citations

Decision Procedure, Engineering, Automated Reasoning +14

Rows per page

1–5 of 6