A knowledge based semantics of messages R Parikh, R Ramanujam Journal of Logic, Language and Information 12, 453-467, 2003 | 239 | 2003 |
Distributed processes and the logic of knowledge: Preliminary report R Parikh, R Ramanujam Workshop on Logic of Programs, 256-268, 1985 | 222 | 1985 |
Tuber crops SP Ghosh Oxford & IBH Publishing Company, 1988 | 94 | 1988 |
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 | 89 | 1992 |
Gems of theoretical computer science U Schöning, RJ Pruim Springer Science & Business Media, 2012 | 82* | 2012 |
Tagging makes secrecy decidable with unbounded nonces as well R Ramanujam, SP Suresh International Conference on Foundations of Software Technology and …, 2003 | 80 | 2003 |
Locally linear time temporal logic R Ramanujam Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 118-127, 1996 | 77 | 1996 |
A logical study of distributed transition systems K Lodaya, R Parikh, R Ramanujam, PS Thiagarajan Information and computation 119 (1), 91-118, 1995 | 76 | 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 | 74 | 2007 |
Dynamic Logic on Games with Structured Strategies. R Ramanujam, SE Simon KR, 49-58, 2008 | 55 | 2008 |
Decidability of context-explicit security protocols R Ramanujam, SP Suresh Journal of Computer Security 13 (1), 135-165, 2005 | 54 | 2005 |
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 | 39 | 2003 |
Local knowledge assertions in a changing world R Ramanujam Proceedings of the 6th Conference on Theoretical Aspects of Rationality and …, 1996 | 35 | 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 | 29 | 2008 |
Reasoning about message passing in finite state environments B Meenakshi, R Ramanujam Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000 | 28 | 2000 |
Bundled fragments of first-order modal logic:(un) decidability A Padmanabha, R Ramanujam, Y Wang arXiv preprint arXiv:1803.10508, 2018 | 27 | 2018 |
Deciding knowledge properties of security protocols R Ramanujam, SP Suresh Proceedings of the 10th conference on Theoretical aspects of rationality and …, 2005 | 23 | 2005 |
The monodic fragment of propositional term modal logic A Padmanabha, R Ramanujam Studia Logica 107, 533-557, 2019 | 22 | 2019 |
Reasoning about layered message passing systems B Meenakshi, R Ramanujam Computer Languages, Systems & Structures 30 (3-4), 171-206, 2004 | 20 | 2004 |