FRINK Linked Data Fragments server

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

• W2005994275 abstract "We generalize the backward algorithm for cover ability in WSTS's to an algorithmic framework. The idea is to consider the predecessor computation, the witness function, and the processing order as parameters. On the theoretical side, we prove that every instantiation of the functions (that satisfies some requirements) still yields a decision procedure for cover ability. On the practical side, we show that known optimizations like partial order reduction and pruning can be formulated in our framework. We also give a novel acceleration based instantiation. For well-known classes of WSTS's (PN, PN+Transfer, LCS), we optimize the selection function inspired by A*. We implemented our instantiations and comment on the data structures. Extensive experiments show that the new algorithms can compete with a state-of-the-art tool: MIST2." @default.
• W2005994275 created "2016-06-24" @default.
• W2005994275 creator A5050926823 @default.
• W2005994275 creator A5085643838 @default.
• W2005994275 date "2012-06-01" @default.
• W2005994275 modified "2023-10-05" @default.
• W2005994275 title "An Algorithmic Framework for Coverability in Well-Structured Systems" @default.
• W2005994275 cites W1485572331 @default.
• W2005994275 cites W1498457073 @default.
• W2005994275 cites W1502268007 @default.
• W2005994275 cites W1508360721 @default.
• W2005994275 cites W1513999490 @default.
• W2005994275 cites W1529458863 @default.
• W2005994275 cites W1540737511 @default.
• W2005994275 cites W1543926679 @default.
• W2005994275 cites W1557545083 @default.
• W2005994275 cites W1567452221 @default.
• W2005994275 cites W1582528610 @default.
• W2005994275 cites W1586140256 @default.
• W2005994275 cites W1706878900 @default.
• W2005994275 cites W1759934887 @default.
• W2005994275 cites W1855789069 @default.
• W2005994275 cites W1864138857 @default.
• W2005994275 cites W1967174286 @default.
• W2005994275 cites W1969483458 @default.
• W2005994275 cites W1976967219 @default.
• W2005994275 cites W1987814265 @default.
• W2005994275 cites W2055081868 @default.
• W2005994275 cites W2076508310 @default.
• W2005994275 cites W2106001218 @default.
• W2005994275 cites W2109613468 @default.
• W2005994275 cites W2116519336 @default.
• W2005994275 cites W2123910665 @default.
• W2005994275 cites W263470693 @default.
• W2005994275 cites W831221588 @default.
• W2005994275 cites W2526626638 @default.
• W2005994275 doi "https://doi.org/10.1109/acsd.2012.26" @default.
• W2005994275 hasPublicationYear "2012" @default.
• W2005994275 type Work @default.
• W2005994275 sameAs 2005994275 @default.
• W2005994275 citedByCount "1" @default.
• W2005994275 countsByYear W20059942752012 @default.
• W2005994275 crossrefType "proceedings-article" @default.
• W2005994275 hasAuthorship W2005994275A5050926823 @default.
• W2005994275 hasAuthorship W2005994275A5085643838 @default.
• W2005994275 hasConcept C108010975 @default.
• W2005994275 hasConcept C110251889 @default.
• W2005994275 hasConcept C111335779 @default.
• W2005994275 hasConcept C11413529 @default.
• W2005994275 hasConcept C127413603 @default.
• W2005994275 hasConcept C14036430 @default.
• W2005994275 hasConcept C154945302 @default.
• W2005994275 hasConcept C2524010 @default.
• W2005994275 hasConcept C2780428219 @default.
• W2005994275 hasConcept C33923547 @default.
• W2005994275 hasConcept C41008148 @default.
• W2005994275 hasConcept C45374587 @default.
• W2005994275 hasConcept C48103436 @default.
• W2005994275 hasConcept C6557445 @default.
• W2005994275 hasConcept C78458016 @default.
• W2005994275 hasConcept C78519656 @default.
• W2005994275 hasConcept C80444323 @default.
• W2005994275 hasConcept C81917197 @default.
• W2005994275 hasConcept C86803240 @default.
• W2005994275 hasConcept C94633896 @default.
• W2005994275 hasConceptScore W2005994275C108010975 @default.
• W2005994275 hasConceptScore W2005994275C110251889 @default.
• W2005994275 hasConceptScore W2005994275C111335779 @default.
• W2005994275 hasConceptScore W2005994275C11413529 @default.
• W2005994275 hasConceptScore W2005994275C127413603 @default.
• W2005994275 hasConceptScore W2005994275C14036430 @default.
• W2005994275 hasConceptScore W2005994275C154945302 @default.
• W2005994275 hasConceptScore W2005994275C2524010 @default.
• W2005994275 hasConceptScore W2005994275C2780428219 @default.
• W2005994275 hasConceptScore W2005994275C33923547 @default.
• W2005994275 hasConceptScore W2005994275C41008148 @default.
• W2005994275 hasConceptScore W2005994275C45374587 @default.
• W2005994275 hasConceptScore W2005994275C48103436 @default.
• W2005994275 hasConceptScore W2005994275C6557445 @default.
• W2005994275 hasConceptScore W2005994275C78458016 @default.
• W2005994275 hasConceptScore W2005994275C78519656 @default.
• W2005994275 hasConceptScore W2005994275C80444323 @default.
• W2005994275 hasConceptScore W2005994275C81917197 @default.
• W2005994275 hasConceptScore W2005994275C86803240 @default.
• W2005994275 hasConceptScore W2005994275C94633896 @default.
• W2005994275 hasLocation W20059942751 @default.
• W2005994275 hasOpenAccess W2005994275 @default.
• W2005994275 hasPrimaryLocation W20059942751 @default.
• W2005994275 hasRelatedWork W108084911 @default.
• W2005994275 hasRelatedWork W1494039461 @default.
• W2005994275 hasRelatedWork W1535497513 @default.
• W2005994275 hasRelatedWork W1539345619 @default.
• W2005994275 hasRelatedWork W1929497867 @default.
• W2005994275 hasRelatedWork W2010457932 @default.
• W2005994275 hasRelatedWork W2147077520 @default.
• W2005994275 hasRelatedWork W2970425440 @default.
• W2005994275 hasRelatedWork W2981133353 @default.
• W2005994275 hasRelatedWork W3047144510 @default.
• W2005994275 isParatext "false" @default.
• W2005994275 isRetracted "false" @default.

• next