FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949792331> ?p ?o ?g. }

• W2949792331 abstract "Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable states of a system requires acceleration techniques that can finitely compute the effect of an unbounded number of transitions. Among the acceleration techniques that have been proposed, one finds both specific and generic techniques. Specific techniques exploit the particular type of system being analyzed, e.g. a system manipulating queues or integers, whereas generic techniques only assume that the transition relation is represented by a finite-state transducer, which has to be iterated. In this paper, we investigate the possibility of using generic techniques in cases where only specific techniques have been exploited so far. Finding that existing generic techniques are often not applicable in cases easily handled by specific techniques, we have developed a new approach to iterating transducers. This new approach builds on earlier work, but exploits a number of new conceptual and algorithmic ideas, often induced with the help of experiments, that give it a broad scope, as well as good performances." @default.
• W2949792331 created "2019-06-27" @default.
• W2949792331 creator A5030129842 @default.
• W2949792331 creator A5074692660 @default.
• W2949792331 date "2008-09-12" @default.
• W2949792331 modified "2023-09-27" @default.
• W2949792331 title "On (Omega-)Regular Model Checking" @default.
• W2949792331 cites W1504438699 @default.
• W2949792331 cites W1516066014 @default.
• W2949792331 cites W1523445881 @default.
• W2949792331 cites W1526786777 @default.
• W2949792331 cites W1531261972 @default.
• W2949792331 cites W1536744902 @default.
• W2949792331 cites W1554014670 @default.
• W2949792331 cites W1554242981 @default.
• W2949792331 cites W1555115347 @default.
• W2949792331 cites W1556566737 @default.
• W2949792331 cites W1573633114 @default.
• W2949792331 cites W1577233792 @default.
• W2949792331 cites W1589224558 @default.
• W2949792331 cites W1696642672 @default.
• W2949792331 cites W1787536085 @default.
• W2949792331 cites W1821880317 @default.
• W2949792331 cites W1989445634 @default.
• W2949792331 cites W2004463571 @default.
• W2949792331 cites W2119296125 @default.
• W2949792331 cites W2121518970 @default.
• W2949792331 cites W2123160677 @default.
• W2949792331 cites W2150954457 @default.
• W2949792331 cites W2151033407 @default.
• W2949792331 cites W2165231213 @default.
• W2949792331 cites W72600472 @default.
• W2949792331 cites W2464021761 @default.
• W2949792331 hasPublicationYear "2008" @default.
• W2949792331 type Work @default.
• W2949792331 sameAs 2949792331 @default.
• W2949792331 citedByCount "0" @default.
• W2949792331 crossrefType "posted-content" @default.
• W2949792331 hasAuthorship W2949792331A5030129842 @default.
• W2949792331 hasAuthorship W2949792331A5074692660 @default.
• W2949792331 hasConcept C110251889 @default.
• W2949792331 hasConcept C11413529 @default.
• W2949792331 hasConcept C124101348 @default.
• W2949792331 hasConcept C134306372 @default.
• W2949792331 hasConcept C140479938 @default.
• W2949792331 hasConcept C165696696 @default.
• W2949792331 hasConcept C177264268 @default.
• W2949792331 hasConcept C17744445 @default.
• W2949792331 hasConcept C199360897 @default.
• W2949792331 hasConcept C199539241 @default.
• W2949792331 hasConcept C25343380 @default.
• W2949792331 hasConcept C2776359362 @default.
• W2949792331 hasConcept C2778012447 @default.
• W2949792331 hasConcept C33923547 @default.
• W2949792331 hasConcept C38652104 @default.
• W2949792331 hasConcept C41008148 @default.
• W2949792331 hasConcept C48103436 @default.
• W2949792331 hasConcept C80444323 @default.
• W2949792331 hasConcept C94625758 @default.
• W2949792331 hasConceptScore W2949792331C110251889 @default.
• W2949792331 hasConceptScore W2949792331C11413529 @default.
• W2949792331 hasConceptScore W2949792331C124101348 @default.
• W2949792331 hasConceptScore W2949792331C134306372 @default.
• W2949792331 hasConceptScore W2949792331C140479938 @default.
• W2949792331 hasConceptScore W2949792331C165696696 @default.
• W2949792331 hasConceptScore W2949792331C177264268 @default.
• W2949792331 hasConceptScore W2949792331C17744445 @default.
• W2949792331 hasConceptScore W2949792331C199360897 @default.
• W2949792331 hasConceptScore W2949792331C199539241 @default.
• W2949792331 hasConceptScore W2949792331C25343380 @default.
• W2949792331 hasConceptScore W2949792331C2776359362 @default.
• W2949792331 hasConceptScore W2949792331C2778012447 @default.
• W2949792331 hasConceptScore W2949792331C33923547 @default.
• W2949792331 hasConceptScore W2949792331C38652104 @default.
• W2949792331 hasConceptScore W2949792331C41008148 @default.
• W2949792331 hasConceptScore W2949792331C48103436 @default.
• W2949792331 hasConceptScore W2949792331C80444323 @default.
• W2949792331 hasConceptScore W2949792331C94625758 @default.
• W2949792331 hasLocation W29497923311 @default.
• W2949792331 hasOpenAccess W2949792331 @default.
• W2949792331 hasPrimaryLocation W29497923311 @default.
• W2949792331 hasRelatedWork W136416930 @default.
• W2949792331 hasRelatedWork W1522532427 @default.
• W2949792331 hasRelatedWork W1556247398 @default.
• W2949792331 hasRelatedWork W1830383289 @default.
• W2949792331 hasRelatedWork W1984342415 @default.
• W2949792331 hasRelatedWork W2044792368 @default.
• W2949792331 hasRelatedWork W2185606642 @default.
• W2949792331 hasRelatedWork W2188019447 @default.
• W2949792331 hasRelatedWork W2212264424 @default.
• W2949792331 hasRelatedWork W2243871733 @default.
• W2949792331 hasRelatedWork W2327732228 @default.
• W2949792331 hasRelatedWork W2412655599 @default.
• W2949792331 hasRelatedWork W2547936859 @default.
• W2949792331 hasRelatedWork W2889381314 @default.
• W2949792331 hasRelatedWork W2903136864 @default.
• W2949792331 hasRelatedWork W2969357465 @default.
• W2949792331 hasRelatedWork W2999051667 @default.
• W2949792331 hasRelatedWork W71006734 @default.
• W2949792331 hasRelatedWork W72600472 @default.

• next