Segui
Radha Jagadeesan
Radha Jagadeesan
Professor. School of Computing.
Email verificata su depaul.edu - Home page
Titolo
Citata da
Citata da
Anno
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
6642000
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
The Journal of Symbolic Logic 59 (2), 543-574, 1994
4961994
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3972004
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
2852001
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994
2431994
Abstraction-based model checking using modal transition systems
P Godefroid, M Huth, R Jagadeesan
International conference on concurrency theory, 426-440, 2001
2172001
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2141997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
2081999
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
1972002
New foundations for the geometry of interaction
S Abramsky, R Jagadeesan
1961994
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
1871994
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1511996
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
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
1172007
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
1142007
On the expressiveness of 3-valued models
P Godefroid, R Jagadeesan
International Workshop on Verification, Model Checking, and Abstract …, 2002
1082002
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
941998
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
International Conference on Foundations of Software Technology and …, 1992
921992
Automatic abstraction using generalized model checking
P Godefroid, R Jagadeesan
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
912002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20