M. R. K. Krishna Rao Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2009
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shahid Hussain, M. R. K. Krishna Rao: Learning Hereditary and Reductive Prolog Programs from Entailment. ICIC (2) 2009: 546-555
2008
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Some classes of term rewriting systems inferable from positive data. Theor. Comput. Sci. 397(1-3): 129-149 (2008)
2007
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Muhammad Shafique, Kanaan A. Faisal, M. R. K. Krishna Rao: Infusing Critical Thinking Skill Classification into a Software Engineering Course. FECS 2007: 285-289
2006
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Learnability of Term Rewrite Systems from Positive Examples. CATS 2006: 133-137
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Muhammad Shafique, Kanaan A. Faisal, Ahmed Bagais: Infusing Critical Thinking Skill Compare and Contrast into Content of Data Structures Course. FECS 2006: 53-59
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kanaan A. Faisal, Ahmed Bagais, M. R. K. Krishna Rao: Finding Reasons and Conclusion in a Basic Computer Science Course. FECS 2006: 60-66
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Muhammad Shafique, M. R. K. Krishna Rao: Infusing Parts-whole Relationship Critical Thinking Skill into Basic Computer Science Education. FECS 2006: 287-292
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Storytelling and puzzles in a software engineering course. SIGCSE 2006: 418-422
2005
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data. ALT 2005: 312-326
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Infusing critical thinking skills into content of AI course. ITiCSE 2005: 173-177
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, S. Junaidu, Talal Maghrabi, Muhammad Shafique, M. Ahmed, Kanaan A. Faisal: Principles of curriculum design and revision: a case study in implementing computing curricula CC2001. ITiCSE 2005: 256-260
2004
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Inductive Inference of Term Rewriting Systems from Positive Data. ALT 2004: 69-82
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Learnability of Simply-Moded Logic Programs from Entailment. ASIAN 2004: 128-141
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Input-Termination of Logic Programs. LOPSTR 2004: 215-230
2003
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Polynomial-Time Learnability from Entailment. ICLP 2003: 489-491
2001
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Abdul Sattar: Polynomial-time learnability of logic programs with local variables from entailment. Theor. Comput. Sci. 268(2): 179-198 (2001)
2000
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Some characteristics of strong innermost normalization. Theor. Comput. Sci. 239(1): 141-164 (2000)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Some classes of prolog programs inferable from positive data. Theor. Comput. Sci. 241(1-2): 211-234 (2000)
1999
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Abdul Sattar: Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence 1999: 469-471
1998
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Transformational Methodology for Proving Termination of Logic Programs. J. Log. Program. 34(1): 1-41 (1998)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Modular Aspects of Term Graph Rewriting. Theor. Comput. Sci. 208(1-2): 59-86 (1998)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Abdul Sattar: Learning from Entailment of Logic Programs with Local Variables. ALT 1998: 143-157
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Abdul Sattar: Learning Linearly-Moded Programs from Entailment. PRICAI 1998: 482-493
1997
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. New Generation Comput. 15(3): 293-338 (1997)
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: A Framework for Incremental Learning of Logic Programs. Theor. Comput. Sci. 185(1): 193-213 (1997)
1996
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. Acta Inf. 33(6): 595-606 (1996)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: A Class of Prolog Programs Inferable from Positive Data. ALT 1996: 272-284
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Some Characteristics of Strong Innermost Normalization. AMAST 1996: 406-420
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Completeness Results for Basic Narrowing in Non-Copying Implementations. JICSLP 1996: 393-407
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Modularity of Termination in Term Graph Rewriting. RTA 1996: 230-244
1995
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. Theor. Comput. Sci. 151(2): 487-512 (1995)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Incremental Learning of Logic Programs. ALT 1995: 95-109
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Graph Reducibility of Term Rewriting Systems. MFCS 1995: 371-381
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, R. K. Shyamasundar: Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs. SAS 1995: 243-260
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems. TAPSOFT 1995: 379-393
1994
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Simple Termination of Hierarchical Combinations of Term Rewriting Systems. TACS 1994: 203-223
1993
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar: Verification Tools in the Development of Provably Correct Compilers. FME 1993: 442-461
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao: Completeness of Hierarchical Combinations of term Rewriting Systems. FSTTCS 1993: 125-138
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. ICLP 1993: 720-736
1992
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur: Rewriting Concepts in the Study of Termination of Logic Programs. ALPUK 1992: 3-20
1991
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: A Transformational Methodology for Proving Termination of Logic Programs. CSL 1991: 213-226

Coauthor Index

1M. Ahmed
[c22]
2Ahmed Bagais
[c28] [c27]
3Kanaan A. Faisal
[c30] [c28] [c27] [c22]
4Shahid Hussain
[c31]
5S. Junaidu
[c22]
6Deepak Kapur
[j6] [j4] [c3] [c2] [c1]
7Talal Maghrabi
[c22]
8Paritosh K. Pandya
[c5]
9Abdul Sattar
[j9] [c17] [c16] [c15]
10Muhammad Shafique
[c30] [c28] [c26] [c22]
11R. K. Shyamasundar (Rudrapatna K. Shyamasundar)
[j6] [j4] [c8] [c5] [c3] [c2] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 06:40:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page