The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ramaswamy Ramanujam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  28. A Dolev-Yao Model for Zero Knowledge. [Citation Graph (, )][DBLP]


  29. Stability under Strategy Switching. [Citation Graph (, )][DBLP]


  30. Playing Extensive Form Games in Parallel. [Citation Graph (, )][DBLP]


  31. A Communication Based Model for Games of Imperfect Information. [Citation Graph (, )][DBLP]


  32. Dynamic Logic on Games with Structured Strategies. [Citation Graph (, )][DBLP]


  33. A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. [Citation Graph (, )][DBLP]


  34. Dynamic restriction of choices: a preliminary logical report. [Citation Graph (, )][DBLP]


  35. Knowledge-based modelling of voting protocols. [Citation Graph (, )][DBLP]


  36. Counting Multiplicity over Infinite Alphabets. [Citation Graph (, )][DBLP]


  37. An Epistemic Logic for Planning with Trials. [Citation Graph (, )][DBLP]


  38. Imitation in Large Games [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002