2007 |
31 | EE | A. Baskar,
Ramaswamy Ramanujam,
S. P. Suresh:
Knowledge-based modelling of voting protocols.
TARK 2007: 62-71 |
2006 |
30 | EE | 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 | EE | 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 | EE | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about layered message passing systems.
Computer Languages, Systems & Structures 30(3-4): 171-206 (2004) |
2003 |
25 | EE | Ramaswamy Ramanujam,
S. P. Suresh:
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.
FSTTCS 2003: 363-374 |
24 | EE | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about Layered Message Passing Systems.
VMCAI 2003: 268-282 |
23 | EE | Rohit Parikh,
Ramaswamy Ramanujam:
A Knowledge Based Semantics of Messages.
Journal of Logic, Language and Information 12(4): 453-467 (2003) |
2001 |
22 | EE | Ramaswamy Ramanujam,
S. P. Suresh:
Information based reasoning about security protocols.
Electr. Notes Theor. Comput. Sci. 55(1): (2001) |
2000 |
21 | EE | Kamal Lodaya,
Ramaswamy Ramanujam:
An Automaton Model of User-Controlled Navigation on the Web.
CIAA 2000: 208-216 |
20 | EE | 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 | EE | 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 | EE | 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 |