Concepedia

R. Ramanujam

RR

Statistics

Publications

17

Citations

626

H-Index

14

Active since

1992

Affiliations

Institute of Mathematical Sciences(Current)

Chennai Mathematical Institute

R. Ramanujam is an author at Institute of Mathematical Sciences specializing in computer science, computing, and formal methods.

Publications per year

1992–2018

17

Publications

17

A Knowledge Based Semantics of Messages

Rohit Parikh, R. Ramanujam · Journal of Logic Language and Information · 2003 · 176 citations

Computing, Computer Science, Knowledge Representation +7

Knowledge-based modelling of voting protocols

A. Baskar, R. Ramanujam, S. P. Suresh · 2007 · 55 citations

Computing, Computer Science, Formal Methods +9

Locally linear time temporal logic

R. Ramanujam · 2002 · 53 citations

Computing, Computer Science, Distributed Systems +16

A Logical Study of Distributed Transition Systems

Kamal Lodaya, R. Parikh, R. Ramanujam et al. · Information and Computation · 1995 · 47 citations

Computing, Computer Engineering, Computer Science +14

TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

Kamal Lodaya, R. Ramanujam, P. S. Thiagarajan · International Journal of Foundations of Computer Science · 1992 · 43 citations

Computing, Communication, Computer Science +11

1–5 of 17