Rewriting Concepts in the Study of Termination of Logic Programs. - R. K. Shyamasundar; M. R. K. Krishna Rao; Deepak Kapur (ALPUK, 1992)

Verification Tools in the Development of Provably Correct Compilers. - M. R. K. Krishna Rao; Paritosh K. Pandya; R. K. Shyamasundar (FME, 1993)

Completeness of Hierarchical Combinations of term Rewriting Systems. - M. R. K. Krishna Rao (FSTTCS, 1993)

Simple Termination of Hierarchical Combinations of Term Rewriting Systems. - M. R. K. Krishna Rao (TACS, 1994)

Incremental Learning of Logic Programs. - M. R. K. Krishna Rao (ALT, 1995)

Graph Reducibility of Term Rewriting Systems. - M. R. K. Krishna Rao (MFCS, 1995)

Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs - M. R. K. Krishna Rao; R. K. Shyamasundar (SAS, 1995)

Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems. - M. R. K. Krishna Rao (TAPSOFT, 1995)

Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. - M. R. K. Krishna Rao (Theor. Comput. Sci., 1995)

A Class of Prolog Programs Inferable from Positive Data. - M. R. K. Krishna Rao (ALT, 1996)

Completeness Results for Basic Narrowing in Non-Copying Implementations. - M. R. K. Krishna Rao (JICSLP, 1996)

Modularity of Termination in Term Graph Rewriting. - M. R. K. Krishna Rao (RTA, 1996)

Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. - M. R. K. Krishna Rao (Acta Informatica, 1996)

Proving Termination of GHC Programs. - M. R. K. Krishna Rao; Deepak Kapur; R. K. Shyamasundar (New Gener. Comput., 1997)

A Framework for Incremental Learning of Logic Programs. - M. R. K. Krishna Rao (Theor. Comput. Sci., 1997)

Learning from Entailment of Logic Programs with Local Variables. - M. R. K. Krishna Rao; Abdul Sattar 001 (ALT, 1998)

Learning Linearly-Moded Programs from Entailment. - M. R. K. Krishna Rao; Abdul Sattar 001 (PRICAI, 1998)

Transformational Methodology for Proving Termination of Logic Programs. - M. R. K. Krishna Rao; Deepak Kapur; R. K. Shyamasundar (J. Log. Program., 1998)

Modular Aspects of Term Graph Rewriting. - M. R. K. Krishna Rao (Theor. Comput. Sci., 1998)

Learning Logic Programs with Local Variables from Positive Examples. - M. R. K. Krishna Rao; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 1999)

Some characteristics of strong innermost normalization. - M. R. K. Krishna Rao (Theor. Comput. Sci., 2000)

Some classes of prolog programs inferable from positive data. - M. R. K. Krishna Rao (Theor. Comput. Sci., 2000)

Polynomial-time learnability of logic programs with local variables from entailment. - M. R. K. Krishna Rao; Abdul Sattar 001 (Theor. Comput. Sci., 2001)

Polynomial-Time Learnability from Entailment. - M. R. K. Krishna Rao (ICLP, 2003)

Inductive Inference of Term Rewriting Systems from Positive Data. - M. R. K. Krishna Rao (ALT, 2004)

Learnability of Simply-Moded Logic Programs from Entailment. - M. R. K. Krishna Rao (ASIAN, 2004)

Input-Termination of Logic Programs. - M. R. K. Krishna Rao (LOPSTR, 2004)

Learning Recursive Prolog Programs with Local Variables from Examples. - M. R. K. Krishna Rao (AAIP, 2005)

A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data. - M. R. K. Krishna Rao (ALT, 2005)

Infusing critical thinking skills into content of AI course. - M. R. K. Krishna Rao (ITiCSE, 2005)

Principles of curriculum design and revision: a case study in implementing computing curricula CC2001. - M. R. K. Krishna Rao; S. Junaidu; Talal Maghrabi; Muhammad Shafique 002; Motaz Ahmed; Kanaan A. Faisal (ITiCSE, 2005)

Learnability of Term Rewrite Systems from Positive Examples. - M. R. K. Krishna Rao (CATS, 2006)

Finding Reasons and Conclusion in a Basic Computer Science Course. - Kanaan A. Faisal; Ahmed Bagais; M. R. K. Krishna Rao (FECS, 2006)

Infusing Critical Thinking Skill Compare and Contrast into Content of Data Structures Course. - M. R. K. Krishna Rao; Muhammad Shafique 002; Kanaan A. Faisal; Ahmed Bagais (FECS, 2006)

Infusing Parts-whole Relationship Critical Thinking Skill into Basic Computer Science Education. - Muhammad Shafique 002; M. R. K. Krishna Rao (FECS, 2006)

Storytelling and puzzles in a software engineering course. - M. R. K. Krishna Rao (SIGCSE, 2006)

Infusing Critical Thinking Skill Classification into a Software Engineering Course. - Muhammad Shafique 002; Kanaan A. Faisal; M. R. K. Krishna Rao (FECS, 2007)

Some classes of term rewriting systems inferable from positive data. - M. R. K. Krishna Rao (Theor. Comput. Sci., 2008)

Learning Hereditary and Reductive Prolog Programs from Entailment. - Shahid Hussain; M. R. K. Krishna Rao (ICIC (2), 2009)