UB - University at Buffalo, The State University of New York Computer Science and Engineering

Roles

  • Professor
  • Department Chair 2002-2009
  • Interim Department Chair 2001-2002

Research Areas

Programming Languages and Software Systems
image of programming

Languages that support high-level, declarative, and visual modeling of complex systems. Object-oriented modeling, constraint-based design, interactive program visualization, and domain-specific languages for applications in engineering and organizational modeling. | More »

Research Labs and Groups

News

Courses

Technical Reports

2010-13
Lessa, Demian; Czyz, Jeffrey K.; Jayaraman, Bharat. JIVE: A Pedagogic Tool for Visualizing the Execution of Java Programs, December 7, 2010.
2010-10
Lessa, Demian; Jayaraman, Bharat; Czyz, Jeffrey. Query-based Debugging and Scalable Visualizations, September 3, 2010.
2010-09
Lessa, Demian; Jayaraman, Bharat. Temporal Model for Debugging and Visualizations, September 3, 2010.
2008-12
Menon, Vivek; Jayaraman, Bharat; Govindaraju, Venu. INTEGRATING RECOGNITION AND REASONING IN SMART ENVIRONMENTS, July 3, 2008.
2008-01
Menon, Vivek; Jayaraman, Bharat; Govindaraju, Venu. Biometrics-Driven Smart Environments: Abstract Framework and Evaluation, January 7, 2008.
2006-07
Girgis, Hani Z.; Jayaraman, Bharat. JavaDD: a Declarative Debugger for Java., March 20, 2006.
2004-21
Gestwicki, Paul V.; Jayaraman, Bharat; Garg, Ashim. From Class Diagrams to Object Diagrams: An Automated Approach, December 13, 2004.
2004-20
Gestwicki, Paul V.; Jayaraman, Bharat. Methodology and Architecture of JIVE, December 13, 2004.
2004-19
Girgis, Hani Z.; Hegde, Akshay V.; Pushpendran, Manu; Gestwicki, Paul V.; Jayaraman, Bharat. Visual Queries for Interactive Execution of Java Programs, December 13, 2004.
2004-05
Raux R.J.; Jayaraman, Bharat. Modeling Dynamic Systems with Constrained Objects, February 29, 2004.
2004-04
Tambay, Pallavi Y.; Jayaraman, Bharat. Implementation Techniques for Constrained Objects, February 29, 2004.
2003-01
Tambay, Pallavi Y.; Jayaraman, Bharat. The Cob Programmer's Manual, February 5, 2003.
2001-15
Jayaraman, Bharat; Tambay, Pallavi Y.. Semantics and Applications of Constrained Objects, October 12, 2001.
2000-06
McKernan, Timothy; Jayaraman, Bharat. CobWeb: Constrained XML for the Web, May 19, 2000.
2000-05
Jayaraman, Bharat; Tambay, Pallavi Y.. Constrained Objects for Modeling Complex Systems, April 1, 2000.
95-50
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Datalog, November 1, 1995.
95-37
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Optimization and Relaxation in Constraint Logic Languages, October 21, 1995.
95-22
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Relaxation in Constraint Logic Languages, April 25, 1995.
95-14
Jayaraman, Bharat; Moon, Kyonghee. Implementation of Subset Logic Programs, March 24, 1995.
94-30
Jana, Devashis; Jayaraman, Bharat. Set Constructors, Finite Sets, and Logical Semantics, August 8, 1994.
94-27
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Logic Grammars, June 24, 1994.
94-13
Govindarajan, Kannan; Jayaraman, Bharat. Intensional AlgorithmicDebugging, May 20, 1994.
94-12
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Logic Programming: Optimization as Inference, April 15, 1994.
93-40
Jayaraman, Bharat; Osorio, Mauricio; Moon, Kyonghee. Partial Order Logic Programming, November 30, 1993.
93-26
Osorio, Mauricio; Jayaraman, Bharat. Subset Assertions and Negation-As Failure, July 27, 1993.
91-11
Jayaraman, Bharat. The SuRE Programming Framework, August 1, 1991.
91-09
Haas, J.; Jayaraman, Bharat. Automatic Synthesis of Semantics for Context-free Grammars, July 1, 1991.

Wikis

Valid XHTML 1.0 Transitional