Ramaswamy Ramanujam

According to our database, Ramaswamy Ramanujam authored at least 83 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

ACM Trans. Comput. Log., October, 2023

Are bundles good deals for first-order modal logic?

Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Inf. Comput., August, 2023

Preface.

Sujata Ghosh, R. Ramanujam

J. Log. Lang. Inf., March, 2023

Solving the insecurity problem for assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

CoRR, 2023

A Logical Description of Priority Separable Games.

Ramit Das, R. Ramanujam, Sunil Simon

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

Big Ideas from Logic for Mathematics and Computing Education.

R. Ramanujam

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

Protocol Insecurity with Assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

CoRR, 2022

Are Bundles Good Deals for FOML?

Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang

CoRR, 2022

Generalized Bundled Fragments for First-Order Modal Logic.

Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

Reasoning about Emergence of Collective Memory.

R. Ramanujam

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Reasoning in Large Games with Unboundedly Many Players.

Ramit Das, Anantha Padmanabha, R. Ramanujam

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Definability in first-order theories of graph orderings ⋆.

R. Ramanujam, Ramanathan S. Thinniyam

J. Log. Comput., 2020

The complexity of disjunction in intuitionistic logic.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

J. Log. Comput., 2020

Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes.

Anantha Padmanabha, R. Ramanujam

Proceedings of the Distributed Computing and Internet Technology, 2020

2019

The Monodic Fragment of Propositional Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

Stud Logica, 2019

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic.

Ramit Das, R. Ramanujam, Sunil Simon

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Dolev-Yao Theory with Associative Blindpair Operators.

Anguraj Baskar, R. Ramanujam, S. P. Suresh

Proceedings of the Implementation and Application of Automata, 2019

Subset Spaces for Conditional Norms.

Huimin Dong, R. Ramanujam, Yì N. Wáng

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Two variable fragment of Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Propositional Modal Logic with Implicit Modal Quantification.

Anantha Padmanabha, R. Ramanujam

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Bundled Fragments of First-Order Modal Logic: (Un)Decidability.

Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Deviator Detection under Imperfect Monitoring.

Dietmar Berwanger, R. Ramanujam

CoRR, 2017

Model Checking a Logic over Systems with Regular Sets of Processes.

Anantha Padmanabha, R. Ramanujam

Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017

Strategy Composition in Dynamic Games with Simultaneous Moves.

Sujata Ghosh, Neethi Konar, R. Ramanujam

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Existential Assertions for Voting Protocols.

R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Realizable temporal logics for web service choreography.

Ramaswamy Ramanujam, S. Sheerazuddin

J. Log. Algebraic Methods Program., 2016

A Retraction Theorem for Distributed Synthesis.

Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam

CoRR, 2016

2015

Automata and Compositional Strategies in Extensive Form Games.

Soumya Paul, Ramaswamy Ramanujam, Sunil Simon

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

2014

Subgames within Large Games and the Heuristic of Imitation.

Soumya Paul, Ramaswamy Ramanujam

Stud Logica, 2014

A Local Logic for Realizability in Web Service Choreographies.

Ramaswamy Ramanujam, S. Sheerazuddin

Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014

Extending Dolev-Yao with Assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Proceedings of the Information Systems Security - 10th International Conference, 2014

Logical Player Types for a Theory of Play.

R. Ramanujam

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Dynamics of Choice restriction in Large Games.

Soumya Paul, Ramaswamy Ramanujam

IGTR, 2013

Preface to the Special Issue on Gtora 2012.

M. Seetharama Gowda, Nagarajan Krishnamurthy, T. Parthasarathy, R. Ramanujam, G. Ravindran

IGTR, 2013

2012

Automata over Infinite Alphabets.

Amaldev Manuel, Ramaswamy Ramanujam

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Logic in India - Editorial Introduction.

Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam

J. Philos. Log., 2011

Class Counting Automata on Datawords.

Amaldev Manuel, Ramaswamy Ramanujam

Int. J. Found. Comput. Sci., 2011

Neighbourhood structure in large games.

Soumya Paul, Ramaswamy Ramanujam

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Dynamic Restriction of Choices: Synthesis of Societal Rules.

Soumya Paul, Ramaswamy Ramanujam

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Strategies in Games: A Logic-Automata Study.

Sujata Ghosh, Ramaswamy Ramanujam

Proceedings of the Lectures on Logic and Computation, 2011

2010

Logic and social interaction: introduction.

Sujata Ghosh, Ramaswamy Ramanujam

Synth., 2010

Automata for Epistemic Temporal Logic with Synchronous Communication.

Swarup Mohalik, Ramaswamy Ramanujam

J. Log. Lang. Inf., 2010

Imitation in Large Games

Soumya Paul, Ramaswamy Ramanujam

Proceedings of the Proceedings First Symposium on Games, 2010

A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

A Communication Based Model for Games of Imperfect Information.

Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Playing Extensive Form Games in Parallel.

Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Dynamic restriction of choices: a preliminary logical report.

Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Counting Multiplicity over Infinite Alphabets.

Amaldev Manuel, Ramaswamy Ramanujam

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

An Epistemic Logic for Planning with Trials.

Rajdeep Niyogi, Ramaswamy Ramanujam

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Stability under Strategy Switching.

Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the Mathematical Theory and Computational Practice, 2009

A Dolev-Yao Model for Zero Knowledge.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the Advances in Computer Science, 2009

2008

Dynamic Logic on Games with Structured Strategies.

Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.

Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.

Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

Structured strategies in games on graphs.

Ramaswamy Ramanujam, Sunil Easaw Simon

Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

2007

Knowledge-based modelling of voting protocols.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

2006

A (restricted) quantifier elimination for security protocols.

Ramaswamy Ramanujam, S. P. Suresh

Theor. Comput. Sci., 2006

2005

Decidability of context-explicit security protocols.

Ramaswamy Ramanujam, S. P. Suresh

J. Comput. Secur., 2005

Deciding knowledge properties of security protocols.

Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

2004

Reasoning about layered message passing systems.

B. Meenakshi, Ramaswamy Ramanujam

Comput. Lang. Syst. Struct., 2004

2003

A Knowledge Based Semantics of Messages.

Rohit Parikh, Ramaswamy Ramanujam

J. Log. Lang. Inf., 2003

Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.

Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2001

Information based reasoning about security protocols.

Ramaswamy Ramanujam, S. P. Suresh

Proceedings of the Logical Aspects of Cryptographic Protocol Verification, 2001

2000

An Automaton Model of User-Controlled Navigation on the Web.

Kamal Lodaya, Ramaswamy Ramanujam

Proceedings of the Implementation and Application of Automata, 2000

Reasoning about Message Passing in Finite State Environments.

B. Meenakshi, Ramaswamy Ramanujam

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

View-Based Explicit Knowledge.

Ramaswamy Ramanujam

Ann. Pure Appl. Log., 1999

1998

A Presentation of Regular Languages in the Assumption - Commitment Framework.

Swarup Mohalik, Ramaswamy Ramanujam

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Assumption-Commitment in Automata.

Swarup Mohalik, Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

Rules for Trace Consistent Reasoning.

Ramaswamy Ramanujam

Proceedings of the Advances in Computing Science, 1997

1996

Local Knowledge Assertions in a Changing World.

Ramaswamy Ramanujam

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Locally Linear Time Temporal Logic.

Ramaswamy Ramanujam

Proceedings of the Proceedings, 1996

Trace Consistency and Inevitablity.

Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

A Logical Study of Distributed Transition Systems

Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan

Inf. Comput., May, 1995

A Local Presentation of Synchronizing Systems.

R. Ramanujam

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1994

Knowledge and the Ordering of Events in Distributed Systems.

Paul J. Krasucki, Ramaswamy Ramanujam

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

1992

Temporal Logics for Communicating Sequential Agents: I.

Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan

Int. J. Found. Comput. Sci., 1992

1991

Tense Logics for Local Reasoning in Distributed Systems.

Kamal Lodaya, Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

1989

Semantics of Distributed Definite Clause Programs.

Ramaswamy Ramanujam

Theor. Comput. Sci., 1989

1988

A logic for distributed transition systems.

Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

Semantics of Distributed Horn Clause Programs.

Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1985

Proving Fairness of Schedulers.

Ramaswamy Ramanujam, Kamal Lodaya

Proceedings of the Logics of Programs, 1985

Distributed Processes and the Logic of Knowledge.

Rohit Parikh, Ramaswamy Ramanujam

Proceedings of the Logics of Programs, 1985

1984

Process Specification of Logic Programs.

Ramaswamy Ramanujam, R. K. Shyamasundar

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984