Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023151952> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2023151952 endingPage "3" @default.
- W2023151952 startingPage "1" @default.
- W2023151952 created "2016-06-24" @default.
- W2023151952 creator A5010375037 @default.
- W2023151952 creator A5017237200 @default.
- W2023151952 creator A5025344654 @default.
- W2023151952 creator A5039827178 @default.
- W2023151952 creator A5050142189 @default.
- W2023151952 date "2005-12-08" @default.
- W2023151952 modified "2023-10-16" @default.
- W2023151952 title "Automated Reasoning for Security Protocol Analysis" @default.
- W2023151952 cites W101997467 @default.
- W2023151952 cites W1485064038 @default.
- W2023151952 cites W1485732725 @default.
- W2023151952 cites W1487569371 @default.
- W2023151952 cites W1488364561 @default.
- W2023151952 cites W1531065626 @default.
- W2023151952 cites W1540024383 @default.
- W2023151952 cites W1546306355 @default.
- W2023151952 cites W1598131780 @default.
- W2023151952 cites W1842259395 @default.
- W2023151952 cites W2026155725 @default.
- W2023151952 cites W2071787143 @default.
- W2023151952 cites W2235032449 @default.
- W2023151952 cites W2772521659 @default.
- W2023151952 cites W72091722 @default.
- W2023151952 cites W96558622 @default.
- W2023151952 doi "https://doi.org/10.1007/s10817-005-9014-x" @default.
- W2023151952 hasPublicationYear "2005" @default.
- W2023151952 type Work @default.
- W2023151952 sameAs 2023151952 @default.
- W2023151952 citedByCount "3" @default.
- W2023151952 countsByYear W20231519522016 @default.
- W2023151952 countsByYear W20231519522021 @default.
- W2023151952 crossrefType "journal-article" @default.
- W2023151952 hasAuthorship W2023151952A5010375037 @default.
- W2023151952 hasAuthorship W2023151952A5017237200 @default.
- W2023151952 hasAuthorship W2023151952A5025344654 @default.
- W2023151952 hasAuthorship W2023151952A5039827178 @default.
- W2023151952 hasAuthorship W2023151952A5050142189 @default.
- W2023151952 hasBestOaLocation W20231519522 @default.
- W2023151952 hasConcept C142724271 @default.
- W2023151952 hasConcept C178489894 @default.
- W2023151952 hasConcept C195344581 @default.
- W2023151952 hasConcept C199360897 @default.
- W2023151952 hasConcept C204787440 @default.
- W2023151952 hasConcept C2780385302 @default.
- W2023151952 hasConcept C33884865 @default.
- W2023151952 hasConcept C38369872 @default.
- W2023151952 hasConcept C38652104 @default.
- W2023151952 hasConcept C41008148 @default.
- W2023151952 hasConcept C71924100 @default.
- W2023151952 hasConceptScore W2023151952C142724271 @default.
- W2023151952 hasConceptScore W2023151952C178489894 @default.
- W2023151952 hasConceptScore W2023151952C195344581 @default.
- W2023151952 hasConceptScore W2023151952C199360897 @default.
- W2023151952 hasConceptScore W2023151952C204787440 @default.
- W2023151952 hasConceptScore W2023151952C2780385302 @default.
- W2023151952 hasConceptScore W2023151952C33884865 @default.
- W2023151952 hasConceptScore W2023151952C38369872 @default.
- W2023151952 hasConceptScore W2023151952C38652104 @default.
- W2023151952 hasConceptScore W2023151952C41008148 @default.
- W2023151952 hasConceptScore W2023151952C71924100 @default.
- W2023151952 hasIssue "1-2" @default.
- W2023151952 hasLocation W20231519521 @default.
- W2023151952 hasLocation W20231519522 @default.
- W2023151952 hasOpenAccess W2023151952 @default.
- W2023151952 hasPrimaryLocation W20231519521 @default.
- W2023151952 hasRelatedWork W1488906949 @default.
- W2023151952 hasRelatedWork W1491320599 @default.
- W2023151952 hasRelatedWork W1844392338 @default.
- W2023151952 hasRelatedWork W2358638783 @default.
- W2023151952 hasRelatedWork W2374786263 @default.
- W2023151952 hasRelatedWork W2387127916 @default.
- W2023151952 hasRelatedWork W2766896269 @default.
- W2023151952 hasRelatedWork W2899002152 @default.
- W2023151952 hasRelatedWork W2944930244 @default.
- W2023151952 hasRelatedWork W2984608727 @default.
- W2023151952 hasVolume "36" @default.
- W2023151952 isParatext "false" @default.
- W2023151952 isRetracted "false" @default.
- W2023151952 magId "2023151952" @default.
- W2023151952 workType "article" @default.