HoonSang Jin

发表

Sungpack Hong, Sungjoo Yoo, Jeong-Taek Kong, 2006, ICCAD.
Fabio Somenzi, HoonSang Jin, 2005, Proceedings. 42nd Design Automation Conference, 2005..
Fabio Somenzi, HoonSang Jin, Andreas Kuehlmann, 2002, TACAS.
Fabio Somenzi, HoonSang Jin, F. Somenzi, 2005, Electron. Notes Theor. Comput. Sci..
Fabio Somenzi, HoonSang Jin, HyoJung Han, 2011, 2011 Design, Automation & Test in Europe.
Chao Wang, Bing Li, Fabio Somenzi, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Fabio Somenzi, HoonSang Jin, Mohammad Awedh, 2004, CAV.
Fabio Somenzi, HoonSang Jin, Hyondeuk Kim, 2009, SAT.
Fabio Somenzi, HoonSang Jin, Hyondeuk Kim, 2007, J. Satisf. Boolean Model. Comput..
Kavita Ravi, Fabio Somenzi, HoonSang Jin, 2004, International Journal on Software Tools for Technology Transfer.
Sangwoo Lee, Sungpack Hong, Sungjoo Yoo, 2006, Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '06).
Fabio Somenzi, HoonSang Jin, HyoJung Han, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Fabio Somenzi, HoonSang Jin, F. Somenzi, 2004, SAT.
Fabio Somenzi, Gary D. Hachtel, HoonSang Jin, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Robert P. Kurshan, Kavita Ravi, Fabio Somenzi, 2008, CAV.
Chao Wang, Bing Li, Fabio Somenzi, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jeong-Taek Kong, HoonSang Jin, Myung-Soo Jang, 1999, ISLPED '99.
Kavita Ravi, Fabio Somenzi, HoonSang Jin, 2004, International Journal on Software Tools for Technology Transfer.
Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2004, Proceedings. 41st Design Automation Conference, 2004..
Fabio Somenzi, HoonSang Jin, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Bing Li, HoonSang Jin, F. Somenzi, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).