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
1192005
On message sequence graphs and finitely generated regular MSC languages
JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan
International Colloquium on Automata, Languages, and Programming, 675-686, 2000
932000
Synthesizing distributed finite-state systems from MSCs
M Mukund, KN Kumar, M Sohoni
International Conference on Concurrency Theory, 521-535, 2000
742000
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
692000
Random matrices and holographic tensor models
C Krishnan, KVP Kumar, S Sanyal
Journal of High Energy Physics 2017 (6), 36, 2017
682017
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
642000
Logic programming and model checking
B Cui, Y Dong, X Du, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ...
Principles of Declarative Programming, 1-20, 1998
621998
Towards a finite-N hologram
C Krishnan, KVP Kumar
Journal of High Energy Physics 2017 (10), 99, 2017
552017
MSO decidability of multi-pushdown systems via split-width
A Cyriac, P Gastin, KN Kumar
International Conference on Concurrency Theory, 547-561, 2012
472012
Contrasting SYK-like models
C Krishnan, KVP Kumar, D Rosa
Journal of High Energy Physics 2018 (1), 64, 2018
422018
Distributed timed automata with independently evolving clocks
S Akshay, B Bollig, P Gastin, M Mukund, KN Kumar
International Conference on Concurrency Theory, 82-97, 2008
412008
Model checking languages of data words
B Bollig, A Cyriac, P Gastin, KN Kumar
International Conference on Foundations of Software Science and …, 2012
302012
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
International Conference on Foundations of Software Technology and …, 2005
282005
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
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
272002
Netcharts: Bridging the gap between HMSCs and executable specifications
M Mukund, KN Kumar, PS Thiagarajan
International Conference on Concurrency Theory, 296-310, 2003
262003
Linear-time model-checking for multithreaded programs under scope-bounding
MF Atig, A Bouajjani, KN Kumar, P Saivasan
International Symposium on Automated Technology for Verification and …, 2012
222012
An alternative path integral for quantum gravity
C Krishnan, KVP Kumar, A Raju
Journal of High Energy Physics 2016 (10), 43, 2016
212016
A parameterized unfold/fold transformation framework for definite logic programs
A Roychoudhury, KN Kumar, CR Ramakrishnan, IV Ramakrishnan
International Conference on Principles and Practice of Declarative …, 1999
211999
Exact Solution of a Strongly Coupled Gauge Theory in Dimensions
C Krishnan, KVP Kumar
Physical review letters 120 (20), 201603, 2018
202018
The system can't perform the operation now. Try again later.
Articles 1–20