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
1232005
Differential protein expression in human gliomas and molecular insights
VC Chumbalkar, C Subhashini, VM Dhople, CS Sundaram, ...
Proteomics 5 (4), 1167-1177, 2005
1232005
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
952000
Synthesizing distributed finite-state systems from MSCs
M Mukund, KN Kumar, M Sohoni
International Conference on Concurrency Theory, 521-535, 2000
762000
Random matrices and holographic tensor models
C Krishnan, KVP Kumar, S Sanyal
Journal of High Energy Physics 2017 (6), 1-26, 2017
702017
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
652000
Logic programming and model checking
B Cui, Y Dong, X Du, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ...
Principles of Declarative Programming, 1-20, 1998
641998
Towards a finite-N hologram
C Krishnan, KVP Kumar
Journal of High Energy Physics 2017 (10), 1-16, 2017
622017
MSO decidability of multi-pushdown systems via split-width
A Cyriac, P Gastin, KN Kumar
International Conference on Concurrency Theory, 547-561, 2012
522012
Contrasting SYK-like models
C Krishnan, KVP Kumar, D Rosa
Journal of High Energy Physics 2018 (1), 1-40, 2018
472018
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
402008
Model checking languages of data words
B Bollig, A Cyriac, P Gastin, KN Kumar
International Conference on Foundations of Software Science and …, 2012
322012
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
International Conference on Foundations of Software Technology and …, 2005
302005
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
302002
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
282004
Netcharts: Bridging the gap between HMSCs and executable specifications
M Mukund, KN Kumar, PS Thiagarajan
International Conference on Concurrency Theory, 296-310, 2003
272003
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
262012
Exact Solution of a Strongly Coupled Gauge Theory in Dimensions
C Krishnan, KVP Kumar
Physical review letters 120 (20), 201603, 2018
242018
An alternative path integral for quantum gravity
C Krishnan, KVP Kumar, A Raju
Journal of High Energy Physics 2016 (10), 1-21, 2016
242016
The system can't perform the operation now. Try again later.
Articles 1–20