Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543741569> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1543741569 endingPage "174" @default.
- W1543741569 startingPage "158" @default.
- W1543741569 abstract "We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by De Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-based algorithms. Normally, a simulation relation can be obtained fairly efficiently, and it can help the antichain-based approach to prune out a large portion of unnecessary search paths. We evaluate the performance of our new method on NFA/TA obtained from random regular expressions and from the intermediate steps of regular model checking. The results show that our approach significantly outperforms the previous antichain-based approach in most of the experiments." @default.
- W1543741569 created "2016-06-24" @default.
- W1543741569 creator A5002478680 @default.
- W1543741569 creator A5005128087 @default.
- W1543741569 creator A5048614307 @default.
- W1543741569 creator A5059358773 @default.
- W1543741569 creator A5082358544 @default.
- W1543741569 date "2010-01-01" @default.
- W1543741569 modified "2023-10-01" @default.
- W1543741569 title "When Simulation Meets Antichains" @default.
- W1543741569 cites W1543741569 @default.
- W1543741569 cites W1577233792 @default.
- W1543741569 cites W1602317429 @default.
- W1543741569 cites W1685060813 @default.
- W1543741569 cites W1731774687 @default.
- W1543741569 cites W1860772589 @default.
- W1543741569 cites W2098817244 @default.
- W1543741569 cites W2122493035 @default.
- W1543741569 doi "https://doi.org/10.1007/978-3-642-12002-2_14" @default.
- W1543741569 hasPublicationYear "2010" @default.
- W1543741569 type Work @default.
- W1543741569 sameAs 1543741569 @default.
- W1543741569 citedByCount "91" @default.
- W1543741569 countsByYear W15437415692012 @default.
- W1543741569 countsByYear W15437415692013 @default.
- W1543741569 countsByYear W15437415692014 @default.
- W1543741569 countsByYear W15437415692015 @default.
- W1543741569 countsByYear W15437415692016 @default.
- W1543741569 countsByYear W15437415692017 @default.
- W1543741569 countsByYear W15437415692018 @default.
- W1543741569 countsByYear W15437415692019 @default.
- W1543741569 countsByYear W15437415692020 @default.
- W1543741569 countsByYear W15437415692021 @default.
- W1543741569 countsByYear W15437415692023 @default.
- W1543741569 crossrefType "book-chapter" @default.
- W1543741569 hasAuthorship W1543741569A5002478680 @default.
- W1543741569 hasAuthorship W1543741569A5005128087 @default.
- W1543741569 hasAuthorship W1543741569A5048614307 @default.
- W1543741569 hasAuthorship W1543741569A5059358773 @default.
- W1543741569 hasAuthorship W1543741569A5082358544 @default.
- W1543741569 hasBestOaLocation W15437415691 @default.
- W1543741569 hasConcept C112505250 @default.
- W1543741569 hasConcept C11413529 @default.
- W1543741569 hasConcept C118615104 @default.
- W1543741569 hasConcept C124101348 @default.
- W1543741569 hasConcept C136134351 @default.
- W1543741569 hasConcept C138101251 @default.
- W1543741569 hasConcept C167822520 @default.
- W1543741569 hasConcept C176181172 @default.
- W1543741569 hasConcept C180645754 @default.
- W1543741569 hasConcept C199360897 @default.
- W1543741569 hasConcept C25343380 @default.
- W1543741569 hasConcept C33923547 @default.
- W1543741569 hasConcept C41008148 @default.
- W1543741569 hasConcept C80444323 @default.
- W1543741569 hasConceptScore W1543741569C112505250 @default.
- W1543741569 hasConceptScore W1543741569C11413529 @default.
- W1543741569 hasConceptScore W1543741569C118615104 @default.
- W1543741569 hasConceptScore W1543741569C124101348 @default.
- W1543741569 hasConceptScore W1543741569C136134351 @default.
- W1543741569 hasConceptScore W1543741569C138101251 @default.
- W1543741569 hasConceptScore W1543741569C167822520 @default.
- W1543741569 hasConceptScore W1543741569C176181172 @default.
- W1543741569 hasConceptScore W1543741569C180645754 @default.
- W1543741569 hasConceptScore W1543741569C199360897 @default.
- W1543741569 hasConceptScore W1543741569C25343380 @default.
- W1543741569 hasConceptScore W1543741569C33923547 @default.
- W1543741569 hasConceptScore W1543741569C41008148 @default.
- W1543741569 hasConceptScore W1543741569C80444323 @default.
- W1543741569 hasLocation W15437415691 @default.
- W1543741569 hasLocation W15437415692 @default.
- W1543741569 hasLocation W15437415693 @default.
- W1543741569 hasLocation W15437415694 @default.
- W1543741569 hasOpenAccess W1543741569 @default.
- W1543741569 hasPrimaryLocation W15437415691 @default.
- W1543741569 hasRelatedWork W1179276901 @default.
- W1543741569 hasRelatedWork W1497805930 @default.
- W1543741569 hasRelatedWork W1543741569 @default.
- W1543741569 hasRelatedWork W1602317429 @default.
- W1543741569 hasRelatedWork W2073874233 @default.
- W1543741569 hasRelatedWork W2615308287 @default.
- W1543741569 hasRelatedWork W2766070042 @default.
- W1543741569 hasRelatedWork W3036102251 @default.
- W1543741569 hasRelatedWork W4386363521 @default.
- W1543741569 hasRelatedWork W2088800977 @default.
- W1543741569 isParatext "false" @default.
- W1543741569 isRetracted "false" @default.
- W1543741569 magId "1543741569" @default.
- W1543741569 workType "book-chapter" @default.