Elements of Timed Pattern Matching.

Dogan Ulus Thomas Ferrère Eugene Asarin Dejan Nickovic Oded Maler

Published in: ACM Trans. Embed. Comput. Syst. (2024)

Keyphrases

pattern matching
regular expressions
pattern matching algorithm
matching process
tree matching
petri net
graph matching
bit parallel
database
approximate pattern matching
boyer moore
string matching
suffix tree