# Ramaswamy Ramanujam

According to our database

Collaborative distances:

^{1}, Ramaswamy Ramanujam authored at least 65 papers between 1984 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

Bundled fragments of first-order modal logic: (un)decidability.

CoRR, 2018

2017

Deviator Detection under Imperfect Monitoring.

CoRR, 2017

Existential Assertions for Voting Protocols.

CoRR, 2017

Strategy Composition in Dynamic Games with Simultaneous Moves.

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

Existential Assertions for Voting Protocols.

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Realizable temporal logics for web service choreography.

J. Log. Algebr. Meth. Program., 2016

A Retraction Theorem for Distributed Synthesis.

CoRR, 2016

Definability in First Order Theories of Graph Orderings.

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

The Complexity of Disjunction in Intuitionistic Logic.

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015

Automata and Compositional Strategies in Extensive Form Games.

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

2014

Subgames within Large Games and the Heuristic of Imitation.

Studia Logica, 2014

A Local Logic for Realizability in Web Service Choreographies.

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

Extending Dolev-Yao with Assertions.

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

Logical Player Types for a Theory of Play.

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

2013

Dynamics of Choice restriction in Large Games.

IGTR, 2013

Preface to the Special Issue on Gtora 2012.

IGTR, 2013

2012

Automata over Infinite Alphabets.

Modern Applications of Automata Theory, 2012

2011

Logic in India - Editorial Introduction.

J. Philosophical Logic, 2011

Class Counting Automata on Datawords.

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

Neighbourhood structure in large games.

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

Dynamic Restriction of Choices: Synthesis of Societal Rules.

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

Strategies in Games: A Logic-Automata Study.

Proceedings of the Lectures on Logic and Computation, 2011

2010

Logic and social interaction: introduction.

Synthese, 2010

Automata for Epistemic Temporal Logic with Synchronous Communication.

Journal of Logic, Language and Information, 2010

Imitation in Large Games

Proceedings of the Proceedings First Symposium on Games, 2010

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

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

A Communication Based Model for Games of Imperfect Information.

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

Playing Extensive Form Games in Parallel.

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

2009

Dynamic restriction of choices: a preliminary logical report.

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

Counting Multiplicity over Infinite Alphabets.

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

An Epistemic Logic for Planning with Trials.

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

Stability under Strategy Switching.

Proceedings of the Mathematical Theory and Computational Practice, 2009

A Dolev-Yao Model for Zero Knowledge.

Proceedings of the Advances in Computer Science, 2009

2008

Dynamic Logic on Games with Structured Strategies.

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.

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.

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

Structured strategies in games on graphs.

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

2007

Knowledge-based modelling of voting protocols.

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

2006

A (restricted) quantifier elimination for security protocols.

Theor. Comput. Sci., 2006

2005

Decidability of context-explicit security protocols.

Journal of Computer Security, 2005

Deciding knowledge properties of security protocols.

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

2004

Reasoning about layered message passing systems.

Computer Languages, Systems & Structures, 2004

2003

A Knowledge Based Semantics of Messages.

Journal of Logic, Language and Information, 2003

Reasoning about Layered Message Passing Systems.

Proceedings of the Verification, 2003

Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.

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

2001

Information based reasoning about security protocols.

Electr. Notes Theor. Comput. Sci., 2001

2000

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

Proceedings of the Implementation and Application of Automata, 2000

Reasoning about Message Passing in Finite State Environments.

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

1999

View-Based Explicit Knowledge.

Ann. Pure Appl. Logic, 1999

1998

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

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

1997

Assumption-Commitment in Automata.

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

Rules for Trace Consistent Reasoning.

Proceedings of the Advances in Computing Science, 1997

1996

Local Knowledge Assertions in a Changing World.

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

Locally Linear Time Temporal Logic.

Proceedings of the Proceedings, 1996

Trace Consistency and Inevitablity.

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

1995

A Logical Study of Distributed Transition Systems

Inf. Comput., May, 1995

1994

Knowledge and the Ordering of Events in Distributed Systems.

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

1992

Temporal Logics for Communicating Sequential Agents: I.

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

1991

Tense Logics for Local Reasoning in Distributed Systems.

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

1989

Semantics of Distributed Definite Clause Programs.

Theor. Comput. Sci., 1989

1988

A logic for distributed transition systems.

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.

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

1985

Proving Fairness of Schedulers.

Proceedings of the Logics of Programs, 1985

Distributed Processes and the Logic of Knowledge.

Proceedings of the Logics of Programs, 1985

1984

Process Specification of Logic Programs.

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