Q5089309 (Q5089309): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4643961
@@ Property / cites work: Q4643961 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+When Are Timed Automata Determinizable?
@@ Property / cites work: When Are Timed Automata Determinizable? / rank @@
+Normal rank
@@ Property / cites work @@
+Regularity Problems for Visibly Pushdown Languages
+Normal rank
@@ Property / cites work @@
+A game approach to determinize timed automata
@@ Property / cites work: A game approach to determinize timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Characterization of Timed Languages
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Minimum-Time Reachability in Timed Games
@@ Property / cites work: Minimum-Time Reachability in Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Basic Parallel Processes
@@ Property / cites work: Timed Basic Parallel Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in two-clock timed automata is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Undecidable Problems About Timed Automata
@@ Property / cites work: Undecidable Problems About Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Effective definability of the reachability relation in timed automata
+Normal rank
@@ Property / cites work @@
+Q5009444
@@ Property / cites work: Q5009444 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Finiteness of Pushdown Systems Is Elementary
+Normal rank
@@ Property / cites work @@
+Q5875377
@@ Property / cites work: Q5875377 / rank @@
+Normal rank
@@ Property / cites work @@
+Better abstractions for timed automata
@@ Property / cites work: Better abstractions for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Alternating timed automata
@@ Property / cites work: Alternating timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Undecidable problems in unreliable computations.
@@ Property / cites work: Undecidable problems in unreliable computations. / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+A Second Course in Formal Languages and Automata Theory
+Normal rank
@@ Property / cites work @@
+Timed Automata with Integer Resets: Language Inclusion and Expressiveness
+Normal rank
@@ Property / cites work @@
+Time to learn -- learning timed automata from tests
+Normal rank
@@ Property / cites work @@
+Folk theorems on the determinization and minimization of timed automata
+Normal rank
@@ Property / cites work @@
+Regularity and Related Problems for Deterministic Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Petri nets and regular languages
@@ Property / cites work: Petri nets and regular languages / rank @@
+Normal rank