M. R. K. Krishna Rao

Author

King Fahd University of Petroleum and Minerals

Also Known As

M. R. K. Krishna Rao, M. Ranga Rao, M.R.K. Krishna Rao, M.R.K.Krishna Rao

Publications

366

Citations

H-Index

Concepts

All Affiliations

King Fahd University of Petroleum and Minerals Tata Institute of Fundamental Research

About

M. R. K. Krishna Rao is an author at King Fahd University of Petroleum and Minerals specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	108
2	Computer Science	5	5	108
3	Education	4	4	46
4	Cognitive Science	2	2	22
5	Computer Engineering	1	1	13

M. R. K. Krishna Rao

Publications

156

Citations

H-Index

Page 1

	Year	Citations
Modular proofs for completeness of hierarchical term rewriting systems M. R. K. Krishna Rao Theoretical Computer Science EngineeringAutomated ReasoningRegulated RewritingVerificationRewriting System	1995	36
Transformational methodology for proving termination of logic programs M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar The Journal of Logic Programming Applied LogicEngineeringTransformational MethodologyAutomated ReasoningVerification	1998	27
Proving termination of GHC programs M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar New Generation Computing Ghc ProgramsEngineeringAutomated ReasoningMechanical VerificationProof Complexity	1997	17
Some characteristics of strong innermost normalization M. R. K. Krishna Rao Theoretical Computer Science Text NormalizationData NormalizationFunctional AnalysisFeature ScalingStrong Innermost Normalization	2000	15
Some classes of prolog programs inferable from positive data M. R. K. Krishna Rao Theoretical Computer Science Declarative ProgrammingEngineeringAutomated ReasoningFormal MethodsWell-founded Semantics	2000	15
Principles of curriculum design and revision M. R. K. Krishna Rao, Sahalu B. Junaidu, T. Maghrabi, Curriculum InquiryEngineeringEducationSoftware EngineeringSoftware Engineering Education	2005	13
Infusing critical thinking skills into content of AI course M. R. K. Krishna Rao ACM SIGCSE Bulletin Artificial IntelligenceAi CourseCognitive ScienceComputational ThinkingComputer Curricula	2005	12
Storytelling and puzzles in a software engineering course M. R. K. Krishna Rao Stem EducationSystem Engineering EducationDigital StorytellingDesignEducation	2006	11
Infusing critical thinking skills into content of AI course M. R. K. Krishna Rao Artificial IntelligenceAi CourseCognitive ScienceComputational ThinkingComputer Curricula	2005	10

Page 1