Login / Signup
Ramana Nagasamudram
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 10
Top Topics
Linearly Ordered
Relational Data
Coordination Mechanism
Image Alignment
Top Venues
CoRR
Proc. ACM Program. Lang.
LICS
ACM Trans. Program. Lang. Syst.
</>
Publications
</>