Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965996947> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2965996947 endingPage "21" @default.
- W2965996947 startingPage "3" @default.
- W2965996947 abstract "Symbolic Finite Automata and Register Automata are two orthogonal extensions of finite automata motivated by real-world problems where data may have unbounded domains. These automata address a demand for a model over large or infinite alphabets, respectively. Both automata models have interesting applications and have been successful in their own right. In this paper, we introduce Symbolic Register Automata, a new model that combines features from both symbolic and register automata, with a view on applications that were previously out of reach. We study their properties and provide algorithms for emptiness, inclusion and equivalence checking, together with experimental results." @default.
- W2965996947 created "2019-08-13" @default.
- W2965996947 creator A5021533181 @default.
- W2965996947 creator A5029314584 @default.
- W2965996947 creator A5038437346 @default.
- W2965996947 creator A5089920000 @default.
- W2965996947 date "2019-01-01" @default.
- W2965996947 modified "2023-10-16" @default.
- W2965996947 title "Symbolic Register Automata" @default.
- W2965996947 cites W1477170694 @default.
- W2965996947 cites W1587163902 @default.
- W2965996947 cites W1686574681 @default.
- W2965996947 cites W1795569145 @default.
- W2965996947 cites W1975016340 @default.
- W2965996947 cites W2035955066 @default.
- W2965996947 cites W2046160374 @default.
- W2965996947 cites W2056665285 @default.
- W2965996947 cites W2081396910 @default.
- W2965996947 cites W2096202696 @default.
- W2965996947 cites W2111990320 @default.
- W2965996947 cites W2132281483 @default.
- W2965996947 cites W2141607151 @default.
- W2965996947 cites W2157260510 @default.
- W2965996947 cites W2177814128 @default.
- W2965996947 cites W2213779776 @default.
- W2965996947 cites W2676873924 @default.
- W2965996947 cites W2884635497 @default.
- W2965996947 cites W2963214527 @default.
- W2965996947 cites W3000487173 @default.
- W2965996947 cites W3104994285 @default.
- W2965996947 cites W82980056 @default.
- W2965996947 cites W830367993 @default.
- W2965996947 doi "https://doi.org/10.1007/978-3-030-25540-4_1" @default.
- W2965996947 hasPublicationYear "2019" @default.
- W2965996947 type Work @default.
- W2965996947 sameAs 2965996947 @default.
- W2965996947 citedByCount "8" @default.
- W2965996947 countsByYear W29659969472021 @default.
- W2965996947 countsByYear W29659969472022 @default.
- W2965996947 countsByYear W29659969472023 @default.
- W2965996947 crossrefType "book-chapter" @default.
- W2965996947 hasAuthorship W2965996947A5021533181 @default.
- W2965996947 hasAuthorship W2965996947A5029314584 @default.
- W2965996947 hasAuthorship W2965996947A5038437346 @default.
- W2965996947 hasAuthorship W2965996947A5089920000 @default.
- W2965996947 hasBestOaLocation W29659969471 @default.
- W2965996947 hasConcept C112505250 @default.
- W2965996947 hasConcept C11413529 @default.
- W2965996947 hasConcept C116248031 @default.
- W2965996947 hasConcept C118615104 @default.
- W2965996947 hasConcept C138885662 @default.
- W2965996947 hasConcept C167822520 @default.
- W2965996947 hasConcept C174327141 @default.
- W2965996947 hasConcept C2779235478 @default.
- W2965996947 hasConcept C2780069185 @default.
- W2965996947 hasConcept C33923547 @default.
- W2965996947 hasConcept C41008148 @default.
- W2965996947 hasConcept C41895202 @default.
- W2965996947 hasConcept C50348692 @default.
- W2965996947 hasConcept C80444323 @default.
- W2965996947 hasConcept C92117001 @default.
- W2965996947 hasConcept C92710233 @default.
- W2965996947 hasConceptScore W2965996947C112505250 @default.
- W2965996947 hasConceptScore W2965996947C11413529 @default.
- W2965996947 hasConceptScore W2965996947C116248031 @default.
- W2965996947 hasConceptScore W2965996947C118615104 @default.
- W2965996947 hasConceptScore W2965996947C138885662 @default.
- W2965996947 hasConceptScore W2965996947C167822520 @default.
- W2965996947 hasConceptScore W2965996947C174327141 @default.
- W2965996947 hasConceptScore W2965996947C2779235478 @default.
- W2965996947 hasConceptScore W2965996947C2780069185 @default.
- W2965996947 hasConceptScore W2965996947C33923547 @default.
- W2965996947 hasConceptScore W2965996947C41008148 @default.
- W2965996947 hasConceptScore W2965996947C41895202 @default.
- W2965996947 hasConceptScore W2965996947C50348692 @default.
- W2965996947 hasConceptScore W2965996947C80444323 @default.
- W2965996947 hasConceptScore W2965996947C92117001 @default.
- W2965996947 hasConceptScore W2965996947C92710233 @default.
- W2965996947 hasLocation W29659969471 @default.
- W2965996947 hasLocation W29659969472 @default.
- W2965996947 hasLocation W29659969473 @default.
- W2965996947 hasLocation W29659969474 @default.
- W2965996947 hasOpenAccess W2965996947 @default.
- W2965996947 hasPrimaryLocation W29659969471 @default.
- W2965996947 hasRelatedWork W1536117249 @default.
- W2965996947 hasRelatedWork W1569273857 @default.
- W2965996947 hasRelatedWork W1871456602 @default.
- W2965996947 hasRelatedWork W2066393902 @default.
- W2965996947 hasRelatedWork W2070641420 @default.
- W2965996947 hasRelatedWork W2184634081 @default.
- W2965996947 hasRelatedWork W2321667159 @default.
- W2965996947 hasRelatedWork W2367596017 @default.
- W2965996947 hasRelatedWork W2798603509 @default.
- W2965996947 hasRelatedWork W3151786004 @default.
- W2965996947 isParatext "false" @default.
- W2965996947 isRetracted "false" @default.
- W2965996947 magId "2965996947" @default.
- W2965996947 workType "book-chapter" @default.