Online timed pattern matching using automata

DOI10.1007/978-3-030-00151-3_13MaRDI QIDQ1631233zbMATH OpenOpenAlexFDO

Authors Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Eugene Asarin, Dejan Ničković

Publication date 6 December 2018

Full work available at URL https://doi.org/10.1007/978-3-030-00151-3_13

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Online timed pattern matching using derivatives
• Timed pattern matching
• Efficient online timed pattern matching by automata-based skipping
• Online quantitative timed pattern matching with semiring-valued weighted automata
• A Boyer-Moore type algorithm for timed pattern matching

Cited in

(9)

• Online quantitative timed pattern matching with semiring-valued weighted automata
• Pattern matching in link streams: a token-based approach
• On the complexity of timed pattern matching
• Online timed pattern matching using derivatives
• Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
• Efficient online timed pattern matching by automata-based skipping
• A Boyer-Moore type algorithm for timed pattern matching
• Timed pattern matching
• Pattern matching in link streams: timed-automata with finite memory

This page was built for publication: Online timed pattern matching using automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1631233)