Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Radha Jagadeesan
Researcher
PaperBetween Linearizability and Quiescent Consistency: Quantitative Quiescent ConsistencyAuthorship / preprint / 2014PaperLambda-RBAC: Programming with Role-Based Access ControlAuthorship / preprint / 2008PaperA Game Semantics for Generic PolymorphismAuthorship / preprint / 2013PaperGames and Full Completeness for Multiplicative Linear LogicAuthorship / preprint / 2013PaperTCC, with HistoryAuthorship / preprint / 2013PaperFull Abstraction for PCFAuthorship / preprint / 2014PaperGame Semantics for Access ControlAuthorship / preprint / 2014PaperGames for Dependent TypesAuthorship / preprint / 2015