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