Login / Signup
Kent Lee
ORCID
Publication Activity (10 Years)
Years Active: 2003-2023
Publications (10 Years): 1
Top Topics
Databases
Case Study
Search Space
Supply Chain
Top Venues
SC Workshops
</>
Publications
</>
Nick Radcliffe
,
Kent Lee
,
Pete Mendygral
Dragon Proxy Runtimes and Multi-system Workflows.
SC Workshops
(2023)
Kent Lee
A Formally Verified Register Allocation Framework.
Electron. Notes Theor. Comput. Sci.
82 (3) (2003)