NScale: neighborhood-centric large-scale graph analytics in the cloud
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism