Ramaswamy Ramanujam

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 6

Top Topics

Voting Protocols

Coloured Petri Nets

Finite Model Theory

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Solving the insecurity problem for assertions. CoRR (2023)
Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang
Are Bundles Good Deals for FOML? CoRR (2022)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Protocol Insecurity with Assertions. CoRR (2022)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Existential Assertions for Voting Protocols. CoRR (2017)
Ramaswamy Ramanujam, Ramanathan S. Thinniyam
Definability in First Order Theories of Graph Orderings. LFCS (2016)
Ramaswamy Ramanujam, S. Sheerazuddin
Realizable temporal logics for web service choreography. J. Log. Algebraic Methods Program. 85 (5) (2016)
Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Extending Dolev-Yao with Assertions. ICISS (2014)
Soumya Paul, Ramaswamy Ramanujam
Subgames within Large Games and the Heuristic of Imitation. Stud Logica 102 (2) (2014)
Ramaswamy Ramanujam, S. Sheerazuddin
A Local Logic for Realizability in Web Service Choreographies. WWV (2014)
Soumya Paul, Ramaswamy Ramanujam
Dynamics of Choice restriction in Large Games. IGTR 15 (4) (2013)
Soumya Paul, Ramaswamy Ramanujam
Neighbourhood structure in large games. TARK (2011)
Sujata Ghosh, Ramaswamy Ramanujam
Strategies in Games: A Logic-Automata Study. ESSLLI (2011)
Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam
Logic in India - Editorial Introduction. J. Philos. Log. 40 (5) (2011)
Soumya Paul, Ramaswamy Ramanujam
Dynamic Restriction of Choices: Synthesis of Societal Rules. LORI (2011)
Amaldev Manuel, Ramaswamy Ramanujam
Class Counting Automata on Datawords. Int. J. Found. Comput. Sci. 22 (4) (2011)
Soumya Paul, Ramaswamy Ramanujam
Imitation in Large Games GANDALF (2010)
Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon
Playing Extensive Form Games in Parallel. CLIMA (2010)
Swarup Mohalik, Ramaswamy Ramanujam
Automata for Epistemic Temporal Logic with Synchronous Communication. J. Log. Lang. Inf. 19 (4) (2010)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. MFCS (2010)
Sujata Ghosh, Ramaswamy Ramanujam
Logic and social interaction: introduction. Synth. 177 (Supplement-1) (2010)
Ramaswamy Ramanujam, Sunil Easaw Simon
A Communication Based Model for Games of Imperfect Information. CONCUR (2010)
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon
Stability under Strategy Switching. CiE (2009)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
A Dolev-Yao Model for Zero Knowledge. ASIAN (2009)
Amaldev Manuel, Ramaswamy Ramanujam
Counting Multiplicity over Infinite Alphabets. RP (2009)
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon
Dynamic restriction of choices: a preliminary logical report. TARK (2009)
Rajdeep Niyogi, Ramaswamy Ramanujam
An Epistemic Logic for Planning with Trials. LORI (2009)
Ramaswamy Ramanujam, Sunil Easaw Simon
Structured strategies in games on graphs. Logic and Automata (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data (2008)
Ramaswamy Ramanujam, Sunil Easaw Simon
Dynamic Logic on Games with Structured Strategies. KR (2008)
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
Knowledge-based modelling of voting protocols. TARK (2007)
Ramaswamy Ramanujam, S. P. Suresh
A (restricted) quantifier elimination for security protocols. Theor. Comput. Sci. 367 (1-2) (2006)
Ramaswamy Ramanujam, S. P. Suresh
Decidability of context-explicit security protocols. J. Comput. Secur. 13 (1) (2005)
Ramaswamy Ramanujam, S. P. Suresh
Deciding knowledge properties of security protocols. TARK (2005)
B. Meenakshi, Ramaswamy Ramanujam
Reasoning about layered message passing systems. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Layered Message Passing Systems. VMCAI (2003)
Ramaswamy Ramanujam, S. P. Suresh
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. FSTTCS (2003)
Rohit Parikh, Ramaswamy Ramanujam
A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. 12 (4) (2003)
Ramaswamy Ramanujam, S. P. Suresh
Information based reasoning about security protocols. Electron. Notes Theor. Comput. Sci. 55 (1) (2001)
B. Meenakshi, Ramaswamy Ramanujam
Reasoning about Message Passing in Finite State Environments. ICALP (2000)
Kamal Lodaya, Ramaswamy Ramanujam
An Automaton Model of User-Controlled Navigation on the Web. CIAA (2000)
Ramaswamy Ramanujam
View-Based Explicit Knowledge. Ann. Pure Appl. Log. 96 (1-3) (1999)
Swarup Mohalik, Ramaswamy Ramanujam
A Presentation of Regular Languages in the Assumption - Commitment Framework. ACSD (1998)
Ramaswamy Ramanujam
Rules for Trace Consistent Reasoning. ASIAN (1997)
Swarup Mohalik, Ramaswamy Ramanujam
Assumption-Commitment in Automata. FSTTCS (1997)
Ramaswamy Ramanujam
Trace Consistency and Inevitablity. FSTTCS (1996)
Ramaswamy Ramanujam
Locally Linear Time Temporal Logic. LICS (1996)
Ramaswamy Ramanujam
Local Knowledge Assertions in a Changing World. TARK (1996)
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
A Logical Study of Distributed Transition Systems Inf. Comput. 119 (1) (1995)
Paul J. Krasucki, Ramaswamy Ramanujam
Knowledge and the Ordering of Events in Distributed Systems. TARK (1994)
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. 3 (2) (1992)
Kamal Lodaya, Ramaswamy Ramanujam
Tense Logics for Local Reasoning in Distributed Systems. FSTTCS (1991)
Ramaswamy Ramanujam
Semantics of Distributed Definite Clause Programs. Theor. Comput. Sci. 68 (2) (1989)
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
A logic for distributed transition systems. REX Workshop (1988)
Ramaswamy Ramanujam
Semantics of Distributed Horn Clause Programs. FSTTCS (1987)
Ramaswamy Ramanujam, Kamal Lodaya
Proving Fairness of Schedulers. Logic of Programs (1985)
Rohit Parikh, Ramaswamy Ramanujam
Distributed Processes and the Logic of Knowledge. Logic of Programs (1985)
Ramaswamy Ramanujam, R. K. Shyamasundar
Process Specification of Logic Programs. FSTTCS (1984)