Optimal Speedups for Parallel Pattern Matching in Trees. - R. Ramesh 001; I. V. Ramakrishnan (RTA, 1987)

Term Matching on Parallel Computers. - R. Ramesh 001; Rakesh M. Verma; Krishnaprasad Thirunarayan; I. V. Ramakrishnan (J. Log. Program., 1989)

Parallel Tree Pattern Matching. - R. Ramesh 001; I. V. Ramakrishnan (J. Symb. Comput., 1990)

Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. - R. Ramesh 001; I. V. Ramakrishnan (RTA, 1991)

Multistage Indexing Algorithms for Speeding Prolog Execution. - Ta Chen; I. V. Ramakrishnan; R. Ramesh 001 (JICSLP, 1992)

WCS - A CAD Solution for Worst Case Performance Analysis of Integrated Circuits. - S. Nagaraj; N. Padmini; N. S. Nagaraj; R. Ramesh 001; V. Sachidanand (VLSI Design, 1992)

Nonlinear Pattern Matching in Trees. - R. Ramesh 001; I. V. Ramakrishnan (J. ACM, 1992)

A Portable Method of Integrating SLG Resolution into Prolog Systems. - R. Ramesh 001; Weidong Chen 005 (ILPS, 1994)

Multistage Indexing for Speeding Prolog Executions. - Ta Chen; I. V. Ramakrishnan; R. Ramesh 001 (Softw. Pract. Exp., 1994)

Automata-Driven Indexing of Prolog Clauses. - R. Ramesh 001; I. V. Ramakrishnan; David Scott Warren (J. Log. Program., 1995)

Adaptive Pattern Matching. - R. C. Sekar 001; R. Ramesh 001; I. V. Ramakrishnan (SIAM J. Comput., 1995)

Implementation of Tabled Evaluation with Delaying in Prolog. - R. Ramesh 001; Weidong Chen 005 (IEEE Trans. Knowl. Data Eng., 1997)

Automata-driven efficient subterm unification. - R. Ramesh 001; I. V. Ramakrishnan; R. C. Sekar 001 (Theor. Comput. Sci., 2001)