The following pages link to Timed regular expressions (Q3196640):
Displaying 33 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- The efficiency of identifying timed automata and the power of clocks (Q553334) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- On the complexity of timed pattern matching (Q832025) (← links)
- A Kleene theorem for splitable signals (Q1029089) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Survey on mining signal temporal logic specifications (Q2105443) (← links)
- Entropy of regular timed languages (Q2343131) (← links)
- Timed substitutions for regular signal-event languages (Q2385194) (← links)
- Categories of timed stochastic relations (Q2805158) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Balanced timed regular expressions (Q2842862) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Volume and Entropy of Regular Timed Languages: Discretization Approach (Q3184666) (← links)
- Multi-head Monitoring of Metric Temporal Logic (Q3297591) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
- On Scheduling Policies for Streams of Structured Jobs (Q3543294) (← links)
- Volume and Entropy of Regular Timed Languages: Analytic Approach (Q3648816) (← links)
- (Q4452097) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- (Q5028457) (← links)
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata (Q5060075) (← links)
- From Nondeterministic to Multi-Head Deterministic Finite-State Transducers (Q5092329) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- The Unmet Challenge of Timed Systems (Q5170750) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Active learning of deterministic timed automata with Myhill-Nerode style characterization (Q6535622) (← links)
