Verification of Evolving Graph Structures (Dagstuhl Seminar 15451).

Parosh Aziz Abdulla Fabio Gadducci Barbara König Viktor Vafeiadis

Published in: Dagstuhl Reports (2015)

Keyphrases

graph structures
graph structure
structured data
directed graph
graph mining
graph clustering
graph data
random walk
database
database systems
pairwise
data sources