The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh
    Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:99-115 [Conf]
  2. Siddharth Srivastava, Dirk Vandermeulen, Frederik Maes, Paul Suetens, Wim Van Paesschen, Patrick Dupont
    Feature Based Statistical Analysis of Structural MR Data for Automatic Detection of Focal Cortical Dysplastic (FCD) Lesions. [Citation Graph (0, 0)][DBLP]
    ISBI, 2004, pp:1127-1130 [Conf]
  3. Siddharth Srivastava, Koen Van Leemput, Frederik Maes, Dirk Vandermeulen, Paul Suetens
    Validation of Nonlinear Spatial Filtering to Improve Tissue Segmentation of MR Brain Images. [Citation Graph (0, 0)][DBLP]
    MICCAI, 2001, pp:507-515 [Conf]
  4. Siddharth Srivastava, Frederik Maes, Dirk Vandermeulen, Patrick Dupont, Wim Van Paesschen, Paul Suetens
    An Automated 3D Algorithm for Neo-cortical Thickness Measurement. [Citation Graph (0, 0)][DBLP]
    MICCAI (2), 2003, pp:488-495 [Conf]
  5. Siddharth Srivastava, Frederik Maes, Dirk Vandermeulen, Wim Van Paesschen, Patrick Dupont, Paul Suetens
    Effects of Anatomical Asymmetry in Spatial Priors on Model-Based Segmentation of the Brain MRI: A Validation Study. [Citation Graph (0, 0)][DBLP]
    MICCAI (1), 2004, pp:327-334 [Conf]

  6. Learning Generalized Plans Using Abstract Counting. [Citation Graph (, )][DBLP]


  7. Computing Applicability Conditions for Plans with Loops. [Citation Graph (, )][DBLP]


  8. Merging example plans into generalized plans for non-deterministic environments. [Citation Graph (, )][DBLP]


  9. Abstract Planning with Unknown Object Quantities and Properties. [Citation Graph (, )][DBLP]


  10. Simulating reachability using first-order logic with applications to verification of linked data structures [Citation Graph (, )][DBLP]


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