Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783604862> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2783604862 endingPage "21" @default.
- W2783604862 startingPage "3" @default.
- W2783604862 abstract "Data words are sequences of pairs where the first element is taken from a finite alphabet and the second element is taken from an infinite data domain. Register automata provide a widely studied model for reasoning on data words. In this paper, we investigate automata models for quantitative aspects of systems with infinite data domains, e.g., the costs of storing data on a remote server or the consumption of resources (e.g., memory, energy, time) during a data analysis. We introduce weighted register automata on data words over commutative data semirings equipped with a collection of binary data functions, and we investigate their closure properties. Unlike the other models considered in the literature, we allow data comparison by means of an arbitrary collection of binary data relations. This enables us to incorporate timed automata and weighted timed automata into our framework. In our main result, we give a logical characterization of weighted register automata by means of weighted existential monadic second-order logic; for the proof we employ a new class of determinizable visibly register automata. • Introduction of weighted register automata over commutative data semirings with binary comparison relations for data. • Relationship between register automata and timed automata. • Closure properties for the class of behaviors of weighted register automata. • Expressive equivalence result for weighted register automata and a suitable weighted existential monadic second order logic. • A new class of determinizable visibly register automata." @default.
- W2783604862 created "2018-01-26" @default.
- W2783604862 creator A5025721136 @default.
- W2783604862 creator A5026097476 @default.
- W2783604862 creator A5067063247 @default.
- W2783604862 date "2018-10-01" @default.
- W2783604862 modified "2023-10-18" @default.
- W2783604862 title "Weighted register automata and weighted logic on data words" @default.
- W2783604862 cites W1698854595 @default.
- W2783604862 cites W2014246868 @default.
- W2783604862 cites W2016928625 @default.
- W2783604862 cites W2052631269 @default.
- W2783604862 cites W2056665285 @default.
- W2783604862 cites W2069081759 @default.
- W2783604862 cites W2073614038 @default.
- W2783604862 cites W2081396910 @default.
- W2783604862 cites W2083964867 @default.
- W2783604862 cites W2101508170 @default.
- W2783604862 cites W2130136014 @default.
- W2783604862 cites W2177814128 @default.
- W2783604862 cites W4205178514 @default.
- W2783604862 doi "https://doi.org/10.1016/j.tcs.2018.01.004" @default.
- W2783604862 hasPublicationYear "2018" @default.
- W2783604862 type Work @default.
- W2783604862 sameAs 2783604862 @default.
- W2783604862 citedByCount "4" @default.
- W2783604862 countsByYear W27836048622019 @default.
- W2783604862 countsByYear W27836048622021 @default.
- W2783604862 crossrefType "journal-article" @default.
- W2783604862 hasAuthorship W2783604862A5025721136 @default.
- W2783604862 hasAuthorship W2783604862A5026097476 @default.
- W2783604862 hasAuthorship W2783604862A5067063247 @default.
- W2783604862 hasConcept C112505250 @default.
- W2783604862 hasConcept C11413529 @default.
- W2783604862 hasConcept C116248031 @default.
- W2783604862 hasConcept C118615104 @default.
- W2783604862 hasConcept C146834321 @default.
- W2783604862 hasConcept C162324750 @default.
- W2783604862 hasConcept C174327141 @default.
- W2783604862 hasConcept C30788636 @default.
- W2783604862 hasConcept C33923547 @default.
- W2783604862 hasConcept C34447519 @default.
- W2783604862 hasConcept C41008148 @default.
- W2783604862 hasConcept C50348692 @default.
- W2783604862 hasConcept C80444323 @default.
- W2783604862 hasConcept C92117001 @default.
- W2783604862 hasConcept C92710233 @default.
- W2783604862 hasConceptScore W2783604862C112505250 @default.
- W2783604862 hasConceptScore W2783604862C11413529 @default.
- W2783604862 hasConceptScore W2783604862C116248031 @default.
- W2783604862 hasConceptScore W2783604862C118615104 @default.
- W2783604862 hasConceptScore W2783604862C146834321 @default.
- W2783604862 hasConceptScore W2783604862C162324750 @default.
- W2783604862 hasConceptScore W2783604862C174327141 @default.
- W2783604862 hasConceptScore W2783604862C30788636 @default.
- W2783604862 hasConceptScore W2783604862C33923547 @default.
- W2783604862 hasConceptScore W2783604862C34447519 @default.
- W2783604862 hasConceptScore W2783604862C41008148 @default.
- W2783604862 hasConceptScore W2783604862C50348692 @default.
- W2783604862 hasConceptScore W2783604862C80444323 @default.
- W2783604862 hasConceptScore W2783604862C92117001 @default.
- W2783604862 hasConceptScore W2783604862C92710233 @default.
- W2783604862 hasFunder F4320320879 @default.
- W2783604862 hasLocation W27836048621 @default.
- W2783604862 hasOpenAccess W2783604862 @default.
- W2783604862 hasPrimaryLocation W27836048621 @default.
- W2783604862 hasRelatedWork W1569273857 @default.
- W2783604862 hasRelatedWork W1871456602 @default.
- W2783604862 hasRelatedWork W1978638999 @default.
- W2783604862 hasRelatedWork W2184634081 @default.
- W2783604862 hasRelatedWork W2295768792 @default.
- W2783604862 hasRelatedWork W2321667159 @default.
- W2783604862 hasRelatedWork W2422101940 @default.
- W2783604862 hasRelatedWork W2963690846 @default.
- W2783604862 hasRelatedWork W3147849782 @default.
- W2783604862 hasRelatedWork W332733814 @default.
- W2783604862 hasVolume "744" @default.
- W2783604862 isParatext "false" @default.
- W2783604862 isRetracted "false" @default.
- W2783604862 magId "2783604862" @default.
- W2783604862 workType "article" @default.