Jaeseo Lee

According to our database, Jaeseo Lee authored at least 8 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption.

Jaeseo Lee, Kyungmin Bae

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Electrification of CO₂ conversion into chemicals and fuels: Gaps and opportunities in process systems engineering.

Wonsuk Chung, Woohyun Jeong, Jaeseo Lee, Junehyeok Kim, Kosan Roh, Jay H. Lee

Comput. Chem. Eng., February, 2023

2022

Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT.

Jaeseo Lee, Sangki Kim, Kyungmin Bae

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2021

Triad of Split Learning: Privacy, Accuracy, and Performance.

Dongho Lee, Jaeseo Lee, Hyunsung Jun, Hongdeok Kim, Seehwan Yoo

Proceedings of the International Conference on Information and Communication Technology Convergence, 2021

2007

Evaluation of Fully-Integrated Switching Regulators for CMOS Process Technologies.

Jaeseo Lee, Geoff Hatcher, Lieven Vandenberghe, Chih-Kong Ken Yang

IEEE Trans. Very Large Scale Integr. Syst., 2007

2004

1-Gb/s 80-dBΩ fully differential CMOS transimpedance amplifier in multichip on oxide technology for optical interconnects.

Sung Min Park, Jaeseo Lee, Hoi-Jun Yoo

IEEE J. Solid State Circuits, 2004

Techniques for improving the accuracy of geometric-programming based analog circuit design optimization.

Jintae Kim, Jaeseo Lee, Lieven Vandenberghe

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2001

Design and implementation of CMOS LVDS 2.5 Gb/s transmitter and 1.3 Gb/s receiver for optical interconnections.

Jaeseo Lee, Jae-Won Lim, Sung-Jun Song, Sung-Sik Song, Wang-joo Lee, Hoi-Jun Yoo

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001