| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amaldev Manuel, Ramaswamy Ramanujam |
Class Counting Automata on Datawords.  |
Int. J. Found. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam |
Logic in India - Editorial Introduction. |
J. Philosophical Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam |
Dynamic Restriction of Choices: Synthesis of Societal Rules. |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam |
Neighbourhood structure in large games. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarup Mohalik, Ramaswamy Ramanujam |
Automata for Epistemic Temporal Logic with Synchronous Communication. |
Journal of Logic, Language and Information |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam |
Imitation in Large Games |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Ramaswamy Ramanujam |
Logic and social interaction: introduction. |
Synthese |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Sunil Easaw Simon |
A Communication Based Model for Games of Imperfect Information. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon |
Playing Extensive Form Games in Parallel. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajdeep Niyogi, Ramaswamy Ramanujam |
An Epistemic Logic for Planning with Trials. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
A Dolev-Yao Model for Zero Knowledge. |
ASIAN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amaldev Manuel, Ramaswamy Ramanujam |
Counting Multiplicity over Infinite Alphabets. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic restriction of choices: a preliminary logical report. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Sundar Sarukkai (eds.) |
Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
Stability under Strategy Switching. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
strategy specifications, strategy switching, Graphical games |
| 1 | Ramaswamy Ramanujam, Sunil Easaw Simon |
Structured strategies in games on graphs. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Sunil Easaw Simon |
Dynamic Logic on Games with Structured Strategies. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh |
Knowledge-based modelling of voting protocols. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, S. P. Suresh |
A (restricted) quantifier elimination for security protocols. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, S. P. Suresh |
Decidability of context-explicit security protocols. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, S. P. Suresh |
Deciding knowledge properties of security protocols. |
TARK |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Sandeep Sen (eds.) |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings |
FSTTCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | B. Meenakshi, Ramaswamy Ramanujam |
Reasoning about layered message passing systems. |
Computer Languages, Systems & Structures |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Parikh, Ramaswamy Ramanujam |
A Knowledge Based Semantics of Messages. |
Journal of Logic, Language and Information |
2003 |
DBLP DOI BibTeX RDF |
protocol, semantics, logic, knowledge, messages |
| 1 | B. Meenakshi, Ramaswamy Ramanujam |
Reasoning about Layered Message Passing Systems. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, S. P. Suresh |
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, S. P. Suresh |
Information based reasoning about security protocols. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Meenakshi, Ramaswamy Ramanujam |
Reasoning about Message Passing in Finite State Environments. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam |
An Automaton Model of User-Controlled Navigation on the Web. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam |
View-Based Explicit Knowledge. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Pandu Rangan, Venkatesh Raman, Ramaswamy Ramanujam (eds.) |
Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings |
FSTTCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Swarup Mohalik, Ramaswamy Ramanujam |
A Presentation of Regular Languages in the Assumption - Commitment Framework. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
assumption-commitment, distributed systems, Regular languages |
| 1 | Vikraman Arvind, Ramaswamy Ramanujam (eds.) |
Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings |
FSTTCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam |
Rules for Trace Consistent Reasoning. |
ASIAN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarup Mohalik, Ramaswamy Ramanujam |
Assumption-Commitment in Automata. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam |
Locally Linear Time Temporal Logic. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam |
Local Knowledge Assertions in a Changing World. |
TARK |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam |
Trace Consistency and Inevitablity. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan |
A Logical Study of Distributed Transition Systems |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul J. Krasucki, Ramaswamy Ramanujam |
Knowledge and the Ordering of Events in Distributed Systems. |
TARK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan |
Temporal Logics for Communicating Sequential Agents: I. |
Int. J. Found. Comput. Sci. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam |
Tense Logics for Local Reasoning in Distributed Systems. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam |
Semantics of Distributed Definite Clause Programs. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan |
A logic for distributed transition sytems. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
concurrent step, distributed transition systems, completeness, soundness, axiomatization |
| 1 | Ramaswamy Ramanujam |
Semantics of Distributed Horn Clause Programs. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, Kamal Lodaya |
Proving Fairness of Schedulers. |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Parikh, Ramaswamy Ramanujam |
Distributed Processes and the Logic of Knowledge. |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramaswamy Ramanujam, R. K. Shyamasundar |
Process Specification of Logic Programs. |
FSTTCS |
1984 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")