Ramaswamy Ramanujam

66 papers A* 3B 9C 2Misc 3Journal 19Unranked 23

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