scientific article; zbMATH DE number 2040946

MaRDI QIDQ4452097zbMATH OpenFDO

Authors Cătălin Dima

Publication date 11 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2731/27310141.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Timed regular expressions
• Balanced timed regular expressions
• Duration-constrained regular expressions
• Timed pattern matching
• Deterministic regular expressions with interleaving
• On equivalences for a class of timed regular expressions
• Synchronized regular expressions
• Synchronized regular expressions
• Regular Expressions on Average and in the Long Run

Cited in

(8)

• On equivalences for a class of timed regular expressions
• A survey of timed automata for the development of real-time systems
• Timed regular expressions
• Orthogonality for \((0, -1)\) tropical normal matrices
• Balanced timed regular expressions
• Quasi-Euclidean classification of alcoved convex polyhedra
• Timed pattern matching
• Deriving generic bounds for time-series constraints based on regular expressions characteristics

This page was built for publication:

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