 | 2007 |
|---|
| 31 |       | A. Baskar,
Ramaswamy Ramanujam,
S. P. Suresh:
Knowledge-based modelling of voting protocols.
TARK 2007: 62-71 |
| 2006 |
|---|
| 30 | | Ramaswamy Ramanujam,
S. P. Suresh:
A (restricted) quantifier elimination for security protocols.
Theor. Comput. Sci. 367(1-2): 228-256 (2006) |
| 2005 |
|---|
| 29 |  | Ramaswamy Ramanujam,
Sandeep Sen:
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Springer 2005 |
| 28 | | Ramaswamy Ramanujam,
S. P. Suresh:
Deciding knowledge properties of security protocols.
TARK 2005: 219-235 |
| 27 | | Ramaswamy Ramanujam,
S. P. Suresh:
Decidability of context-explicit security protocols.
Journal of Computer Security 13(1): 135-165 (2005) |
| 2004 |
|---|
| 26 | | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about layered message passing systems.
Computer Languages, Systems & Structures 30(3-4): 171-206 (2004) |
| 2003 |
|---|
| 25 | | Ramaswamy Ramanujam,
S. P. Suresh:
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.
FSTTCS 2003: 363-374 |
| 24 | | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about Layered Message Passing Systems.
VMCAI 2003: 268-282 |
| 23 | | Rohit Parikh,
Ramaswamy Ramanujam:
A Knowledge Based Semantics of Messages.
Journal of Logic, Language and Information 12(4): 453-467 (2003) |
| 2001 |
|---|
| 22 | | Ramaswamy Ramanujam,
S. P. Suresh:
Information based reasoning about security protocols.
Electr. Notes Theor. Comput. Sci. 55(1): (2001) |
| 2000 |
|---|
| 21 | | Kamal Lodaya,
Ramaswamy Ramanujam:
An Automaton Model of User-Controlled Navigation on the Web.
CIAA 2000: 208-216 |
| 20 | | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about Message Passing in Finite State Environments.
ICALP 2000: 487-498 |
| 1999 |
|---|
| 19 | | C. Pandu Rangan,
Venkatesh Raman,
Ramaswamy Ramanujam:
Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings
Springer 1999 |
| 18 | | Ramaswamy Ramanujam:
View-Based Explicit Knowledge.
Ann. Pure Appl. Logic 96(1-3): 343-368 (1999) |
| 1998 |
|---|
| 17 | | Vikraman Arvind,
Ramaswamy Ramanujam:
Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings
Springer 1998 |
| 16 | | Swarup Mohalik,
Ramaswamy Ramanujam:
A Presentation of Regular Languages in the Assumption - Commitment Framework.
ACSD 1998: 250- |
| 1997 |
|---|
| 15 | | Ramaswamy Ramanujam:
Rules for Trace Consistent Reasoning.
ASIAN 1997: 57-71 |
| 14 | | Swarup Mohalik,
Ramaswamy Ramanujam:
Assumption-Commitment in Automata.
FSTTCS 1997: 153-168 |
| 1996 |
|---|
| 13 | | Ramaswamy Ramanujam:
Trace Consistency and Inevitablity.
FSTTCS 1996: 250-261 |
| 12 | | Ramaswamy Ramanujam:
Locally Linear Time Temporal Logic.
LICS 1996: 118-127 |
| 11 | | Ramaswamy Ramanujam:
Local Knowledge Assertions in a Changing World.
TARK 1996: 1-14 |
| 1995 |
|---|
| 10 | | Kamal Lodaya,
Rohit Parikh,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems
Inf. Comput. 119(1): 91-118 (1995) |
| 1994 |
|---|
| 9 | | Paul J. Krasucki,
Ramaswamy Ramanujam:
Knowledge and the Ordering of Events in Distributed Systems.
TARK 1994: 267-283 |
| 1992 |
|---|
| 8 | | Kamal Lodaya,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
Temporal Logics for Communicating Sequential Agents: I.
Int. J. Found. Comput. Sci. 3(2): 117-159 (1992) |
| 1991 |
|---|
| 7 | | Kamal Lodaya,
Ramaswamy Ramanujam:
Tense Logics for Local Reasoning in Distributed Systems.
FSTTCS 1991: 71-88 |
| 1989 |
|---|
| 6 | | Ramaswamy Ramanujam:
Semantics of Distributed Definite Clause Programs.
Theor. Comput. Sci. 68(2): 203-220 (1989) |
| 1988 |
|---|
| 5 | | Kamal Lodaya,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
A logic for distributed transition sytems.
REX Workshop 1988: 508-522 |
| 1987 |
|---|
| 4 | | Ramaswamy Ramanujam:
Semantics of Distributed Horn Clause Programs.
FSTTCS 1987: 361-371 |
| 1985 |
|---|
| 3 | | Rohit Parikh,
Ramaswamy Ramanujam:
Distributed Processes and the Logic of Knowledge.
Logic of Programs 1985: 256-268 |
| 2 | | Ramaswamy Ramanujam,
Kamal Lodaya:
Proving Fairness of Schedulers.
Logic of Programs 1985: 284-301 |
| 1984 |
|---|
| 1 | | Ramaswamy Ramanujam,
R. K. Shyamasundar:
Process Specification of Logic Programs.
FSTTCS 1984: 31-43 |
