FRINK Linked Data Fragments server

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

• W2149020136 endingPage "1230" @default.
• W2149020136 startingPage "1225" @default.
• W2149020136 abstract "This paper first presents a binary decision diagram-based implicit algorithm to compute all maximal strongly connected components (SCCs) of directed graphs. The algorithm iteratively applies reachability analysis and sequentially identifies SCCs. Experimental results suggest that the algorithm dramatically outperforms the only existing implicit method which must compute the transitive closure of the adjacency-matrix of the graphs. This paper then applies this SCC algorithm to solve the bad cycle detection problem encountered in formal verification. Experimental results show that our new bad cycle detection algorithm is typically significantly faster than the state-of-the-art, sometimes by more than a factor of ten." @default.
• W2149020136 created "2016-06-24" @default.
• W2149020136 creator A5029848252 @default.
• W2149020136 creator A5084205024 @default.
• W2149020136 date "2000-01-01" @default.
• W2149020136 modified "2023-09-25" @default.
• W2149020136 title "Implicit enumeration of strongly connected components and an application to formal verification" @default.
• W2149020136 cites W1822320350 @default.
• W2149020136 cites W1851795671 @default.
• W2149020136 cites W2000320221 @default.
• W2149020136 cites W2052703101 @default.
• W2149020136 cites W2080267935 @default.
• W2149020136 cites W2099120582 @default.
• W2149020136 cites W2103475464 @default.
• W2149020136 cites W2108918590 @default.
• W2149020136 cites W2118382442 @default.
• W2149020136 doi "https://doi.org/10.1109/43.875347" @default.
• W2149020136 hasPublicationYear "2000" @default.
• W2149020136 type Work @default.
• W2149020136 sameAs 2149020136 @default.
• W2149020136 citedByCount "31" @default.
• W2149020136 countsByYear W21490201362012 @default.
• W2149020136 countsByYear W21490201362014 @default.
• W2149020136 countsByYear W21490201362016 @default.
• W2149020136 countsByYear W21490201362018 @default.
• W2149020136 countsByYear W21490201362019 @default.
• W2149020136 countsByYear W21490201362020 @default.
• W2149020136 countsByYear W21490201362021 @default.
• W2149020136 countsByYear W21490201362023 @default.
• W2149020136 crossrefType "journal-article" @default.
• W2149020136 hasAuthorship W2149020136A5029848252 @default.
• W2149020136 hasAuthorship W2149020136A5084205024 @default.
• W2149020136 hasConcept C106487976 @default.
• W2149020136 hasConcept C110484373 @default.
• W2149020136 hasConcept C11413529 @default.
• W2149020136 hasConcept C114614502 @default.
• W2149020136 hasConcept C118615104 @default.
• W2149020136 hasConcept C128896722 @default.
• W2149020136 hasConcept C129691609 @default.
• W2149020136 hasConcept C132525143 @default.
• W2149020136 hasConcept C136643341 @default.
• W2149020136 hasConcept C146834321 @default.
• W2149020136 hasConcept C156340839 @default.
• W2149020136 hasConcept C159985019 @default.
• W2149020136 hasConcept C162324750 @default.
• W2149020136 hasConcept C180356752 @default.
• W2149020136 hasConcept C191399111 @default.
• W2149020136 hasConcept C192562407 @default.
• W2149020136 hasConcept C203776342 @default.
• W2149020136 hasConcept C22149727 @default.
• W2149020136 hasConcept C3309909 @default.
• W2149020136 hasConcept C33923547 @default.
• W2149020136 hasConcept C34447519 @default.
• W2149020136 hasConcept C38754835 @default.
• W2149020136 hasConcept C41008148 @default.
• W2149020136 hasConcept C48103436 @default.
• W2149020136 hasConcept C48372109 @default.
• W2149020136 hasConcept C80444323 @default.
• W2149020136 hasConcept C94375191 @default.
• W2149020136 hasConceptScore W2149020136C106487976 @default.
• W2149020136 hasConceptScore W2149020136C110484373 @default.
• W2149020136 hasConceptScore W2149020136C11413529 @default.
• W2149020136 hasConceptScore W2149020136C114614502 @default.
• W2149020136 hasConceptScore W2149020136C118615104 @default.
• W2149020136 hasConceptScore W2149020136C128896722 @default.
• W2149020136 hasConceptScore W2149020136C129691609 @default.
• W2149020136 hasConceptScore W2149020136C132525143 @default.
• W2149020136 hasConceptScore W2149020136C136643341 @default.
• W2149020136 hasConceptScore W2149020136C146834321 @default.
• W2149020136 hasConceptScore W2149020136C156340839 @default.
• W2149020136 hasConceptScore W2149020136C159985019 @default.
• W2149020136 hasConceptScore W2149020136C162324750 @default.
• W2149020136 hasConceptScore W2149020136C180356752 @default.
• W2149020136 hasConceptScore W2149020136C191399111 @default.
• W2149020136 hasConceptScore W2149020136C192562407 @default.
• W2149020136 hasConceptScore W2149020136C203776342 @default.
• W2149020136 hasConceptScore W2149020136C22149727 @default.
• W2149020136 hasConceptScore W2149020136C3309909 @default.
• W2149020136 hasConceptScore W2149020136C33923547 @default.
• W2149020136 hasConceptScore W2149020136C34447519 @default.
• W2149020136 hasConceptScore W2149020136C38754835 @default.
• W2149020136 hasConceptScore W2149020136C41008148 @default.
• W2149020136 hasConceptScore W2149020136C48103436 @default.
• W2149020136 hasConceptScore W2149020136C48372109 @default.
• W2149020136 hasConceptScore W2149020136C80444323 @default.
• W2149020136 hasConceptScore W2149020136C94375191 @default.
• W2149020136 hasIssue "10" @default.
• W2149020136 hasLocation W21490201361 @default.
• W2149020136 hasOpenAccess W2149020136 @default.
• W2149020136 hasPrimaryLocation W21490201361 @default.
• W2149020136 hasRelatedWork W1548215338 @default.
• W2149020136 hasRelatedWork W2032304805 @default.
• W2149020136 hasRelatedWork W2097111141 @default.
• W2149020136 hasRelatedWork W2149020136 @default.
• W2149020136 hasRelatedWork W2187311742 @default.
• W2149020136 hasRelatedWork W2370531848 @default.
• W2149020136 hasRelatedWork W2375463958 @default.
• W2149020136 hasRelatedWork W2394135826 @default.

• next