Follow
Radha Jagadeesan
Radha Jagadeesan
Professor. School of Computing.
Verified email at depaul.edu - Homepage
Title
Cited by
Cited by
Year
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
6762000
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
The Journal of Symbolic Logic 59 (2), 543-574, 1994
5071994
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
4032004
Modal transition systems: A foundation for three-valued program analysis
M Huth, R Jagadeesan, D Schmidt
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
2882001
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994
2491994
Abstraction-based model checking using modal transition systems
P Godefroid, M Huth, R Jagadeesan
International conference on concurrency theory, 426-440, 2001
2202001
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2171997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
2111999
The metric analogue of weak bisimulation for probabilistic processes
J Desharnais, R Jagadeesan, V Gupta, P Panangaden
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 413-422, 2002
2052002
New foundations for the geometry of interaction
S Abramsky, R Jagadeesan
1971994
Foundations of timed concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 71-80, 1994
1881994
Towards a theory of accountability and audit
R Jagadeesan, A Jeffrey, C Pitcher, J Riely
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1492009
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1471996
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1442003
A theory of memory models
VA Saraswat, R Jagadeesan, M Michael, C Von Praun
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007
1202007
Specifications of a high-level conflict-free firewall policy language for multi-domain networks
B Zhang, E Al-Shaer, R Jagadeesan, J Riely, C Pitcher
Proceedings of the 12th ACM symposium on Access control models and …, 2007
1152007
On the expressiveness of 3-valued models
P Godefroid, R Jagadeesan
International Workshop on Verification, Model Checking, and Abstract …, 2002
1092002
Automatic abstraction using generalized model checking
P Godefroid, R Jagadeesan
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
972002
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
961998
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
International Conference on Foundations of Software Technology and …, 1992
931992
The system can't perform the operation now. Try again later.
Articles 1–20