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 |