Temporal graph patterns by timed automata.

Amir Aghasadeghi Jan Van den Bussche Julia Stoyanovich

Published in: VLDB J. (2024)

Keyphrases

timed automata
graph patterns
model checking
graph mining
pattern mining
theorem prover
mining algorithm
theorem proving
database
pattern discovery
frequent itemset mining
real time systems
databases
machine learning
graph databases
rdf data