The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bharat Jayaraman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frank S. K. Silbermann, Bharat Jayaraman
    A Domain-Theoretic Approach to Functional and Logic Programming. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1992, v:2, n:3, pp:273-321 [Journal]
  2. Bharat Jayaraman, Kyonghee Moon
    The SuRE Programming Framework. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:585- [Conf]
  3. Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon
    Partial Order Programming (Revisited). [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:561-575 [Conf]
  4. Bharat Jayaraman, Pallavi Tambay
    Compositional Semantics for Diagrams Using Constrained Objects. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2002, pp:94-96 [Conf]
  5. Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya
    ARCHERR: Runtime Environment Driven Program Safety. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2004, pp:385-406 [Conf]
  6. Bharat Jayaraman, David A. Plaisted
    Functional programming with sets. [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:194-211 [Conf]
  7. Frank S. K. Silbermann, Bharat Jayaraman
    Set Abstraction in Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:313-326 [Conf]
  8. Bharat Jayaraman, Gopal Gupta
    Parallel execution of an equational language. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:370-381 [Conf]
  9. Paul V. Gestwicki, Bharat Jayaraman
    Interactive Visualization of Java Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:226-235 [Conf]
  10. Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya
    Insecure Programming: How Culpable is a Language's Syntax? [Citation Graph (0, 0)][DBLP]
    IAW, 2003, pp:158-163 [Conf]
  11. Mauricio Osorio, Bharat Jayaraman
    Integrating the Completion and the Well Founded Semantics. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 1998, pp:230-241 [Conf]
  12. T. S. Raghu, Abhijit Chaudhury, Bharat Jayaraman, H. Raghav Rao
    A simulation test bed for computational modeling of business processes. [Citation Graph (0, 0)][DBLP]
    ICIS, 1997, pp:464-465 [Conf]
  13. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    Preference Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:731-745 [Conf]
  14. Hai-Feng Guo, Miao Liu, Bharat Jayaraman
    Relaxation on Optimization Predicates. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:425-426 [Conf]
  15. Juergen Haas, Bharat Jayaraman
    Interactive Synthesis of Definite-Clause Grammars. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:541-555 [Conf]
  16. Bharat Jayaraman, Anil Nair
    Subset-Logic Programming: Application and Implementation. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:843-858 [Conf]
  17. Bharat Jayaraman, Gopalan Nadathur
    Implementation Techniques for Scoping Constructs in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:871-886 [Conf]
  18. Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves
    Declarative Pruning in a Functional Query Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:588-604 [Conf]
  19. Gopal K. Gupta, Bharat Jayaraman
    A Model for Combined And-Or Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1989, pp:260-263 [Conf]
  20. Uday S. Reddy, Bharat Jayaraman
    Theory of Linear Equations Applied to Program Transformation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:10-16 [Conf]
  21. Bharat Jayaraman, Frank S. K. Silbermann
    Equations, Sets, and Reduction Semantics for Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:320-331 [Conf]
  22. Mauricio Osorio, Bharat Jayaraman
    Aggregation and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:71-90 [Conf]
  23. Paul V. Gestwicki, Bharat Jayaraman
    JIVE: Java Interactive Visualization Environment. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:226-228 [Conf]
  24. Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki
    Visualizing errors in object oriented programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2005, pp:156-157 [Conf]
  25. Bharat Jayaraman, Pallavi Tambay
    Modeling Engineering Structures with Constrained Objects. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:28-46 [Conf]
  26. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    Optimization and Relaxation in Constraint Logic Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:91-103 [Conf]
  27. Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
    Optimization with mode-directed preferences. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:242-251 [Conf]
  28. Hai-Feng Guo, Bharat Jayaraman
    Mode-directed preferences for logic programs. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1414-1418 [Conf]
  29. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    Relaxation in Constraint Logic Languages. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:637- [Conf]
  30. Gopal Gupta, Bharat Jayaraman
    Combined And-Or Parallelism on Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:332-349 [Conf]
  31. Gopal Gupta, Bharat Jayaraman
    Optimizing And-Or Parallel Implementations. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:605-623 [Conf]
  32. Gopal Gupta, Bharat Jayaraman
    On Criteria for Or-Parallel Execution Models of Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:737-756 [Conf]
  33. Bharat Jayaraman, David A. Plaisted
    Programming with Equations, Subsets, and Relations. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:1051-1068 [Conf]
  34. Mauricio Osorio, Bharat Jayaraman
    Subset Assertions and Negation As Failure. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:637- [Conf]
  35. Gopalan Nadathur, Bharat Jayaraman
    Towards a WAM Model for Lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:1180-1198 [Conf]
  36. Paul V. Gestwicki, Bharat Jayaraman
    Methodology and architecture of JIVE. [Citation Graph (0, 0)][DBLP]
    SOFTVIS, 2005, pp:95-104 [Conf]
  37. Paul V. Gestwicki, Bharat Jayaraman
    Interactive Visualization of Java Programs. [Citation Graph (0, 0)][DBLP]
    HCC, 2002, pp:226-235 [Conf]
  38. Bharat Jayaraman, Charlotte M. Baltus
    Visualizing Program Execution. [Citation Graph (0, 0)][DBLP]
    VL, 1996, pp:30-37 [Conf]
  39. Dan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao
    A comparison of B2B e-service solutions. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2003, v:46, n:12, pp:317-324 [Journal]
  40. Bharat Jayaraman
    Sublist Assertions for Listless and Lazy Evaluation. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1992, v:17, n:2, pp:133-146 [Journal]
  41. Bharat Jayaraman, Kannan Govindarajan, Surya Mantha
    Preference Logic Grammars. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1998, v:24, n:3, pp:179-196 [Journal]
  42. Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
    Scoping Constructs in Logic Programming: Implementation Problems and their Solution [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  43. Gopal Gupta, Bharat Jayaraman
    And-Or Parallelism on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:17, n:1, pp:59-89 [Journal]
  44. Juergen Haas, Bharat Jayaraman
    From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:1, pp:1-23 [Journal]
  45. Bharat Jayaraman
    Implementation of Subset-Equational Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:3&4, pp:299-324 [Journal]
  46. Bharat Jayaraman, Jana Devashis
    Set Constructors, Finite Sets, and Logical Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:1, pp:55-77 [Journal]
  47. Bharat Jayaraman, Kyonghee Moon
    Subset Logic Programs and Their Implementation. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:2, pp:71-110 [Journal]
  48. Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
    Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:25, n:2, pp:119-161 [Journal]
  49. Bharat Jayaraman, Robert M. Keller
    Semantics and Implementation of Resource Expressions. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1989, v:7, n:1, pp:40-63 [Journal]
  50. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
    Preference Queries in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2000, v:19, n:1, pp:57-86 [Journal]
  51. Mauricio Osorio, Bharat Jayaraman
    Aggregation and Negation-As-Failure. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:3, pp:255-284 [Journal]
  52. Mauricio Osorio, Bharat Jayaraman, David A. Plaisted
    Theory of Partial-Order Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:34, n:3, pp:207-238 [Journal]
  53. Gopal Gupta, Bharat Jayaraman
    Analysis of Or-Parallel Execution Models. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:659-680 [Journal]
  54. Bharat Jayaraman
    Semantics of EqL. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:4, pp:472-480 [Journal]
  55. Bharat Jayaraman, Gopal Gupta
    EqL: The Language and Its Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:6, pp:771-779 [Journal]
  56. Hani Z. Girgis, Bharat Jayaraman
    JavaTA: A Logic-based Debugger for Java [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  57. Biometrics Driven Smart Environments: Abstract Framework and Evaluation. [Citation Graph (, )][DBLP]


  58. Declarative and visual debugging in Eclipse. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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