 | 2009 |
|---|
| 66 |       | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Towards a Theory of Accountability and Audit.
ESORICS 2009: 152-167 |
| 2008 |
|---|
| 65 | | Radha Jagadeesan:
From Authorization Logics to Types for Authorization.
APLAS 2008: 255 |
| 64 | | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).
ESOP 2008: 208-223 |
| 63 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control.
Logical Methods in Computer Science 4(1): (2008) |
| 2007 |
|---|
| 62 | | Radha Jagadeesan,
Corin Pitcher,
James Riely:
Open bisimulation for aspects.
AOSD 2007: 107-120 |
| 61 | | Andrew Cirillo,
Radha Jagadeesan,
Corin Pitcher,
James Riely:
Do As I SaY! Programmatic Access Control with Explicit Identities.
CSF 2007: 16-30 |
| 60 | | Radha Jagadeesan:
Formal Foundations for Aspects.
FoSSaCS 2007: 1 |
| 59 | | Vijay A. Saraswat,
Radha Jagadeesan,
Maged M. Michael,
Christoph von Praun:
A theory of memory models.
PPOPP 2007: 161-172 |
| 58 | | Bin 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 |
| 57 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
Lambda-RBAC: Programming with Role-Based Access Control
CoRR abs/0712.1205: (2007) |
| 2006 |
|---|
| 56 | | Krishnendu Chatterjee,
Radha Jagadeesan,
Corin Pitcher:
Games for Controls.
CSFW 2006: 70-84 |
| 55 | | Radha Jagadeesan,
Alan Jeffrey,
Corin Pitcher,
James Riely:
lambda-RBAC: Programming with Role-Based Access Control.
ICALP (2) 2006: 456-467 |
| 54 | | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes.
Logical Methods in Computer Science 2(1): (2006) |
| 53 | | Radha Jagadeesan,
Alan Jeffrey,
James Riely:
Typed parametric polymorphism for aspects.
Sci. Comput. Program. 63(3): 267-296 (2006) |
| 2005 |
|---|
| 52 | | Vijay A. Saraswat,
Radha Jagadeesan:
Concurrent Clustered Programming.
CONCUR 2005: 353-367 |
| 51 | | Radha Jagadeesan,
Gopalan Nadathur,
Vijay A. Saraswat:
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.
FSTTCS 2005: 517-528 |
| 50 | | Radha Jagadeesan,
Will Marrero,
Corin Pitcher,
Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control.
PPDP 2005: 164-175 |
| 49 | | Samson Abramsky,
Radha Jagadeesan:
A game semantics for generic polymorphism.
Ann. Pure Appl. Logic 133(1-3): 3-37 (2005) |
| 48 | | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes
CoRR abs/cs/0505063: (2005) |
| 2004 |
|---|
| 47 | | Glenn Bruns,
Radha Jagadeesan,
Alan Jeffrey,
James Riely:
µABC: A Minimal Aspect Calculus.
CONCUR 2004: 209-224 |
| 46 | | Luca de Alfaro,
Patrice Godefroid,
Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision.
LICS 2004: 170-179 |
| 45 | | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes.
QEST 2004: 304-313 |
| 44 | | Michael Huth,
Radha Jagadeesan,
David A. Schmidt:
A domain equation for refinement of partial systems.
Mathematical Structures in Computer Science 14(4): 469-505 (2004) |
| 43 | | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Metrics for labelled Markov processes.
Theor. Comput. Sci. 318(3): 323-354 (2004) |
| 2003 |
|---|
| 42 | | Radha Jagadeesan,
Alan Jeffrey,
James Riely:
A Calculus of Untyped Aspect-Oriented Programs.
ECOOP 2003: 54-73 |
| 41 | | Vijay A. Saraswat,
Radha Jagadeesan,
Vineet Gupta:
jcc: Integrating Timed Default Concurrent Constraint Programming into Java.
EPIA 2003: 156-170 |
| 40 | | Samson Abramsky,
Radha Jagadeesan:
A Game Semantics for Generic Polymorphism.
FoSSaCS 2003: 1-22 |
| 39 | | Patrice Godefroid,
Radha Jagadeesan:
On the Expressiveness of 3-Valued Models.
VMCAI 2003: 206-222 |
| 38 | | Erich Grädel,
Joseph Y. Halpern,
Radha Jagadeesan,
Adolfo Piperno:
LICS 2001 special issue.
ACM Trans. Comput. Log. 4(3): 295 (2003) |
| 37 | | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximating labelled Markov processes.
Inf. Comput. 184(1): 160-200 (2003) |
| 2002 |
|---|
| 36 | | Patrice Godefroid,
Radha Jagadeesan:
Automatic Abstraction Using Generalized Model Checking.
CAV 2002: 137-150 |
| 35 | | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Weak Bisimulation is Sound and Complete for PCTL*.
CONCUR 2002: 355-370 |
| 34 | | Josee Desharnais,
Radha Jagadeesan,
Vineet Gupta,
Prakash Panangaden:
The Metric Analogue of Weak Bisimulation for Probabilistic Processes.
LICS 2002: 413-422 |
| 33 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Truly concurrent constraint programming.
Theor. Comput. Sci. 278(1-2): 223-255 (2002) |
| 2001 |
|---|
| 32 | | Patrice Godefroid,
Michael Huth,
Radha Jagadeesan:
Abstraction-Based Model Checking Using Modal Transition Systems.
CONCUR 2001: 426-440 |
| 31 | | Michael Huth,
Radha Jagadeesan,
David A. Schmidt:
Modal Transition Systems: A Foundation for Three-Valued Program Analysis.
ESOP 2001: 155-169 |
| 2000 |
|---|
| 30 | | Vineet Gupta,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Xiaowei Jiang,
Konstantin Läufer:
A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
CP 2000: 202-217 |
| 29 | | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximating Labeled Markov Processes.
LICS 2000: 95-106 |
| 28 | | Patrice 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 |
|---|
| 26 | | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Metrics for Labeled Markov Systems.
CONCUR 1999: 258-273 |
| 25 | | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Stochastic Processes as Concurrent Constraint Programs.
POPL 1999: 189-202 |
| 1998 |
|---|
| 24 | | Christopher 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 |
| 23 | | Christopher 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 |
| 22 | | Christopher 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 |
|---|
| 4 | | Radha 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 |
