2009 |
6 | EE | Tal Lev-Ami,
Neil Immerman,
Thomas W. Reps,
Mooly Sagiv,
Siddharth Srivastava,
Greta Yorsh:
Simulating reachability using first-order logic with applications to verification of linked data structures
CoRR abs/0904.4902: (2009) |
2008 |
5 | | Siddharth Srivastava,
Neil Immerman,
Shlomo Zilberstein:
Learning Generalized Plans Using Abstract Counting.
AAAI 2008: 991-997 |
2004 |
4 | | 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.
ISBI 2004: 1127-1130 |
3 | EE | 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.
MICCAI (1) 2004: 327-334 |
2003 |
2 | EE | Siddharth Srivastava,
Frederik Maes,
Dirk Vandermeulen,
Patrick Dupont,
Wim Van Paesschen,
Paul Suetens:
An Automated 3D Algorithm for Neo-cortical Thickness Measurement.
MICCAI (2) 2003: 488-495 |
2001 |
1 | EE | Siddharth Srivastava,
Koen Van Leemput,
Frederik Maes,
Dirk Vandermeulen,
Paul Suetens:
Validation of Nonlinear Spatial Filtering to Improve Tissue Segmentation of MR Brain Images.
MICCAI 2001: 507-515 |