Follow
R. Ramanujam
Title
Cited by
Cited by
Year
A knowledge based semantics of messages
R Parikh, R Ramanujam
Journal of Logic, Language and Information 12, 453-467, 2003
2392003
Distributed processes and the logic of knowledge: Preliminary report
R Parikh, R Ramanujam
Workshop on Logic of Programs, 256-268, 1985
2221985
Tuber crops
SP Ghosh
Oxford & IBH Publishing Company, 1988
941988
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
891992
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
802003
Locally linear time temporal logic
R Ramanujam
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 118-127, 1996
771996
A logical study of distributed transition systems
K Lodaya, R Parikh, R Ramanujam, PS Thiagarajan
Information and computation 119 (1), 91-118, 1995
761995
Knowledge-based modelling of voting protocols
A Baskar, R Ramanujam, SP Suresh
Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007
742007
Dynamic Logic on Games with Structured Strategies.
R Ramanujam, SE Simon
KR, 49-58, 2008
552008
Decidability of context-explicit security protocols
R Ramanujam, SP Suresh
Journal of Computer Security 13 (1), 135-165, 2005
542005
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
392003
Local knowledge assertions in a changing world
R Ramanujam
Proceedings of the 6th Conference on Theoretical Aspects of Rationality and …, 1996
351996
Models and logics for true concurrency
K Lodaya, M Mukund, R Ramanujam, PS Thiagarajan
Sadhana 17, 131-165, 1992
341992
A logical structure for strategies
R Ramanujam, S Simon
Logic and the foundations of game and decision theory (LOFT 7) 3, 183-208, 2008
292008
Reasoning about message passing in finite state environments
B Meenakshi, R Ramanujam
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
282000
Bundled fragments of first-order modal logic:(un) decidability
A Padmanabha, R Ramanujam, Y Wang
arXiv preprint arXiv:1803.10508, 2018
272018
Deciding knowledge properties of security protocols
R Ramanujam, SP Suresh
Proceedings of the 10th conference on Theoretical aspects of rationality and …, 2005
232005
The monodic fragment of propositional term modal logic
A Padmanabha, R Ramanujam
Studia Logica 107, 533-557, 2019
222019
Reasoning about layered message passing systems
B Meenakshi, R Ramanujam
Computer Languages, Systems & Structures 30 (3-4), 171-206, 2004
202004
The system can't perform the operation now. Try again later.
Articles 1–20