Bharat Jayaraman - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Verifying security properties of internet protocol stacks: The split verification approachJayaraj Poroor, Bharat Jayaraman. jsa, 57(3):269-281, 2011. [doi]

2010

Multimodal identification and tracking in smart environmentsVivek Menon, Bharat Jayaraman, Venu Govindaraju. puc, 14(8):685-694, 2010. [doi]

2009

DoS Attacks on Real-Time Media through Indirect Contention-in-HostsJayaraj Poroor, Bharat Jayaraman. internet, 13(6):22-30, 2009. [doi]

2008

Logic programming with solution preferencesHai-Feng Guo, Bharat Jayaraman. jlp, 78(1):1-21, 2008. [doi]

Biometrics Driven Smart Environments: Abstract Framework and EvaluationVivek Menon, Bharat Jayaraman, Venu Govindaraju. uic 2008: 75-89 [doi]

2007

Declarative and visual debugging in EclipseJeffrey K. Czyz, Bharat Jayaraman. eclipse 2007: 31-35 [doi]

2006

Relaxation on Optimization PredicatesHai-Feng Guo, Miao Liu, Bharat Jayaraman. ICLP 2006: 425-426 [doi]

2005

2004

2003

Insecure Programming: How Culpable is a Language s Syntax?Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya. cimca 2003: 158-163

A comparison of B2B e-service solutionsDan Jong Kim, Manish Agrawal, Bharat Jayaraman, H. Raghav Rao. CACM, 46(12):317-324, 2003. [doi]

2002

2000

Preference Queries in Deductive DatabasesKannan Govindarajan, Bharat Jayaraman, Surya Mantha. ngc, 19(1):57-86, 2000.

Subset Logic Programs and Their ImplementationBharat Jayaraman, Kyonghee Moon. jlp, 42(2):71-110, 2000.

1999

Set Constructors, Finite Sets, and Logical SemanticsBharat Jayaraman, Jana Devashis. jlp, 38(1):55-77, 1999.

Aggregation and Negation-As-FailureMauricio Osorio, Bharat Jayaraman. ngc, 17(3):255-284, 1999.

Declarative Pruning in a Functional Query LanguageMauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves. ICLP 1999: 588-604

Theory of Partial-Order ProgrammingMauricio Osorio, Bharat Jayaraman, David A. Plaisted. SCP, 34(3):207-238, 1999.

1998

Preference Logic GrammarsBharat Jayaraman, Kannan Govindarajan, Surya Mantha. Comp. Lang., Syst. \& Struct., 24(3):179-196, 1998.

Integrating the Completion and the Well Founded SemanticsMauricio Osorio, Bharat Jayaraman. sbia 1998: 230-241 [doi]

1997

From Context-Free to Definite-Clause Grammars: A Type-Theoretic ApproachJuergen Haas, Bharat Jayaraman. jlp, 30(1):1-23, 1997.

A simulation test bed for computational modeling of business processesT. S. Raghu, Abhijit Chaudhury, Bharat Jayaraman, H. Raghav Rao. icisc 1997: 464-465 [doi]

1996

Optimization and Relaxation in Constraint Logic LanguagesKannan Govindarajan, Bharat Jayaraman, Surya Mantha. POPL 1996: 91-103 [doi]

Visualizing Program ExecutionBharat Jayaraman, Charlotte M. Baltus. vl 1996: 30-37

Aggregation and Well-Founded SemanticsMauricio Osorio, Bharat Jayaraman. nmelp 1997: 71-90

1995

1993

And-Or Parallelism on Shared-Memory MultiprocessorsGopal Gupta, Bharat Jayaraman. jlp, 17(1):59-89, 1993.

Analysis of Or-Parallel Execution ModelsGopal Gupta, Bharat Jayaraman. TOPLAS, 15(4):659-680, 1993. [doi]

Subset Assertions and Negation As FailureMauricio Osorio, Bharat Jayaraman. slp 1993: 637

1992

Interactive Synthesis of Definite-Clause GrammarsJuergen Haas, Bharat Jayaraman. ICLP 1992: 541-555

Implementation of Subset-Equational ProgramsBharat Jayaraman. jlp, 12(3&4):299-324, 1992.

Sublist Assertions for Listless and Lazy EvaluationBharat Jayaraman. Comp. Lang., Syst. \& Struct., 17(2):133-146, 1992.

A Domain-Theoretic Approach to Functional and Logic ProgrammingFrank S. K. Silbermann, Bharat Jayaraman. JFP, 2(3):273-321, 1992.

1991

Implementation Techniques for Scoping Constructs in Logic ProgrammingBharat Jayaraman, Gopalan Nadathur. ICLP 1991: 871-886

1990

Optimizing And-Or Parallel ImplementationsGopal Gupta, Bharat Jayaraman. slp 1990: 605-623

On Criteria for Or-Parallel Execution Models of Logic ProgramsGopal Gupta, Bharat Jayaraman. slp 1990: 737-756

1989

1988

Semantics of EqLBharat Jayaraman. TSE, 14(4):472-480, 1988. [doi]

Subset-Logic Programming: Application and ImplementationBharat Jayaraman, Anil Nair. ICLP 1988: 843-858

1987

Functional programming with setsBharat Jayaraman, David A. Plaisted. fpca 1987: 194-211

1986

Parallel execution of an equational languageBharat Jayaraman, Gopal Gupta. gr 1987: 370-381

Equations, Sets, and Reduction Semantics for Functional and Logic ProgrammingBharat Jayaraman, Frank S. K. Silbermann. lfp 1986: 320-331

1983

Theory of Linear Equations Applied to Program TransformationUday S. Reddy, Bharat Jayaraman. IJCAI 1983: 10-16