Matches in SemOpenAlex for { <https://semopenalex.org/work/W173662904> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W173662904 endingPage "258" @default.
- W173662904 startingPage "243" @default.
- W173662904 abstract "The paper considers several issues related to efficient use of tree automata in formal verification. First, a new efficient algorithm for inclusion checking on non-deterministic tree automata is proposed. The algorithm traverses the automaton downward, utilizing antichains and simulations to optimize its run. Results of a set of experiments are provided, showing that such an approach often very significantly outperforms the so far common upward inclusion checking. Next, a new semi-symbolic representation of non-deterministic tree automata, suitable for automata with huge alphabets, is proposed together with algorithms for upward as well as downward inclusion checking over this representation of tree automata. Results of a set of experiments comparing the performance of these algorithms are provided, again showing that the newly proposed downward inclusion is very often better than upward inclusion checking." @default.
- W173662904 created "2016-06-24" @default.
- W173662904 creator A5005128087 @default.
- W173662904 creator A5049343228 @default.
- W173662904 creator A5059358773 @default.
- W173662904 creator A5063557188 @default.
- W173662904 date "2011-01-01" @default.
- W173662904 modified "2023-10-18" @default.
- W173662904 title "Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata" @default.
- W173662904 cites W1497805930 @default.
- W173662904 cites W1522742464 @default.
- W173662904 cites W1543741569 @default.
- W173662904 cites W1551563240 @default.
- W173662904 cites W1602317429 @default.
- W173662904 cites W1685060813 @default.
- W173662904 cites W1686717288 @default.
- W173662904 cites W1731774687 @default.
- W173662904 cites W173662904 @default.
- W173662904 cites W1987469449 @default.
- W173662904 cites W2080267935 @default.
- W173662904 cites W2101989701 @default.
- W173662904 cites W2107489791 @default.
- W173662904 cites W2123631714 @default.
- W173662904 cites W2157821258 @default.
- W173662904 doi "https://doi.org/10.1007/978-3-642-24372-1_18" @default.
- W173662904 hasPublicationYear "2011" @default.
- W173662904 type Work @default.
- W173662904 sameAs 173662904 @default.
- W173662904 citedByCount "6" @default.
- W173662904 countsByYear W1736629042012 @default.
- W173662904 countsByYear W1736629042016 @default.
- W173662904 countsByYear W1736629042019 @default.
- W173662904 countsByYear W1736629042023 @default.
- W173662904 crossrefType "book-chapter" @default.
- W173662904 hasAuthorship W173662904A5005128087 @default.
- W173662904 hasAuthorship W173662904A5049343228 @default.
- W173662904 hasAuthorship W173662904A5059358773 @default.
- W173662904 hasAuthorship W173662904A5063557188 @default.
- W173662904 hasConcept C110251889 @default.
- W173662904 hasConcept C112505250 @default.
- W173662904 hasConcept C113174947 @default.
- W173662904 hasConcept C11413529 @default.
- W173662904 hasConcept C114614502 @default.
- W173662904 hasConcept C177264268 @default.
- W173662904 hasConcept C17744445 @default.
- W173662904 hasConcept C199360897 @default.
- W173662904 hasConcept C199539241 @default.
- W173662904 hasConcept C2776359362 @default.
- W173662904 hasConcept C2778583254 @default.
- W173662904 hasConcept C30788636 @default.
- W173662904 hasConcept C33923547 @default.
- W173662904 hasConcept C41008148 @default.
- W173662904 hasConcept C80444323 @default.
- W173662904 hasConcept C94625758 @default.
- W173662904 hasConceptScore W173662904C110251889 @default.
- W173662904 hasConceptScore W173662904C112505250 @default.
- W173662904 hasConceptScore W173662904C113174947 @default.
- W173662904 hasConceptScore W173662904C11413529 @default.
- W173662904 hasConceptScore W173662904C114614502 @default.
- W173662904 hasConceptScore W173662904C177264268 @default.
- W173662904 hasConceptScore W173662904C17744445 @default.
- W173662904 hasConceptScore W173662904C199360897 @default.
- W173662904 hasConceptScore W173662904C199539241 @default.
- W173662904 hasConceptScore W173662904C2776359362 @default.
- W173662904 hasConceptScore W173662904C2778583254 @default.
- W173662904 hasConceptScore W173662904C30788636 @default.
- W173662904 hasConceptScore W173662904C33923547 @default.
- W173662904 hasConceptScore W173662904C41008148 @default.
- W173662904 hasConceptScore W173662904C80444323 @default.
- W173662904 hasConceptScore W173662904C94625758 @default.
- W173662904 hasLocation W1736629041 @default.
- W173662904 hasOpenAccess W173662904 @default.
- W173662904 hasPrimaryLocation W1736629041 @default.
- W173662904 hasRelatedWork W1508260233 @default.
- W173662904 hasRelatedWork W1582302366 @default.
- W173662904 hasRelatedWork W1758011472 @default.
- W173662904 hasRelatedWork W2004126468 @default.
- W173662904 hasRelatedWork W2021255060 @default.
- W173662904 hasRelatedWork W2052395110 @default.
- W173662904 hasRelatedWork W2139989305 @default.
- W173662904 hasRelatedWork W2147098470 @default.
- W173662904 hasRelatedWork W2152996796 @default.
- W173662904 hasRelatedWork W2219509443 @default.
- W173662904 isParatext "false" @default.
- W173662904 isRetracted "false" @default.
- W173662904 magId "173662904" @default.
- W173662904 workType "book-chapter" @default.