dblp.uni-trier.dewww.uni-trier.de

Radha Jagadeesan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
64EERadha Jagadeesan: From Authorization Logics to Types for Authorization. APLAS 2008: 255
63EEAndrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely: Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). ESOP 2008: 208-223
2007
62EERadha Jagadeesan, Corin Pitcher, James Riely: Open bisimulation for aspects. AOSD 2007: 107-120
61EEAndrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely: Do As I SaY! Programmatic Access Control with Explicit Identities. CSF 2007: 16-30
60EERadha Jagadeesan: Formal Foundations for Aspects. FoSSaCS 2007: 1
59EEVijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun: A theory of memory models. PPOPP 2007: 161-172
58EEBin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher: Specifications of a high-level conflict-free firewall policy language for multi-domain networks. SACMAT 2007: 185-194
57EERadha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Lambda-RBAC: Programming with Role-Based Access Control CoRR abs/0712.1205: (2007)
2006
56EEKrishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher: Games for Controls. CSFW 2006: 70-84
55EERadha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: lambda-RBAC: Programming with Role-Based Access Control. ICALP (2) 2006: 456-467
54EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science 2(1): (2006)
53EERadha Jagadeesan, Alan Jeffrey, James Riely: Typed parametric polymorphism for aspects. Sci. Comput. Program. 63(3): 267-296 (2006)
2005
52EEVijay A. Saraswat, Radha Jagadeesan: Concurrent Clustered Programming. CONCUR 2005: 353-367
51EERadha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat: Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS 2005: 517-528
50EERadha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175
49EESamson Abramsky, Radha Jagadeesan: A game semantics for generic polymorphism. Ann. Pure Appl. Logic 133(1-3): 3-37 (2005)
48EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes CoRR abs/cs/0505063: (2005)
2004
47EEGlenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely: µABC: A Minimal Aspect Calculus. CONCUR 2004: 209-224
46EELuca de Alfaro, Patrice Godefroid, Radha Jagadeesan: Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179
45EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313
44EEMichael Huth, Radha Jagadeesan, David A. Schmidt: A domain equation for refinement of partial systems. Mathematical Structures in Computer Science 14(4): 469-505 (2004)
43EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
2003
42EERadha Jagadeesan, Alan Jeffrey, James Riely: A Calculus of Untyped Aspect-Oriented Programs. ECOOP 2003: 54-73
41EEVijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170
40EESamson Abramsky, Radha Jagadeesan: A Game Semantics for Generic Polymorphism. FoSSaCS 2003: 1-22
39EEPatrice Godefroid, Radha Jagadeesan: On the Expressiveness of 3-Valued Models. VMCAI 2003: 206-222
38EEErich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno: LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003)
37EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
2002
36EEPatrice Godefroid, Radha Jagadeesan: Automatic Abstraction Using Generalized Model Checking. CAV 2002: 137-150
35EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
34EEJosee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
33EEVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002)
2001
32EEPatrice Godefroid, Michael Huth, Radha Jagadeesan: Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR 2001: 426-440
31EEMichael Huth, Radha Jagadeesan, David A. Schmidt: Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP 2001: 155-169
2000
30EEVineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer: A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP 2000: 202-217
29EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
28EEPatrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer: Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49
27 Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria: Full Abstraction for PCF. Inf. Comput. 163(2): 409-470 (2000)
1999
26EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
25EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Stochastic Processes as Concurrent Constraint Programs. POPL 1999: 189-202
1998
24EEChristopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS 1998: 131-149
23EEChristopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL 1998: 58-67
22EEChristopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: The Semantics of Triveni: A Process-Algebraic API for Threads + Events. Electr. Notes Theor. Comput. Sci. 14: (1998)
21 Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998)
1997
20 Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Probabilistic Concurrent Constraint Programming. CONCUR 1997: 243-257
19 Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan: Robust Timed Automata. HART 1997: 331-345
1996
18 Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly Concurrent Constraint Programming. CONCUR 1996: 373-388
17 Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Models for Concurrent Constraint Programming. CONCUR 1996: 66-83
16 Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22(5/6): 475-520 (1996)
1995
15 Lalita Jategaonkar Jagadeesan, Radha Jagadeesan: Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). AMAST 1995: 277-291
14 Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63
13 Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Default Timed Concurrent Constraint Programming. POPL 1995: 272-285
1994
12 Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow: Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251
11 Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Foundations of Timed Concurrent Constraint Programming LICS 1994: 71-80
10 Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan: Full Abstraction for PCF. TACS 1994: 1-15
9 Samson Abramsky, Radha Jagadeesan: New Foundations for the Geometry of Interaction Inf. Comput. 111(1): 53-119 (1994)
8 Samson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic. J. Symb. Log. 59(2): 543-574 (1994)
1992
7 Samson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract). FSTTCS 1992: 291-301
6 Samson Abramsky, Radha Jagadeesan: New Foundations for the Geometry of Interaction LICS 1992: 211-222
5 Radha Jagadeesan, Keshav Pingali: Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL 1992: 355-366
1991
4EERadha Jagadeesan, Keshav Pingali, Prakash Panangaden: A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. ACM Trans. Program. Lang. Syst. 13(4): 577-625 (1991)
1990
3 Radha Jagadeesan, Prakash Panangaden: A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP 1990: 181-194
1989
2 Radha Jagadeesan, Prakash Panangaden, Keshav Pingali: A Fully Abstract Semantics for a Functional Language with Logic Variables LICS 1989: 294-303
1 Radha Jagadeesan: L-domains and Lossless Powerdomains. Mathematical Foundations of Programming Semantics 1989: 364-372

Coauthor Index

1Samson Abramsky [6] [7] [8] [9] [10] [27] [40] [49]
2Ehab Al-Shaer (Ehab S. Al-Shaer) [58]
3Luca de Alfaro [46]
4Daniel G. Bobrow [12]
5Glenn Bruns [47]
6Krishnendu Chatterjee [56]
7Andrew Cirillo [61] [63]
8Christopher Colby [22] [23] [24]
9Josée Desharnais (Josee Desharnais) [26] [29] [34] [35] [37] [43]
10Patrice Godefroid [28] [32] [36] [39] [46]
11Erich Grädel [38]
12Vineet Gupta [11] [12] [13] [14] [16] [17] [18] [19] [20] [21] [25] [26] [29] [30] [33] [34] [35] [37] [41] [43] [45] [48] [54]
13Joseph Y. Halpern [38]
14Thomas A. Henzinger [19]
15Michael Huth [31] [32] [44]
16Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar) [15] [22] [23] [24] [28] [30]
17Alan Jeffrey [42] [47] [53] [55] [57]
18Xiaowei Jiang [30]
19Konstantin Läufer [22] [23] [24] [28] [30]
20Pasquale Malacaria [10] [27]
21Will Marrero [50]
22Maged M. Michael [59]
23Gopalan Nadathur [51]
24Prakash Panangaden [2] [3] [4] [25] [26] [29] [34] [35] [37] [43] [45] [48] [54]
25Keshav Pingali [2] [4] [5]
26Adolfo Piperno [38]
27Corin Pitcher [50] [55] [56] [57] [58] [61] [62] [63]
28Christoph von Praun [59]
29Carlos Puchol [22] [23] [24]
30James Riely [42] [47] [53] [55] [57] [58] [61] [62] [63]
31Vijay A. Saraswat [11] [12] [13] [14] [16] [17] [18] [20] [21] [33] [41] [50] [51] [52] [59]
32David A. Schmidt [31] [44]
33Bin Zhang [58]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)