Author

K. Narayan Kumar

Observed names: K. NARAYAN KUMAR, K.N. Prashanth Kumar, Narayan Kumar, K.

Institution: Chennai Mathematical Institute

Observed institutions: Tata Institute of Fundamental Research, Centre National de la Recherche Scientifique, Chennai Mathematical Institute

ORCID: 0000-0003-0504-7302

Observed ORCID: 0000-0003-0504-7302

OpenAlex ID: A5104090777

MSO Decidability of Multi-Pushdown Systems via Split-Width

2012 · Aiswarya Cyriac, Paul Gastin, et al. · Lecture notes in computer science · 44

An unfold/fold transformation framework for definite logic programs

2004 · Abhik Roychoudhury, K. Narayan Kumar, et al. · ACM Transactions on Programming Languages and Systems · 20

Beyond Tamaki-sato Style Unfold/fold Transformations for Normal Logic Programs

2002 · ABHIK ROYCHOUDHURY, K. NARAYAN KUMAR, et al. · International Journal of Foundations of Computer Science · 20

Deciding reachability under persistent x86-TSO

2021 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Proceedings of the ACM on Programming Languages · 18

PDF

Spectral clustering algorithm based web mining and quadratic support vector machine for learning style prediction in E-learning platform

2023 · K.N. Prashanth Kumar, B.T. Harish Kumar, et al. · Measurement Sensors · 17

Bounded time-stamping in message-passing systems

2002 · Madhavan Mukund, K. Narayan Kumar, et al. · Theoretical Computer Science · 15

Keeping Track of the Latest Gossip in Message-Passing Systems

1995 · Madhavan Mukund, K. Narayan Kumar, et al. · Workshops in computing · 8

Verification under Intel-x86 with Persistency

2024 · Parosh Abdulla, Mohamed Faouzi Atig, et al. · Proceedings of the ACM on Programming Languages · 5

Robust asynchronous protocols are finite-state

1998 · Madhavan Mukund, K. Narayan Kumar, et al. · Lecture notes in computer science · 5

Verifying Reachability for TSO Programs with Dynamic Thread Creation

2022 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Lecture notes in computer science · 4

The Theory of Message Sequence Charts

2012 · K. Narayan Kumar · Co-Published with Indian Institute of Science (IISc), Bangalore, India eBooks · 4

Verification of Asynchronous Programs with Nested Locks

2018 · Atig, Mohamed Faouzi, Bouajjani, Ahmed, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3

PDF

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs

1999 · Abhik Roychoudhury, C. R. Ramakrishnan, et al. · Lecture notes in computer science · 3

Consistency and Persistency in Program Verification: Challenges and Opportunities

2022 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Lecture notes in computer science · 1

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains

2021 · Snigdha Athaiya, Raghavan Komondoor, et al. · Lecture notes in computer science · 1

PDF

Parametrised Verification of Intel-x86 Programs

2026 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Proceedings of the ACM on Programming Languages

Model Checking Languages of Data Words

2012 · Benedikt Bollig, Aiswarya Cyriac, et al.

Models of asynchronous Processes

1996 · K. Narayan Kumar · Shodhganga

Works count: 20

Citation count: 168

H-index: 7

I10-index: 6