Bharat Jayaraman

2006
56	EE	Hai-Feng Guo, Miao Liu, Bharat Jayaraman: Relaxation on Optimization Predicates. ICLP 2006: 425-426
2005
55	EE	Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki: Visualizing errors in object oriented programs. OOPSLA Companion 2005: 156-157
54	EE	Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu: Optimization with mode-directed preferences. PPDP 2005: 242-251
53	EE	Hai-Feng Guo, Bharat Jayaraman: Mode-directed preferences for logic programs. SAC 2005: 1414-1418
52	EE	Paul V. Gestwicki, Bharat Jayaraman: Methodology and architecture of JIVE. SOFTVIS 2005: 95-104
2004
51		Bharat Jayaraman: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings Springer 2004
50	EE	Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya: ARCHERR: Runtime Environment Driven Program Safety. ESORICS 2004: 385-406
49	EE	Paul V. Gestwicki, Bharat Jayaraman: JIVE: Java Interactive Visualization Environment. OOPSLA Companion 2004: 226-228
2003
48		Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya: Insecure Programming: How Culpable is a Language's Syntax? IAW 2003: 158-163
47	EE	Dan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao: A comparison of B2B e-service solutions. Commun. ACM 46(12): 317-324 (2003)
2002
46	EE	Bharat Jayaraman, Pallavi Tambay: Compositional Semantics for Diagrams Using Constrained Objects. Diagrams 2002: 94-96
45	EE	Paul V. Gestwicki, Bharat Jayaraman: Interactive Visualization of Java Programs. HCC 2002: 226-235
44	EE	Paul V. Gestwicki, Bharat Jayaraman: Interactive Visualization of Java Programs. IEEE Symposia on Human Centric Computing Languages and Environments 2002: 226-235
43	EE	Bharat 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
36	EE	Mauricio Osorio, Bharat Jayaraman: Integrating the Completion and the Well Founded Semantics. IBERAMIA 1998: 230-241
35	EE	Gopalan 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
33	EE	T. 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
30	EE	Kannan 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
22	EE	Gopal 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
13	EE	Frank 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
8	EE	Bharat 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
5	EE	Bharat 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

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

Colors in the list of coauthors