Citation: J. Haas et B. Jayaraman, FROM CONTEXT-FREE TO DEFINITE-CLAUSE GRAMMARS - A TYPE-THEORETIC APPROACH, The journal of logic programming, 30(1), 1997, pp. 1-23
Citation: M. Osorio et B. Jayaraman, SPECIFICATION AND COMPUTATION OF OPTIMIZATION PROBLEMS, Computers & industrial engineering, 33(1-2), 1997, pp. 55-58
Citation: G. Nadathur et al., SCOPING CONSTRUCTS IN LOGIC PROGRAMMING - IMPLEMENTATION PROBLEMS ANDTHEIR SOLUTION, The journal of logic programming, 25(2), 1995, pp. 119-161
Citation: B. Jayaraman et Br. Holt, AN OPTIMIZATION APPROACH TO ROBUST NONLINEAR CONTROL DESIGN, International Journal of Control, 59(3), 1994, pp. 639-664
Citation: G. Gupta et B. Jayaraman, ANALYSIS OF OR-PARALLEL EXECUTION MODELS, ACM transactions on programming languages and systems, 15(4), 1993, pp. 659-680