| 2011 | DATE | Clause simplification through dominator analysis. | HyoJung Han, HoonSang Jin, Fabio Somenzi |
| 2009 | SAT | Efficient Term-ITE Conversion for Satisfiability Modulo Theories. | Hyondeuk Kim, Fabio Somenzi, HoonSang Jin |
| 2008 | CAV | Application of Formal Word-Level Analysis to Constrained Random Simulation. | Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi |
| 2006 | DATE | Strong conflict analysis for propositional satisfiability. | HoonSang Jin, Fabio Somenzi |
| 2006 | ICCAD | Runtime distribution-aware dynamic voltage scaling. | Sungpack Hong, Sungjoo Yoo, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo |
| 2005 | DAC | Prime clauses for fast enumeration of satisfying assignments to boolean circuits. | HoonSang Jin, Fabio Somenzi |
| 2005 | TACAS | Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. | HoonSang Jin, HyoJung Han, Fabio Somenzi |
| 2004 | CAV | CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. | HoonSang Jin, Mohammad Awedh, Fabio Somenzi |
| 2004 | DAC | Refining the SAT decision ordering for bounded model checking. | Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
| 2004 | SAT | CirCUs: A Hybrid Satisfiability Solver. | HoonSang Jin, Fabio Somenzi |
| 2004 | SAT | CirCUs: A Hybrid Satisfiability Solver. | HoonSang Jin, Fabio Somenzi |
| 2003 | ICCAD | Improving Ariadnes Bundle by Following Multiple Threads in Abstraction Refinement. | Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
| 2002 | TACAS | Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. | HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi |
| 2002 | TACAS | Fate and Free Will in Error Traces. | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
| 1999 | ISLPED | Dynamic power estimation using the probabilistic contribution measure (PCM). | HoonSang Jin, Myung-Soo Jang, Jin-Suk Song, Jin-Yong Lee, Taek-Soo Kim, Jeong-Taek Kong |