Radha Jagadeesan
Radha Jagadeesan
Unknown affiliation
Verified email at cs.depaul.edu - Homepage
Title
Cited by
Cited by
Year
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
arXiv preprint arXiv:1311.6125, 2013
5602013
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
arXiv preprint arXiv:1311.6125, 2013
5602013
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
The Journal of Symbolic Logic 59 (2), 543-574, 1994
4571994
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3072004
Modal transition systems: A foundation for three-valued program analysis
M Huth, R Jagadeesan, D Schmidt
European Symposium on Programming, 155-169, 2001
2632001
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
International Symposium on Theoretical Aspects of Computer Software, 1-15, 1994
2271994
Abstraction-based model checking using modal transition systems
P Godefroid, M Huth, R Jagadeesan
International Conference on Concurrency Theory, 426-440, 2001
2042001
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
1931997
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
1822002
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
1771994
New foundations for the geometry of interaction
S Abramsky, R Jagadeesan
1771994
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1741999
Timed default concurrent constraint programming
V Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1391996
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1322003
Towards a theory of accountability and audit
R Jagadeesan, A Jeffrey, C Pitcher, J Riely
European Symposium on Research in Computer Security, 152-167, 2009
1222009
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
1082007
On the expressiveness of 3-valued models
P Godefroid, R Jagadeesan
International Workshop on Verification, Model Checking, and Abstract …, 2003
952003
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
901998
Automatic abstraction using generalized model checking
P Godefroid, R Jagadeesan
International Conference on Computer Aided Verification, 137-151, 2002
882002
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
872007
The system can't perform the operation now. Try again later.
Articles 1–20