Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517566730> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1517566730 endingPage "27" @default.
- W1517566730 startingPage "16" @default.
- W1517566730 abstract "This paper shows how a general technique, called lock-step search, used in dynamic graph algorithms, can be used to improve the running time of two problems arising in program verification and communication protocol design." @default.
- W1517566730 created "2016-06-24" @default.
- W1517566730 creator A5003641345 @default.
- W1517566730 creator A5019858728 @default.
- W1517566730 date "1996-01-01" @default.
- W1517566730 modified "2023-10-07" @default.
- W1517566730 title "Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning" @default.
- W1517566730 cites W1975657455 @default.
- W1517566730 cites W2031592188 @default.
- W1517566730 cites W2085849292 @default.
- W1517566730 cites W2118382442 @default.
- W1517566730 cites W2295066707 @default.
- W1517566730 doi "https://doi.org/10.1007/3-540-61422-2_117" @default.
- W1517566730 hasPublicationYear "1996" @default.
- W1517566730 type Work @default.
- W1517566730 sameAs 1517566730 @default.
- W1517566730 citedByCount "26" @default.
- W1517566730 countsByYear W15175667302012 @default.
- W1517566730 countsByYear W15175667302013 @default.
- W1517566730 countsByYear W15175667302015 @default.
- W1517566730 countsByYear W15175667302016 @default.
- W1517566730 countsByYear W15175667302017 @default.
- W1517566730 countsByYear W15175667302018 @default.
- W1517566730 countsByYear W15175667302019 @default.
- W1517566730 countsByYear W15175667302022 @default.
- W1517566730 crossrefType "book-chapter" @default.
- W1517566730 hasAuthorship W1517566730A5003641345 @default.
- W1517566730 hasAuthorship W1517566730A5019858728 @default.
- W1517566730 hasConcept C108010975 @default.
- W1517566730 hasConcept C112505250 @default.
- W1517566730 hasConcept C11413529 @default.
- W1517566730 hasConcept C12269588 @default.
- W1517566730 hasConcept C127413603 @default.
- W1517566730 hasConcept C132525143 @default.
- W1517566730 hasConcept C142724271 @default.
- W1517566730 hasConcept C174839445 @default.
- W1517566730 hasConcept C204787440 @default.
- W1517566730 hasConcept C2780385302 @default.
- W1517566730 hasConcept C31258907 @default.
- W1517566730 hasConcept C41008148 @default.
- W1517566730 hasConcept C6557445 @default.
- W1517566730 hasConcept C71924100 @default.
- W1517566730 hasConcept C78519656 @default.
- W1517566730 hasConcept C80444323 @default.
- W1517566730 hasConcept C86803240 @default.
- W1517566730 hasConceptScore W1517566730C108010975 @default.
- W1517566730 hasConceptScore W1517566730C112505250 @default.
- W1517566730 hasConceptScore W1517566730C11413529 @default.
- W1517566730 hasConceptScore W1517566730C12269588 @default.
- W1517566730 hasConceptScore W1517566730C127413603 @default.
- W1517566730 hasConceptScore W1517566730C132525143 @default.
- W1517566730 hasConceptScore W1517566730C142724271 @default.
- W1517566730 hasConceptScore W1517566730C174839445 @default.
- W1517566730 hasConceptScore W1517566730C204787440 @default.
- W1517566730 hasConceptScore W1517566730C2780385302 @default.
- W1517566730 hasConceptScore W1517566730C31258907 @default.
- W1517566730 hasConceptScore W1517566730C41008148 @default.
- W1517566730 hasConceptScore W1517566730C6557445 @default.
- W1517566730 hasConceptScore W1517566730C71924100 @default.
- W1517566730 hasConceptScore W1517566730C78519656 @default.
- W1517566730 hasConceptScore W1517566730C80444323 @default.
- W1517566730 hasConceptScore W1517566730C86803240 @default.
- W1517566730 hasLocation W15175667301 @default.
- W1517566730 hasOpenAccess W1517566730 @default.
- W1517566730 hasPrimaryLocation W15175667301 @default.
- W1517566730 hasRelatedWork W1491477330 @default.
- W1517566730 hasRelatedWork W1500064003 @default.
- W1517566730 hasRelatedWork W1513251813 @default.
- W1517566730 hasRelatedWork W1517566730 @default.
- W1517566730 hasRelatedWork W1596157658 @default.
- W1517566730 hasRelatedWork W1989971697 @default.
- W1517566730 hasRelatedWork W2352936227 @default.
- W1517566730 hasRelatedWork W2375403706 @default.
- W1517566730 hasRelatedWork W2389524614 @default.
- W1517566730 hasRelatedWork W4247441475 @default.
- W1517566730 isParatext "false" @default.
- W1517566730 isRetracted "false" @default.
- W1517566730 magId "1517566730" @default.
- W1517566730 workType "book-chapter" @default.