| 2008 |
|---|
| 60 | EE | Vivek Menon,
Bharat Jayaraman,
Venu Govindaraju:
Biometrics Driven Smart Environments: Abstract Framework and Evaluation.
UIC 2008: 75-89 |
| 59 | EE | Hai-Feng Guo,
Bharat Jayaraman:
Logic programming with solution preferences.
J. Log. Algebr. Program. 78(1): 1-21 (2008) |
| 2007 |
|---|
| 58 | EE | Jeffrey K. Czyz,
Bharat Jayaraman:
Declarative and visual debugging in Eclipse.
ETX 2007: 31-35 |
| 57 | EE | Hani Z. Girgis,
Bharat Jayaraman:
JavaTA: A Logic-based Debugger for Java
CoRR abs/cs/0701107: (2007) |
| 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 |
