We stand with Ukraine  

Yeonseok Lee

Orcid: 0009-0004-6153-0205

According to our database1, Yeonseok Lee authored at least 6 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic.
[BibTeX]
[DOI]
Yeonseok Lee
CoRR, May, 2026

Separation Logic for Verifying Physical Collisions of CNC Programs.
[BibTeX]
[DOI]
Yeonseok Lee
CoRR, May, 2026

2025
Incorrectness Separation Logic with Arrays and Pointer Arithmetic.
[BibTeX]
[DOI]
Yeonseok Lee
,
Koji Nakazawa
J. Inf. Process., 2025

DVSMOT: Dual View Sharing for Enhanced Multi-Object Tracking and ID Switch Reduction.
[BibTeX]
[DOI]
Heon Jun Shin
,
Joohyung Oh
,
Woo-Seok Choi
,
Joong Hun Cho
,
Yeonseok Lee
,
Tae-Kyung Kim
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

Proposing a business model analysis framework for IoT Bigdata.
[BibTeX]
[DOI]
Junghwan Lee
,
Yeonseok Lee
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

2024
Relative Completeness of Incorrectness Separation Logic.
[BibTeX]
[DOI]
Yeonseok Lee
,
Koji Nakazawa
Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024


  Loading...