Radha Jagadeesan

Identifiers

• name variant Radha Jagadeesan 0.60 · backfill

Papers (9)

1. Games for Dependent Types cs.LO · 2015 · author #2
2. Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency cs.PL · 2014 · author #1
3. Game Semantics for Access Control cs.LO · 2014 · author #2
4. A Game Semantics for Generic Polymorphism cs.LO · 2013 · author #2
5. Full Abstraction for PCF cs.LO · 2013 · author #2
6. Games and Full Completeness for Multiplicative Linear Logic cs.LO · 2013 · author #2
7. TCC, with History cs.PL · 2013 · author #2
8. Lambda-RBAC: Programming with Role-Based Access Control cs.PL · 2007 · author #1
9. Approximate reasoning for real-time probabilistic processes cs.LO · 2005 · author #2

Mentions

• 0712.1205 #1 · backfill · confidence 0.70 Radha Jagadeesan

Frequent Coauthors

• Samson Abramsky 5 shared papers
• James Riely 2 shared papers
• Vineet Gupta 2 shared papers
• Alan Jeffrey 1 shared papers
• Corin Pitcher 1 shared papers
• Matthijs V\'ak\'ar 1 shared papers
• Pasquale Malacaria 1 shared papers
• Prakash Panangaden 1 shared papers
• Vijay Saraswat 1 shared papers