M. R. K. Krishna Rao
According to our database1,
M. R. K. Krishna Rao
authored at least 39 papers
between 1992 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
3
4
5
6
1
1
2
2
2
1
1
1
1
5
4
3
1
1
2
3
4
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 2009
2008
Theor. Comput. Sci., 2008
2007
Infusing Critical Thinking Skill Classification into a Software Engineering Course.
Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2007
2006
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006
Infusing Parts-whole Relationship Critical Thinking Skill into Basic Computer Science Education.
Proceedings of the 2006 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2006
Infusing Critical Thinking Skill Compare and Contrast into Content of Data Structures Course.
Proceedings of the 2006 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2006
Finding Reasons and Conclusion in a Basic Computer Science Course.
Proceedings of the 2006 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2006
Proceedings of the Theory of Computing 2006, 2006
2005
Principles of curriculum design and revision: a case study in implementing computing curricula CC2001.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005
Proceedings of the Algorithmic Learning Theory, 16th International Conference, 2005
Proceedings of the Workshop on Approaches and Applications of Inductive Programming, 2005
2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Advances in Computer Science, 2004
Proceedings of the Algorithmic Learning Theory, 15th International Conference, 2004
2003
Proceedings of the Logic Programming, 19th International Conference, 2003
2001
Theor. Comput. Sci., 2001
2000
Theor. Comput. Sci., 2000
1999
Proceedings of the Advanced Topics in Artificial Intelligence, 1999
1998
J. Log. Program., 1998
Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998
1997
A Framework for Incremental Learning of Logic Programs.
Theor. Comput. Sci., 1997
1996
Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems.
Acta Informatica, 1996
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
Proceedings of the Logic Programming, 1996
Proceedings of the Algorithmic Learning Theory, 7th International Workshop, 1996
1995
Theor. Comput. Sci., 1995
Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the Static Analysis, 1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
Proceedings of the Algorithmic Learning Theory, 6th International Conference, 1995
1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
1992
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992