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

Bharat Jayaraman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Manish Agrawal [47]
2Charlotte M. Baltus [29]
3Abhijit Chaudhury [33]
4Ramkumar Chinchani [48] [51]
5Jeffrey K. Czyz [59]
6Jana Devashis [39]
7Paul V. Gestwicki [44] [45] [50] [53] [56]
8Hani Z. Girgis [56] [58]
9Kannan Govindarajan [25] [26] [30] [34] [41]
10Venu Govindaraju (Venugopal Govindaraju) [61]
11Hai-Feng Guo [54] [55] [57] [60]
12Gopal Gupta [3] [8] [9] [14] [15] [21] [22] [55]
13Gopal K. Gupta [12]
14Juergen Haas [20] [32]
15Anusha Iyer [48] [51]
16Robert M. Keller [7]
17Dan Jong Kim [47]
18Keehang Kwon [24] [35]
19Miao Liu [55] [57]
20Surya Mantha [25] [26] [30] [34] [41]
21Vivek Menon [61]
22Kyonghee Moon [27] [28] [42]
23Gopalan Nadathur [10] [16] [24] [35]
24Anil Nair [6]
25Juan Carlos Nieves [40]
26Mauricio Osorio (Mauricio Javier Osorio Galindo) [23] [28] [31] [36] [37] [38] [40]
27David A. Plaisted [4] [11] [37]
28T. S. Raghu [33] [49]
29H. Raghav Rao [33] [47] [49]
30Uday S. Reddy [1]
31Frank S. K. Silbermann [2] [13] [18]
32Pallavi Tambay [43] [46]
33Shambhu J. Upadhyaya [48] [51]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)