A knowledge based semantics of messages R Parikh, R Ramanujam Journal of Logic, Language and Information 12, 453-467, 2003 | 237 | 2003 |

Distributed processes and the logic of knowledge: Preliminary report R Parikh, R Ramanujam Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, 256-268, 1985 | 219 | 1985 |

Tuber crops SP Ghosh, JS Jos, RG Nair, T Ramanujam, SN Moorthy New Delhi, IN: Oxford IBH Publishing, 1988 | 89 | 1988 |

Tagging makes secrecy decidable with unbounded nonces as well R Ramanujam, SP Suresh FST TCS 2003: Foundations of Software Technology and Theoretical Computer …, 2003 | 82 | 2003 |

Temporal logics for communicating sequential agents: I K Lodaya, R Ramanujam, PS Thiagarajan International Journal of Foundations of Computer Science 3 (02), 117-159, 1992 | 82 | 1992 |

Gems of theoretical computer science U Schöning, RJ Pruim Springer Science & Business Media, 2012 | 77* | 2012 |

A logical study of distributed transition systems K Lodaya, R Parikh, R Ramanujam, PS Thiagarajan Information and computation 119 (1), 91-118, 1995 | 75 | 1995 |

A logical study of distributed transition systems K Lodaya, R Parikh, R Ramanujam, PS Thiagarajan Information and computation 119 (1), 91-118, 1995 | 75 | 1995 |

Knowledge-based modelling of voting protocols A Baskar, R Ramanujam, SP Suresh Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007 | 72 | 2007 |

Locally linear time temporal logic R Ramanujam Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 118-127, 1996 | 69 | 1996 |

Decidability of context-explicit security protocols R Ramanujam, SP Suresh Journal of Computer Security 13 (1), 135-165, 2005 | 54 | 2005 |

Dynamic Logic on Games with Structured Strategies. R Ramanujam, SE Simon KR, 49-58, 2008 | 53 | 2008 |

A decidable subclass of unbounded security protocols R Ramanujam, SP Suresh Proc. IFIP Workshop on Issues in the Theory of Security (WITS’03), 11-20, 2003 | 40 | 2003 |

Local knowledge assertions in a changing world R Ramanujam Proceedings of the 6th Conference on Theoretical Aspects of Rationality and …, 1996 | 34 | 1996 |

Models and logics for true concurrency K Lodaya, M Mukund, R Ramanujam, PS Thiagarajan Sadhana 17, 131-165, 1992 | 34 | 1992 |

A logical structure for strategies R Ramanujam, S Simon Logic and the foundations of game and decision theory (LOFT 7) 3, 183-208, 2008 | 28 | 2008 |

Reasoning about message passing in finite state environments B Meenakshi, R Ramanujam ICALP 1853, 487-498, 2000 | 28 | 2000 |

Deciding knowledge properties of security protocols R Ramanujam, SP Suresh Proceedings of the 10th conference on Theoretical aspects of rationality and …, 2005 | 22 | 2005 |

Bundled fragments of first-order modal logic:(un) decidability A Padmanabha, R Ramanujam, Y Wang arXiv preprint arXiv:1803.10508, 2018 | 20 | 2018 |

Reasoning about layered message passing systems B Meenakshi, R Ramanujam Computer Languages, Systems & Structures 30 (3-4), 171-206, 2004 | 19 | 2004 |