The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sanjiva Prasad: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberto M. Amadio, Sanjiva Prasad
    The Game of the Name in Cryptographic Tables. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:15-26 [Conf]
  2. Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
    Reflecting BDDs in Coq. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2000, pp:162-181 [Conf]
  3. Roberto M. Amadio, Sanjiva Prasad
    Modelling IP Mobility. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:301-316 [Conf]
  4. Roberto M. Amadio, Sanjiva Prasad
    Localities and Failures (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:205-216 [Conf]
  5. Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
    Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:765-778 [Conf]
  6. Rahul Agarwal, Mahender Bisht, S. N. Maheshwari, Sanjiva Prasad
    Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2005, pp:172-183 [Conf]
  7. Deepak Garg, Akash Lal, Sanjiva Prasad
    Effective Chemistry for Synchrony and Asynchrony. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:479-492 [Conf]
  8. Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
    FACILE: A Symmetric Integration of Concurrent and Functional Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:184-209 [Conf]
  9. Sanjiva Prasad
    Models for Mobile Computing Agents. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:53- [Journal]
  10. Roberto M. Amadio, Sanjiva Prasad
    Modelling IP Mobility. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:1, pp:61-99 [Journal]
  11. Martin Karsten, S. Keshav, Sanjiva Prasad, Mirza Beg
    An axiomatic basis for communication. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 2007, pp:217-228 [Conf]

Search in 0.002secs, Finished in 0.002secs
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