5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2019
Flexible graph matching and graph edit distance using answer set programming
Sheung Chi Chan, James Cheney
The graph isomorphism, subgraph isomorphism, and graph edit distance problems are combinatorial problems with many applications. Heuristic exact and approximate algorithms for each…
cs.CR2019★ 5 cited
ProvMark: A Provenance Expressiveness Benchmarking System
Sheung Chi Chan, James Cheney, Pramod Bhatotia +5
System level provenance is of widespread interest for applications such as security enforcement and information protection. However, testing the correctness or completeness of prov…