Concepedia

Radha Jagadeesan

RJ

Statistics

Publications

33

Citations

2.2K

H-Index

24

Active since

1991

Affiliations

DePaul University(Current)

Loyola University Chicago

McGill University

Palo Alto Research Center

Université Laval

Radha Jagadeesan is an author at DePaul University specializing in computer science, computing, and programming languages.

Publications per year

1991–2020

33

Publications

33

Games and full completeness for multiplicative linear logic

Samson Abramsky, Radha Jagadeesan · Journal of Symbolic Logic · 1994 · 381 citations

, , +11

Metrics for labelled Markov processes

Josée Desharnais, Vineet Gupta, Radha Jagadeesan et al. · Theoretical Computer Science · 2003 · 309 citations

, , +4

The metric analogue of weak bisimulation for probabilistic processes

Josée Desharnais, Radha Jagadeesan, Vineet Gupta et al. · 2003 · 160 citations

, , +11

Foundations of timed concurrent constraint programming

Vijay Saraswat, Radha Jagadeesan, Vineet Gupta · 2002 · 136 citations

, , +16

Timed Default Concurrent Constraint Programming

Vijay Saraswat, Radha Jagadeesan, Vineet Gupta · Journal of Symbolic Computation · 1996 · 116 citations

, , +7

1–5 of 33