Papers

• Cheoljoo Jeong and Steven M. Nowick. Optimization for timing-robust asynchronous circuits based on eager evaluation. To be presented at International Workshop on Logic Synthesis (IWLS). 2007.
• Cheoljoo Jeong and Steven M. Nowick. Optimization of robust asynchronous circuits by local input completeness relaxation. In Proc. Asia and South Pacific Design Automation Conference (ASPDAC). pages 622-627, January 2007.
• Cheoljoo Jeong and Steven M. Nowick. Optimal technology Mapping and cell Merger for asynchronous threshold networks. In Proc. ACM/IEEE International Conference on Asynchronous Circuits (ASYNC), pages 128-137, March 2006.
• Cheoljoo Jeong and Steven M. Nowick. Technology mapping for robust asynchronous threshold networks. In Proc. ACM/IEEE International Workshop on Timing Issues (TAU), pages 22-27, February. 2006.
• Cheoljoo Jeong and Steven M. Nowick. Fast hazard detection in combinational circuits. In Proc. Annual ACM/IEEE Design Automation Conference (DAC). pages 592-595, 2004.
• Cheoljoo Jeong and Sangduk Lee. Implementing software connectors through first-class methods. In Proc. IEEE Conference on System, Man, and Cybernetics. pages 92-96, 2000.
• Cheoljoo Jeong and Sangduck Lee. An object-oriented framework for distributed software systems based on CORBA. In Proc. Korea Information Processing Society Spring Conference. April 2000.
• Cheoljoo Jeong, Kangho Kim, and Youngbae Oh. Towards design and implementation of extensible software systems. In Proc. IASTED Conference on Software Engineering and Applications. October 1999.
• Cheoljoo Jeong, Kangho Kim, and Youngbae Oh. SR5: A software components repository supporting enhanced classification methods. In Proc. IASTED International Conference on Applied Informatics (AI). Feburary 1999.
• Cheoljoo Jeong, Youngbae Oh, and Heungnam Kim. A faster parallel implementation of Kanellakis-Smolka algorithm for bisimilarity checking. In Proc. International Computer Symposium. pages 45-60, December 1998.
• Jaeyoun Jung, Youngeung Kim, Yeondae Chung, Cheoljoo Jeong, and Sungun Kim. A model checking tool for verifiying LTS specifications. In Proc. International Conference on Information Networking (ICOIN). pages 539-543, January 1998.
• Chulhong Kim, Kangho Kim, Cheoljoo Jeong, and Youngbae Oh. Automatic generation of C++ programs from LOTOS behavioral specifications. In Proc. Asia-Pacific Software Engineering Conference (APSEC). pages 56-60, 1998.
• Cheoljoo Jeong et al. TIV: A toolset for interactive verification of Basic LOTOS specifications. In Proc. International Conference on Advanced Computing. pages 97-102, December 1997.
• Cheoljoo Jeong, Wonkyu Park, and Yeondae Chung. Bisimilarity checking based on Ehrenfeucht-Fraisse games. In Proc. Korea Information Processing Society Spring Conference. pages 619-622, April 1997.
• Seonghoi Kim, Kihyun Kwon, Cheoljoo Jeong, and Yeondae Chung. Automatic verification of algebraic specifications using a theorem prover. In Proc. Korea Information Science Society Conference on Aritificial Intelligence. 1997.
• Dongsu Seo, Cheoljoo Jeong, and Changkap Kim. CASE integration using CORBA. In Proc. Korea Information Science Society Fall Conference. pages 1293-1297, October 1995.

Miscellaneous

• Cheoljoo Jeong. Combinatorics of The SADARI game.