Follow
Narayan Kumar
Narayan Kumar
Verified email at cmi.ac.in - Homepage
Title
Cited by
Cited by
Year
A theory of regular MSC languages
JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan
Information and computation 202 (1), 1-38, 2005
1262005
On message sequence graphs and finitely generated regular MSC languages
JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
972000
Synthesizing distributed finite-state systems from MSCs
M Mukund, KN Kumar, M Sohoni
International Conference on Concurrency Theory, 521-535, 2000
762000
Regular collections of message sequence charts
JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan
International Symposium on Mathematical Foundations of Computer Science, 405-414, 2000
702000
Verification of parameterized systems using logic program transformations
A Roychoudhury, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ...
International Conference on Tools and Algorithms for the Construction and …, 2000
682000
Logic programming and model checking
B Cui, Y Dong, X Du, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ...
Principles of Declarative Programming: 10th International Symposium, PLILP …, 1998
621998
MSO decidability of multi-pushdown systems via split-width
A Cyriac, P Gastin, KN Kumar
International Conference on Concurrency Theory, 547-561, 2012
542012
Distributed timed automata with independently evolving clocks
S Akshay, B Bollig, P Gastin, M Mukund, K Narayan Kumar
International Conference on Concurrency Theory, 82-97, 2008
432008
Model checking languages of data words
B Bollig, A Cyriac, P Gastin, K Narayan Kumar
International Conference on Foundations of Software Science and …, 2012
322012
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
312005
Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs
A Roychoudhury, K Narayan Kumar, CR Ramakrishnan, ...
International Journal of Foundations of Computer Science 13 (03), 387-403, 2002
292002
Netcharts: Bridging the gap between HMSCs and executable specifications
M Mukund, KN Kumar, PS Thiagarajan
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
282003
Linear-time model-checking for multithreaded programs under scope-bounding
MF Atig, A Bouajjani, K Narayan Kumar, P Saivasan
International Symposium on Automated Technology for Verification and …, 2012
272012
An unfold/fold transformation framework for definite logic programs
A Roychoudhury, KN Kumar, CR Ramakrishnan, IV Ramakrishnan
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (3), 464-509, 2004
272004
The ideal approach to computing closed subsets in well-quasi-orderings
J Goubault-Larrecq, S Halfon, P Karandikar, K Narayan Kumar, ...
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying …, 2020
252020
Verifying communicating multi-pushdown systems via split-width
C Aiswarya, P Gastin, K Narayan Kumar
Automated Technology for Verification and Analysis: 12th International …, 2014
252014
A parameterized unfold/fold transformation framework for definite logic programs
A Roychoudhury, KN Kumar, CR Ramakrishnan, IV Ramakrishnan
Principles and Practice of Declarative Programming: International Conference …, 1999
251999
Regular separability of well structured transition systems
W Czerwiński, S Lasota, R Meyer, S Muskalla, KN Kumar, P Saivasan
arXiv preprint arXiv:1702.05334, 2017
232017
Infinite-state energy games
PA Abdulla, MF Atig, P Hofman, R Mayr, KN Kumar, P Totzke
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
222014
Infinite probabilistic and nonprobabilistic testing
KN Kumar, R Cleaveland, SA Smolka
International Conference on Foundations of Software Technology and …, 1998
221998
The system can't perform the operation now. Try again later.
Articles 1–20