FRINK Linked Data Fragments server

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

• W2024402979 endingPage "575" @default.
• W2024402979 startingPage "547" @default.
• W2024402979 abstract "In model checking, the state-explosion problem occurs when one checks a nonflat system, i.e., a system implicitly described as a synchronized product of elementary subsystems. In this paper, we investigate the complexity of a wide variety of model-checking problems for nonflat systems under the light of parameterized complexity, taking the number of synchronized components as a parameter. We provide precise complexity measures (in the parameterized sense) for most of the problems we investigate, and evidence that the results are robust." @default.
• W2024402979 created "2016-06-24" @default.
• W2024402979 creator A5060413318 @default.
• W2024402979 creator A5073507370 @default.
• W2024402979 creator A5083815456 @default.
• W2024402979 date "2006-06-01" @default.
• W2024402979 modified "2023-10-18" @default.
• W2024402979 title "A parametric analysis of the state-explosion problem in model checking" @default.
• W2024402979 cites W1579643516 @default.
• W2024402979 cites W1966825814 @default.
• W2024402979 cites W1974206804 @default.
• W2024402979 cites W1978469611 @default.
• W2024402979 cites W1982384331 @default.
• W2024402979 cites W1988808695 @default.
• W2024402979 cites W2000084497 @default.
• W2024402979 cites W2003227046 @default.
• W2024402979 cites W2003972637 @default.
• W2024402979 cites W2021473546 @default.
• W2024402979 cites W2026379532 @default.
• W2024402979 cites W2027519504 @default.
• W2024402979 cites W2033323875 @default.
• W2024402979 cites W2043360684 @default.
• W2024402979 cites W2048685245 @default.
• W2024402979 cites W2063651327 @default.
• W2024402979 cites W2064252342 @default.
• W2024402979 cites W2064336391 @default.
• W2024402979 cites W2068806367 @default.
• W2024402979 cites W2074373676 @default.
• W2024402979 cites W2083567135 @default.
• W2024402979 cites W2085393535 @default.
• W2024402979 cites W2090398333 @default.
• W2024402979 cites W2115667895 @default.
• W2024402979 cites W2158154629 @default.
• W2024402979 cites W4229843017 @default.
• W2024402979 doi "https://doi.org/10.1016/j.jcss.2005.11.003" @default.
• W2024402979 hasPublicationYear "2006" @default.
• W2024402979 type Work @default.
• W2024402979 sameAs 2024402979 @default.
• W2024402979 citedByCount "25" @default.
• W2024402979 countsByYear W20244029792012 @default.
• W2024402979 countsByYear W20244029792013 @default.
• W2024402979 countsByYear W20244029792015 @default.
• W2024402979 countsByYear W20244029792016 @default.
• W2024402979 countsByYear W20244029792017 @default.
• W2024402979 countsByYear W20244029792020 @default.
• W2024402979 countsByYear W20244029792022 @default.
• W2024402979 crossrefType "journal-article" @default.
• W2024402979 hasAuthorship W2024402979A5060413318 @default.
• W2024402979 hasAuthorship W2024402979A5073507370 @default.
• W2024402979 hasAuthorship W2024402979A5083815456 @default.
• W2024402979 hasBestOaLocation W20244029792 @default.
• W2024402979 hasConcept C105795698 @default.
• W2024402979 hasConcept C110251889 @default.
• W2024402979 hasConcept C11413529 @default.
• W2024402979 hasConcept C117251300 @default.
• W2024402979 hasConcept C136197465 @default.
• W2024402979 hasConcept C154945302 @default.
• W2024402979 hasConcept C165464430 @default.
• W2024402979 hasConcept C179799912 @default.
• W2024402979 hasConcept C2524010 @default.
• W2024402979 hasConcept C33923547 @default.
• W2024402979 hasConcept C41008148 @default.
• W2024402979 hasConcept C48103436 @default.
• W2024402979 hasConcept C80444323 @default.
• W2024402979 hasConcept C90673727 @default.
• W2024402979 hasConceptScore W2024402979C105795698 @default.
• W2024402979 hasConceptScore W2024402979C110251889 @default.
• W2024402979 hasConceptScore W2024402979C11413529 @default.
• W2024402979 hasConceptScore W2024402979C117251300 @default.
• W2024402979 hasConceptScore W2024402979C136197465 @default.
• W2024402979 hasConceptScore W2024402979C154945302 @default.
• W2024402979 hasConceptScore W2024402979C165464430 @default.
• W2024402979 hasConceptScore W2024402979C179799912 @default.
• W2024402979 hasConceptScore W2024402979C2524010 @default.
• W2024402979 hasConceptScore W2024402979C33923547 @default.
• W2024402979 hasConceptScore W2024402979C41008148 @default.
• W2024402979 hasConceptScore W2024402979C48103436 @default.
• W2024402979 hasConceptScore W2024402979C80444323 @default.
• W2024402979 hasConceptScore W2024402979C90673727 @default.
• W2024402979 hasIssue "4" @default.
• W2024402979 hasLocation W20244029791 @default.
• W2024402979 hasLocation W20244029792 @default.
• W2024402979 hasLocation W20244029793 @default.
• W2024402979 hasLocation W20244029794 @default.
• W2024402979 hasLocation W20244029795 @default.
• W2024402979 hasLocation W20244029796 @default.
• W2024402979 hasLocation W20244029797 @default.
• W2024402979 hasLocation W20244029798 @default.
• W2024402979 hasOpenAccess W2024402979 @default.
• W2024402979 hasPrimaryLocation W20244029791 @default.
• W2024402979 hasRelatedWork W1539117866 @default.
• W2024402979 hasRelatedWork W1560069502 @default.
• W2024402979 hasRelatedWork W1603832162 @default.
• W2024402979 hasRelatedWork W2415471432 @default.
• W2024402979 hasRelatedWork W2575395113 @default.
• W2024402979 hasRelatedWork W295290875 @default.
• W2024402979 hasRelatedWork W4205298752 @default.
• W2024402979 hasRelatedWork W4286970061 @default.

• next