Login / Signup
Radha Jagadeesan
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 10
Top Topics
Consistency Checking
Access Control
Cooperative Game
Lambda Calculus
Top Venues
CoRR
ICALP (2)
Proc. ACM Program. Lang.
CSF
</>
Publications
</>