Login / Signup
Yiyun Liu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 9
Top Topics
Formal Models
Security Patterns
Human Visual Perception
Predicate Calculus
Top Venues
Proc. ACM Program. Lang.
CoRR
CSF
Briefings Bioinform.
</>
Publications
</>