Q4972731 (Q4972731): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06124
@@ Property / arXiv ID: 1609.06124 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Timed Automata with Independently Evolving Clocks
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Language Emptiness of Continuous-Time Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+On Expressiveness and Complexity in Real-Time Model Checking
+Normal rank
@@ Property / cites work @@
+On parametric timed automata and one-counter machines
+Normal rank
@@ Property / cites work @@
+The Complexity of Flat Freeze LTL
@@ Property / cites work: The Complexity of Flat Freeze LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Way Tree Automata Solving Pushdown Games
@@ Property / cites work: Two-Way Tree Automata Solving Pushdown Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest Paths in One-Counter Systems
@@ Property / cites work: Shortest Paths in One-Counter Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Effects of Bounding Syntactic Resources on Presburger LTL
+Normal rank
@@ Property / cites work @@
+Alternation Elimination by Complementation (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+On the freeze quantifier in Constraint LTL: Decidability and complexity
+Normal rank
@@ Property / cites work @@
+Model checking memoryful linear-time logics over one-counter automata
+Normal rank
@@ Property / cites work @@
+When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
+Normal rank
@@ Property / cites work @@
+Path Checking for MTL and TPTL over Data Words
@@ Property / cites work: Path Checking for MTL and TPTL over Data Words / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of complete problems
@@ Property / cites work: Hierarchies of complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Branching-Time Model Checking of Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Branching-Time Model Checking of One-Counter Processes and Timed Automata
+Normal rank
@@ Property / cites work @@
+Reachability in Succinct and Parametric One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Simulation Problems Over One-Counter Nets
@@ Property / cites work: Simulation Problems Over One-Counter Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754072
@@ Property / cites work: Q2754072 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608681
@@ Property / cites work: Q4608681 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4972731