The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Radha Jagadeesan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  60. From Authorization Logics to Types for Authorization. [Citation Graph (, )][DBLP]


  61. Do As I SaY! Programmatic Access Control with Explicit Identities. [Citation Graph (, )][DBLP]


  62. Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). [Citation Graph (, )][DBLP]


  63. Generative Operational Semantics for Relaxed Memory Models. [Citation Graph (, )][DBLP]


  64. Towards a Theory of Accountability and Audit. [Citation Graph (, )][DBLP]


  65. Approximate reasoning for real-time probabilistic processes [Citation Graph (, )][DBLP]


  66. Lambda-RBAC: Programming with Role-Based Access Control [Citation Graph (, )][DBLP]


  67. Game Semantics for Access Control. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002