A theory of regular MSC languages JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan Information and computation 202 (1), 1-38, 2005 | 123 | 2005 |

Differential protein expression in human gliomas and molecular insights VC Chumbalkar, C Subhashini, VM Dhople, CS Sundaram, ... Proteomics 5 (4), 1167-1177, 2005 | 118 | 2005 |

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 | 96 | 2000 |

Synthesizing distributed finite-state systems from MSCs M Mukund, KN Kumar, M Sohoni International Conference on Concurrency Theory, 521-535, 2000 | 77 | 2000 |

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 | 72 | 2000 |

Random matrices and holographic tensor models C Krishnan, KVP Kumar, S Sanyal Journal of High Energy Physics 2017 (6), 1-26, 2017 | 69 | 2017 |

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 | 65 | 2000 |

Logic programming and model checking B Cui, Y Dong, X Du, KN Kumar, CR Ramakrishnan, IV Ramakrishnan, ... Principles of Declarative Programming, 1-20, 1998 | 64 | 1998 |

Towards a finite-N hologram C Krishnan, KVP Kumar Journal of High Energy Physics 2017 (10), 1-16, 2017 | 58 | 2017 |

MSO decidability of multi-pushdown systems via split-width A Cyriac, P Gastin, KN Kumar International Conference on Concurrency Theory, 547-561, 2012 | 50 | 2012 |

Contrasting SYK-like models C Krishnan, KVP Kumar, D Rosa Journal of High Energy Physics 2018 (1), 1-40, 2018 | 47 | 2018 |

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 | 39 | 2008 |

Model checking languages of data words B Bollig, A Cyriac, P Gastin, KN Kumar International Conference on Foundations of Software Science and …, 2012 | 31 | 2012 |

Causal closure for MSC languages B Adsul, M Mukund, KN Kumar, V Narayanan International Conference on Foundations of Software Technology and …, 2005 | 31 | 2005 |

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 | 29 | 2002 |

Netcharts: Bridging the gap between HMSCs and executable specifications M Mukund, KN Kumar, PS Thiagarajan International Conference on Concurrency Theory, 296-310, 2003 | 28 | 2003 |

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 | 27 | 2004 |

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 | 25 | 2012 |

An alternative path integral for quantum gravity C Krishnan, KVP Kumar, A Raju Journal of High Energy Physics 2016 (10), 1-21, 2016 | 23 | 2016 |

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 | 23 | 1999 |