Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108787054> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2108787054 endingPage "347" @default.
- W2108787054 startingPage "332" @default.
- W2108787054 abstract "We study the fixed-parameter complexity of model checking temporal logics on concurrent systems that are modeled as the product of finite systems and where the size of the formula is the parameter. We distinguish between asynchronous product and synchronous product. Sometimes it is possible to show that there is an algorithm for this with running time (sum_i T_i|)O(1) * f(|phi|), where the T_i are the component systems and phi is the formula and f is computable function, thus model checking is fixed-parameter tractable when the size of the formula is the parameter.In this paper we concern ourselves with the question, provided fixed-parameter tractability is known, whether it holds for an elementary function f. Negative answers to this question are provided for modal logic and EF logic: Depending on the mode of synchronization we show the non-existence of such an elementary function f under different assumptions from (parameterized) complexity theory." @default.
- W2108787054 created "2016-06-24" @default.
- W2108787054 creator A5079767975 @default.
- W2108787054 date "2013-01-01" @default.
- W2108787054 modified "2023-09-23" @default.
- W2108787054 title "The Fixed-Parameter Tractability of Model Checking Concurrent Systems" @default.
- W2108787054 cites W1498432697 @default.
- W2108787054 cites W1549008998 @default.
- W2108787054 cites W1676460682 @default.
- W2108787054 cites W1780759614 @default.
- W2108787054 cites W2003227046 @default.
- W2108787054 cites W2018476992 @default.
- W2108787054 cites W2024402979 @default.
- W2108787054 cites W2066585576 @default.
- W2108787054 cites W2090398333 @default.
- W2108787054 cites W2105348917 @default.
- W2108787054 cites W2106991838 @default.
- W2108787054 cites W2170509231 @default.
- W2108787054 cites W2340735175 @default.
- W2108787054 doi "https://doi.org/10.4230/lipics.csl.2013.332" @default.
- W2108787054 hasPublicationYear "2013" @default.
- W2108787054 type Work @default.
- W2108787054 sameAs 2108787054 @default.
- W2108787054 citedByCount "1" @default.
- W2108787054 countsByYear W21087870542016 @default.
- W2108787054 crossrefType "proceedings-article" @default.
- W2108787054 hasAuthorship W2108787054A5079767975 @default.
- W2108787054 hasConcept C110251889 @default.
- W2108787054 hasConcept C11413529 @default.
- W2108787054 hasConcept C114614502 @default.
- W2108787054 hasConcept C118615104 @default.
- W2108787054 hasConcept C14036430 @default.
- W2108787054 hasConcept C151319957 @default.
- W2108787054 hasConcept C165464430 @default.
- W2108787054 hasConcept C184720557 @default.
- W2108787054 hasConcept C25016198 @default.
- W2108787054 hasConcept C2524010 @default.
- W2108787054 hasConcept C2778562939 @default.
- W2108787054 hasConcept C28826006 @default.
- W2108787054 hasConcept C31258907 @default.
- W2108787054 hasConcept C33923547 @default.
- W2108787054 hasConcept C41008148 @default.
- W2108787054 hasConcept C78458016 @default.
- W2108787054 hasConcept C80444323 @default.
- W2108787054 hasConcept C86803240 @default.
- W2108787054 hasConcept C90673727 @default.
- W2108787054 hasConceptScore W2108787054C110251889 @default.
- W2108787054 hasConceptScore W2108787054C11413529 @default.
- W2108787054 hasConceptScore W2108787054C114614502 @default.
- W2108787054 hasConceptScore W2108787054C118615104 @default.
- W2108787054 hasConceptScore W2108787054C14036430 @default.
- W2108787054 hasConceptScore W2108787054C151319957 @default.
- W2108787054 hasConceptScore W2108787054C165464430 @default.
- W2108787054 hasConceptScore W2108787054C184720557 @default.
- W2108787054 hasConceptScore W2108787054C25016198 @default.
- W2108787054 hasConceptScore W2108787054C2524010 @default.
- W2108787054 hasConceptScore W2108787054C2778562939 @default.
- W2108787054 hasConceptScore W2108787054C28826006 @default.
- W2108787054 hasConceptScore W2108787054C31258907 @default.
- W2108787054 hasConceptScore W2108787054C33923547 @default.
- W2108787054 hasConceptScore W2108787054C41008148 @default.
- W2108787054 hasConceptScore W2108787054C78458016 @default.
- W2108787054 hasConceptScore W2108787054C80444323 @default.
- W2108787054 hasConceptScore W2108787054C86803240 @default.
- W2108787054 hasConceptScore W2108787054C90673727 @default.
- W2108787054 hasLocation W21087870541 @default.
- W2108787054 hasOpenAccess W2108787054 @default.
- W2108787054 hasPrimaryLocation W21087870541 @default.
- W2108787054 hasRelatedWork W1497155250 @default.
- W2108787054 hasRelatedWork W1528441743 @default.
- W2108787054 hasRelatedWork W1577096194 @default.
- W2108787054 hasRelatedWork W1582218596 @default.
- W2108787054 hasRelatedWork W1583742784 @default.
- W2108787054 hasRelatedWork W1850823946 @default.
- W2108787054 hasRelatedWork W2002952819 @default.
- W2108787054 hasRelatedWork W2007106955 @default.
- W2108787054 hasRelatedWork W2249663488 @default.
- W2108787054 hasRelatedWork W2462602917 @default.
- W2108787054 hasRelatedWork W2594336677 @default.
- W2108787054 hasRelatedWork W2740378375 @default.
- W2108787054 hasRelatedWork W2776057993 @default.
- W2108787054 hasRelatedWork W2798653279 @default.
- W2108787054 hasRelatedWork W2951753454 @default.
- W2108787054 hasRelatedWork W2955533368 @default.
- W2108787054 hasRelatedWork W2964046005 @default.
- W2108787054 hasRelatedWork W3194462547 @default.
- W2108787054 hasRelatedWork W3200143297 @default.
- W2108787054 hasRelatedWork W2183200524 @default.
- W2108787054 isParatext "false" @default.
- W2108787054 isRetracted "false" @default.
- W2108787054 magId "2108787054" @default.
- W2108787054 workType "article" @default.