Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895960568> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2895960568 abstract "In the context of computer assisted verification of schedulability analyses, very expressive task models are useful to factorize the correctness proofs of as many analyses as possible. The digraph task model seems a good candidate due to its powerful expressivity. Alas, its ability to capture dependencies between arrival and execution times of jobs of different tasks is very limited." @default.
- W2895960568 created "2018-10-26" @default.
- W2895960568 creator A5008225629 @default.
- W2895960568 creator A5020402638 @default.
- W2895960568 creator A5077201085 @default.
- W2895960568 creator A5090356888 @default.
- W2895960568 date "2018-10-10" @default.
- W2895960568 modified "2023-10-16" @default.
- W2895960568 title "A Generalized Digraph Model for Expressing Dependencies" @default.
- W2895960568 cites W1566191317 @default.
- W2895960568 cites W1569199077 @default.
- W2895960568 cites W2043803173 @default.
- W2895960568 cites W2051004121 @default.
- W2895960568 cites W2059655552 @default.
- W2895960568 cites W2065028827 @default.
- W2895960568 cites W2101112998 @default.
- W2895960568 cites W2109488193 @default.
- W2895960568 cites W2110634048 @default.
- W2895960568 cites W2117778060 @default.
- W2895960568 cites W2124262702 @default.
- W2895960568 cites W2127200569 @default.
- W2895960568 cites W2154835224 @default.
- W2895960568 cites W2156021445 @default.
- W2895960568 cites W2389028360 @default.
- W2895960568 cites W2512054480 @default.
- W2895960568 cites W2746176605 @default.
- W2895960568 cites W2886159080 @default.
- W2895960568 doi "https://doi.org/10.1145/3273905.3273918" @default.
- W2895960568 hasPublicationYear "2018" @default.
- W2895960568 type Work @default.
- W2895960568 sameAs 2895960568 @default.
- W2895960568 citedByCount "2" @default.
- W2895960568 countsByYear W28959605682020 @default.
- W2895960568 countsByYear W28959605682023 @default.
- W2895960568 crossrefType "proceedings-article" @default.
- W2895960568 hasAuthorship W2895960568A5008225629 @default.
- W2895960568 hasAuthorship W2895960568A5020402638 @default.
- W2895960568 hasAuthorship W2895960568A5077201085 @default.
- W2895960568 hasAuthorship W2895960568A5090356888 @default.
- W2895960568 hasBestOaLocation W28959605682 @default.
- W2895960568 hasConcept C108710211 @default.
- W2895960568 hasConcept C11413529 @default.
- W2895960568 hasConcept C118615104 @default.
- W2895960568 hasConcept C151730666 @default.
- W2895960568 hasConcept C162324750 @default.
- W2895960568 hasConcept C187736073 @default.
- W2895960568 hasConcept C187834632 @default.
- W2895960568 hasConcept C199360897 @default.
- W2895960568 hasConcept C2524010 @default.
- W2895960568 hasConcept C2779145032 @default.
- W2895960568 hasConcept C2779343474 @default.
- W2895960568 hasConcept C2780451532 @default.
- W2895960568 hasConcept C33923547 @default.
- W2895960568 hasConcept C41008148 @default.
- W2895960568 hasConcept C54355233 @default.
- W2895960568 hasConcept C55439883 @default.
- W2895960568 hasConcept C80444323 @default.
- W2895960568 hasConcept C86803240 @default.
- W2895960568 hasConcept C92811239 @default.
- W2895960568 hasConceptScore W2895960568C108710211 @default.
- W2895960568 hasConceptScore W2895960568C11413529 @default.
- W2895960568 hasConceptScore W2895960568C118615104 @default.
- W2895960568 hasConceptScore W2895960568C151730666 @default.
- W2895960568 hasConceptScore W2895960568C162324750 @default.
- W2895960568 hasConceptScore W2895960568C187736073 @default.
- W2895960568 hasConceptScore W2895960568C187834632 @default.
- W2895960568 hasConceptScore W2895960568C199360897 @default.
- W2895960568 hasConceptScore W2895960568C2524010 @default.
- W2895960568 hasConceptScore W2895960568C2779145032 @default.
- W2895960568 hasConceptScore W2895960568C2779343474 @default.
- W2895960568 hasConceptScore W2895960568C2780451532 @default.
- W2895960568 hasConceptScore W2895960568C33923547 @default.
- W2895960568 hasConceptScore W2895960568C41008148 @default.
- W2895960568 hasConceptScore W2895960568C54355233 @default.
- W2895960568 hasConceptScore W2895960568C55439883 @default.
- W2895960568 hasConceptScore W2895960568C80444323 @default.
- W2895960568 hasConceptScore W2895960568C86803240 @default.
- W2895960568 hasConceptScore W2895960568C92811239 @default.
- W2895960568 hasLocation W28959605681 @default.
- W2895960568 hasLocation W28959605682 @default.
- W2895960568 hasLocation W28959605683 @default.
- W2895960568 hasLocation W28959605684 @default.
- W2895960568 hasOpenAccess W2895960568 @default.
- W2895960568 hasPrimaryLocation W28959605681 @default.
- W2895960568 hasRelatedWork W1975203667 @default.
- W2895960568 hasRelatedWork W1996632063 @default.
- W2895960568 hasRelatedWork W2038088825 @default.
- W2895960568 hasRelatedWork W2048138016 @default.
- W2895960568 hasRelatedWork W2140169421 @default.
- W2895960568 hasRelatedWork W2265849288 @default.
- W2895960568 hasRelatedWork W2370328482 @default.
- W2895960568 hasRelatedWork W2394105393 @default.
- W2895960568 hasRelatedWork W2921632378 @default.
- W2895960568 hasRelatedWork W4287882779 @default.
- W2895960568 isParatext "false" @default.
- W2895960568 isRetracted "false" @default.
- W2895960568 magId "2895960568" @default.
- W2895960568 workType "article" @default.