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.
CoRR, May, 2026

Separation Logic for Verifying Physical Collisions of CNC Programs.
CoRR, May, 2026

2025
Incorrectness Separation Logic with Arrays and Pointer Arithmetic.
J. Inf. Process., 2025

DVSMOT: Dual View Sharing for Enhanced Multi-Object Tracking and ID Switch Reduction.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

Proposing a business model analysis framework for IoT Bigdata.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

2024
Relative Completeness of Incorrectness Separation Logic.
Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024


  Loading...