Jaeseo Lee

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 3

Top Topics

Bounded Model Checking

Top Venues

Comput. Chem. Eng.

Publications

Wonsuk Chung, Woohyun Jeong, Jaeseo Lee, Junehyeok Kim, Kosan Roh, Jay H. Lee
conversion into chemicals and fuels: Gaps and opportunities in process systems engineering. Comput. Chem. Eng. 170 (2023)
Jaeseo Lee, Sangki Kim, Kyungmin Bae
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. FTSCS (2022)
Dongho Lee, Jaeseo Lee, Hyunsung Jun, Hongdeok Kim, Seehwan Yoo
Triad of Split Learning: Privacy, Accuracy, and Performance. ICTC (2021)
Jaeseo Lee, Geoff Hatcher, Lieven Vandenberghe, Chih-Kong Ken Yang
Evaluation of Fully-Integrated Switching Regulators for CMOS Process Technologies. IEEE Trans. Very Large Scale Integr. Syst. 15 (9) (2007)
Sung Min Park, Jaeseo Lee, Hoi-Jun Yoo
1-Gb/s 80-dBΩ fully differential CMOS transimpedance amplifier in multichip on oxide technology for optical interconnects. IEEE J. Solid State Circuits 39 (6) (2004)
Jintae Kim, Jaeseo Lee, Lieven Vandenberghe
Techniques for improving the accuracy of geometric-programming based analog circuit design optimization. ICCAD (2004)
Jaeseo Lee, Geoff Hatcher, Lieven Vandenberghe, Chih-Kong Ken Yang
Evaluation of fully-integrated switching regulators for CMOS process technologies. SoC (2003)
Jaeseo Lee, Jae-Won Lim, Sung-Jun Song, Sung-Sik Song, Wang-joo Lee, Hoi-Jun Yoo
Design and implementation of CMOS LVDS 2.5 Gb/s transmitter and 1.3 Gb/s receiver for optical interconnections. ISCAS (4) (2001)