Radha Jagadeesan

Available identifiers

zbMath Open jagadeesan.radhaMaRDI QIDQ596028

List of research outcomes

Publication	Date of Publication	Type
Models for concurrent constraint programming	2023-06-28	Paper
Truly concurrent constraint programming	2023-06-28	Paper
Probabilistic concurrent constraint programming	2023-05-17	Paper
Causality and true concurrency: A data-flow analysis of the Pi-Calculus	2022-08-16	Paper
On abstraction and compositionality for weak-memory linearisability	2020-07-07	Paper
Eventual consistency for CRDTs	2019-09-13	Paper
Game semantics for dependent types	2018-06-14	Paper
An extensible approach to session polymorphism	2016-07-28	Paper
Game Semantics for Access Control	2016-05-10	Paper
Games for Dependent Types	2015-11-04	Paper
From Sequential Specifications to Eventual Consistency	2015-11-04	Paper
Noninterference for Intuitionist Necessity	2015-01-06	Paper
Between Linearizability and Quiescent Consistency	2014-07-01	Paper
TCC, with History	2014-06-02	Paper
Quarantining Weakness	2013-08-05	Paper
Brookes Is Relaxed, Almost!	2012-06-22	Paper
Generative Operational Semantics for Relaxed Memory Models	2010-05-04	Paper
Weak bisimulation is sound and complete for pCTL\(^*\)	2010-02-26	Paper
Open Bisimulation for Aspects	2009-06-30	Paper
Lambda-RBAC: Programming with Role-Based Access Control	2008-08-07	Paper
Approximate reasoning for real-time probabilistic processes	2007-10-11	Paper
λ-RBAC: Programming with Role-Based Access Control	2007-09-11	Paper
Typed parametric polymorphism for aspects	2006-12-14	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
A game semantics for generic polymorphism	2005-04-21	Paper
A domain equation for refinement of partial systems	2004-09-24	Paper
Metrics for labelled Markov processes	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4473027	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417848	2003-07-30	Paper
Approximating labelled Markov processes	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4414390	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4484498	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4804892	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791848	2003-02-03	Paper
Full abstraction for PCF	2003-01-14	Paper
Truly concurrent constraint programming	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2763694	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4312468	2000-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4490717	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4270063	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4256645	1999-08-08	Paper
Sisl: Several interfaces, single logic	1999-01-01	Paper
Computing with continuous change	1998-07-19	Paper
Timed default concurrent constraint programming	1997-04-22	Paper
Games and full completeness for multiplicative linear logic	1994-08-15	Paper
New foundations for the geometry of interaction	1994-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4038691	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3204053	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Radha Jagadeesan