| 2016 | LFCS | Definability in First Order Theories of Graph Orderings. | Ramaswamy Ramanujam, Ramanathan S. Thinniyam |
| 2014 | ICISS | Extending Dolev-Yao with Assertions. | Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2011 | TARK | Neighbourhood structure in large games. | Soumya Paul, Ramaswamy Ramanujam |
| 2010 | CONCUR | A Communication Based Model for Games of Imperfect Information. | Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2010 | MFCS | A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
| 2009 | CiE | Stability under Strategy Switching. | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2009 | TARK | Dynamic restriction of choices: a preliminary logical report. | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2008 | KR | Dynamic Logic on Games with Structured Strategies. | Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2007 | TARK | Knowledge-based modelling of voting protocols. | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
| 2005 | TARK | Deciding knowledge properties of security protocols. | Ramaswamy Ramanujam, S. P. Suresh |
| 2003 | VMCAI | Reasoning about Layered Message Passing Systems. | B. Meenakshi, Ramaswamy Ramanujam |
| 2000 | ICALP | Reasoning about Message Passing in Finite State Environments. | B. Meenakshi, Ramaswamy Ramanujam |
| 1996 | LICS | Locally Linear Time Temporal Logic. | Ramaswamy Ramanujam |
| 1996 | TARK | Local Knowledge Assertions in a Changing World. | Ramaswamy Ramanujam |
| 1994 | TARK | Knowledge and the Ordering of Events in Distributed Systems. | Paul J. Krasucki, Ramaswamy Ramanujam |