Relative Completeness of Incorrectness Separation Logic. - Yeonseok Lee; Koji Nakazawa (APLAS, 2024)

Proposing a business model analysis framework for IoT Bigdata. - Junghwan Lee; Yeonseok Lee (BigComp, 2025)

DVSMOT: Dual View Sharing for Enhanced Multi-Object Tracking and ID Switch Reduction. - Heon Jun Shin; Joohyung Oh; Woo-Seok Choi; Joong Hun Cho; Yeonseok Lee; Tae-Kyung Kim (BigComp, 2025)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic. - Yeonseok Lee; Koji Nakazawa (CoRR, 2025)