Login / Signup
Yi-Shan Lu
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 5
Top Topics
Proof Theory
Asynchronous Circuits
Coarse Grain
Deontic Logic
Top Venues
IEEE Des. Test
HPEC
Games
ICCAD
</>
Publications
</>