The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Saurabh Srivastava: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Saurabh Srivastava, R. K. Ghosh
    Cluster based routing using a k-tree core backbone for mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    DIAL-M, 2002, pp:14-23 [Conf]
  2. Saurabh Srivastava, Phalguni Gupta
    Approximating the Range Sum of a Graph on CREW PRAM. [Citation Graph (0, 0)][DBLP]
    IWDC, 2002, pp:312-318 [Conf]
  3. Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
    Modular information hiding and type-safe linking for C. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:3-14 [Conf]
  4. Saurabh Srivastava, R. K. Ghosh
    Distributed algorithms for finding and maintaining a k-tree core in a dynamic network. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:88, n:4, pp:187-194 [Journal]

  5. VS3: SMT Solvers for Program Verification. [Citation Graph (, )][DBLP]


  6. Program analysis as constraint solving. [Citation Graph (, )][DBLP]


  7. Program verification using templates over predicate abstraction. [Citation Graph (, )][DBLP]


  8. From program verification to program synthesis. [Citation Graph (, )][DBLP]


  9. Constraint-Based Invariant Inference over Predicate Abstraction. [Citation Graph (, )][DBLP]


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