Jaeseo Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAS | Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. | Jaeseo Lee, Kyungmin Bae |
| 2024 | FM | Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption. | Jaeseo Lee, Kyungmin Bae |
| 2004 | ICCAD | Techniques for improving the accuracy of geometric-programming based analog circuit design optimization. | Jintae Kim, Jaeseo Lee, Lieven Vandenberghe |
| 2001 | ISCAS | 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 |