| 2006 | SIGCSE | Storytelling and puzzles in a software engineering course. | M. R. K. Krishna Rao |
| 2005 | ALT | A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data. | M. R. K. Krishna Rao |
| 2005 | ITiCSE | Infusing critical thinking skills into content of AI course. | M. R. K. Krishna Rao |
| 2005 | ITiCSE | 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, Motaz Ahmed, Kanaan A. Faisal |
| 2004 | ALT | Inductive Inference of Term Rewriting Systems from Positive Data. | M. R. K. Krishna Rao |
| 2004 | LOPSTR | Input-Termination of Logic Programs. | M. R. K. Krishna Rao |
| 2003 | ICLP | Polynomial-Time Learnability from Entailment. | M. R. K. Krishna Rao |
| 1998 | ALT | Learning from Entailment of Logic Programs with Local Variables. | M. R. K. Krishna Rao, Abdul Sattar |
| 1998 | PRICAI | Learning Linearly-Moded Programs from Entailment. | M. R. K. Krishna Rao, Abdul Sattar |
| 1996 | ALT | A Class of Prolog Programs Inferable from Positive Data. | M. R. K. Krishna Rao |
| 1996 | ICLP | Completeness Results for Basic Narrowing in Non-Copying Implementations. | M. R. K. Krishna Rao |
| 1995 | ALT | Incremental Learning of Logic Programs. | M. R. K. Krishna Rao |
| 1995 | MFCS | Graph Reducibility of Term Rewriting Systems. | M. R. K. Krishna Rao |
| 1995 | SAS | Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs | M. R. K. Krishna Rao, R. K. Shyamasundar |
| 1993 | FM | Verification Tools in the Development of Provably Correct Compilers. | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
| 1993 | ICLP | Proving Termination of GHC Programs. | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
| 1991 | CSL | A Transformational Methodology for Proving Termination of Logic Programs. | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |