Concepedia

HoonSang Jin

HJ

Statistics

Publications

8

Citations

270

H-Index

8

Active since

2004

Affiliations

University of Colorado Boulder(Current)

Samsung (United States)

Cadence Design Systems (United States)

University of Colorado System

HoonSang Jin is an author at University of Colorado Boulder specializing in computer science, computing, and algorithms.

Publications per year

2004–2010

8

Publications

8

Fate and free will in error traces

HoonSang Jin, Kavita Ravi, Fabio Somenzi · International Journal on Software Tools for Technology Transfer · 2004 · 77 citations

Humanities, Mathematics, Fault Tolerance +4

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking

HoonSang Jin, Fabio Somenzi · Electronic Notes in Theoretical Computer Science · 2005 · 51 citations · Full text

Computing, Computer Science, Algorithms +8

Refining the SAT decision ordering for bounded model checking

Chao Wang, HoonSang Jin, Gary D. Hachtel et al. · 2004 · 40 citations

Computing, Computer Science, Algorithms +12

Prime clauses for fast enumeration of satisfying assignments to boolean circuits

HoonSang Jin, Fabio Somenzi · 2005 · 35 citations

Computing, Computer Engineering, Computer Science +12

Creation and utilization of a virtual platform for embedded software optimization:

Sungpack Hong, Sungjoo Yoo, Sheayun Lee et al. · 2006 · 28 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 8