K. Narayan Kumar - Concepedia

Author

K. Narayan Kumar

Also Known As

D'Souza, Deepak 1970-, K. NARAYAN KUMAR, K. Narayan Kumar, K.N. Prashanth Kumar, Kumar, K Narayan, Narayan Kumar, K.

Publications

158

Citations

H-Index

Concepts

All Affiliations

K. Narayan Kumar is an author at Chennai Mathematical Institute specializing in engineering, formal methods, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	69
2	Computer Science	4	4	69
3	Computer Engineering	1	1	11
4	Systems Engineering	1	1	15
5	Compilers	1	1	21

K. Narayan Kumar

Publications

Citations

H-Index

Page 1

	Year	Citations
BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, International Journal of Foundations of Computer Science Unfold/fold Transformation SystemsComputational LogicNon-classical LogicLogic SynthesisEngineering	2002	22
An unfold/fold transformation framework for definite logic programs Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, ACM Transactions on Programming Languages and Systems Applied LogicEngineeringTransformation SequencesSoftware AnalysisFormal Verification	2004	21
Bounded time-stamping in message-passing systems Madhavan Mukund, K. Narayan Kumar, Milind Sohoni Theoretical Computer Science Reachability AnalysisMessage-passing SystemsEngineeringMessage PassingFormal Methods	2002	15
Spectral clustering algorithm based web mining and quadratic support vector machine for learning style prediction in E-learning platform K. Narayan Kumar, B.T. Harish Kumar, A. Bhuvanesh Measurement Sensors	2023	12
Deciding reachability under persistent x86-TSO Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Proceedings of the ACM on Programming Languages EngineeringReachability ProblemVerificationComputer ArchitectureComputer-aided Verification	2021	11

Page 1