Radha Jagadeesan
Radha Jagadeesan
소속을 알 수 없음
cs.depaul.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
5902000
Full abstraction for PCF
S Abramsky, R Jagadeesan, P Malacaria
Information and computation 163 (2), 409-470, 2000
5902000
Games and full completeness for multiplicative linear logic
S Abramsky, R Jagadeesan
Journal of symbolic logic, 543-574, 1994
4751994
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3312004
Modal transition systems: A foundation for three-valued program analysis
M Huth, R Jagadeesan, D Schmidt
European Symposium on Programming, 155-169, 2001
2712001
Full abstraction for PCF
S Abramsky, P Malacaria, R Jagadeesan
International Symposium on Theoretical Aspects of Computer Software, 1-15, 1994
2301994
Abstraction-based model checking using modal transition systems
P Godefroid, M Huth, R Jagadeesan
International Conference on Concurrency Theory, 426-440, 2001
2112001
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2021997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1861999
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
1852002
New foundations for the geometry of interaction
S Abramsky, R Jagadeesan
1801994
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
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1412003
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1371996
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
1292009
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
1102007
On the expressiveness of 3-valued models
P Godefroid, R Jagadeesan
International Workshop on Verification, Model Checking, and Abstract …, 2003
1032003
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
1002007
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
921998
Automatic abstraction using generalized model checking
P Godefroid, R Jagadeesan
International Conference on Computer Aided Verification, 137-151, 2002
902002
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20