HoonSang Jin

	2009
19		Hyondeuk Kim, Fabio Somenzi, HoonSang Jin: Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT 2009: 195-208
	2008
18		Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi: Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490
	2007
17		Hyondeuk Kim, HoonSang Jin, Fabio Somenzi: Disequality Management in Integer Difference Logic via Finite Instantiations. JSAT 3(1-2): 47-66 (2007)
	2006
16		Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo Lee, Hye Jeong Nam, Bum-Seok Yoo, Jaehyung Hwang, Donghyun Song, Janghwan Kim, Jeongeun Kim, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo: Creation and utilization of a virtual platform for embedded software optimization: : an industrial case study. CODES+ISSS 2006: 235-240
15		HoonSang Jin, Fabio Somenzi: Strong conflict analysis for propositional satisfiability. DATE 2006: 818-823
14		Sungpack Hong, Sungjoo Yoo, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo: Runtime distribution-aware dynamic voltage scaling. ICCAD 2006: 587-594
13		Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006)
	2005
12		HoonSang Jin, Fabio Somenzi: Prime clauses for fast enumeration of satisfying assignments to boolean circuits. DAC 2005: 750-753
11		HoonSang Jin, HyoJung Han, Fabio Somenzi: Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS 2005: 287-300
10		HoonSang Jin, Fabio Somenzi: An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 119(2): 51-65 (2005)
	2004
9		HoonSang Jin, Mohammad Awedh, Fabio Somenzi: CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV 2004: 519-522
8		Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538
7		HoonSang Jin, Fabio Somenzi: CirCUs: A Hybrid Satisfiability Solver. SAT 2004
6		HoonSang Jin, Fabio Somenzi: CirCUs: A Hybrid Satisfiability Solver. SAT (Selected Papers 2004: 211-223
5		HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and free will in error traces. STTT 6(2): 102-116 (2004)
	2003
4		Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415
	2002
3		HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326
2		HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and Free Will in Error Traces. TACAS 2002: 445-459
	1999
1		HoonSang Jin, Myung-Soo Jang, Jin-Suk Song, Jin-Yong Lee, Taek-Soo Kim, Jeong-Taek Kong: Dynamic power estimation using the probabilistic contribution measure (PCM). ISLPED 1999: 279-281

Coauthor Index

1	Mohammad Awedh	[9]
2	Kyu-Myung Choi	[14] [16]
3	Soo-Kwan Eo	[14] [16]
4	Gary D. Hachtel	[4] [8] [13]
5	HyoJung Han	[11]
6	Sungpack Hong	[14] [16]
7	Jaehyung Hwang	[16]
8	Myung-Soo Jang	[1]
9	Hyondeuk Kim	[17] [18] [19]
10	Janghwan Kim	[16]
11	Jeongeun Kim	[16]
12	Taek-Soo Kim	[1]
13	Jeong-Taek Kong	[1] [14] [16]
14	Andreas Kuehlmann	[3]
15	Robert P. Kurshan	[18]
16	Jin-Yong Lee	[1]
17	Sangwoo Lee	[16]
18	Sheayun Lee	[16]
19	Bing Li	[4] [13]
20	Hye Jeong Nam	[16]
21	John Pierce	[18]
22	Kavita Ravi	[2] [5] [18]
23	Fabio Somenzi	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [17] [18] [19]
24	Donghyun Song	[16]
25	Jin-Suk Song	[1]
26	Petr Spacek	[18]
27	Chao Wang	[4] [8] [13]
28	Bum-Seok Yoo	[16]
29	Sungjoo Yoo	[14] [16]

Colors in the list of coauthors