Matches in SemOpenAlex for { <https://semopenalex.org/work/W4323026442> ?p ?o ?g. }
- W4323026442 endingPage "472" @default.
- W4323026442 startingPage "454" @default.
- W4323026442 created "2023-03-04" @default.
- W4323026442 creator A5020302140 @default.
- W4323026442 creator A5033330108 @default.
- W4323026442 creator A5050337397 @default.
- W4323026442 creator A5067109059 @default.
- W4323026442 creator A5072083212 @default.
- W4323026442 creator A5072917760 @default.
- W4323026442 date "2023-01-01" @default.
- W4323026442 modified "2023-10-16" @default.
- W4323026442 title "The Octatope Abstract Domain for Verification of Neural Networks" @default.
- W4323026442 cites W1480909796 @default.
- W4323026442 cites W178079818 @default.
- W4323026442 cites W2043100293 @default.
- W4323026442 cites W2048790997 @default.
- W4323026442 cites W2109237987 @default.
- W4323026442 cites W2124682870 @default.
- W4323026442 cites W2501830452 @default.
- W4323026442 cites W2594877703 @default.
- W4323026442 cites W2794609696 @default.
- W4323026442 cites W2900153411 @default.
- W4323026442 cites W2957311447 @default.
- W4323026442 cites W2974147052 @default.
- W4323026442 cites W2980176594 @default.
- W4323026442 cites W3043655933 @default.
- W4323026442 cites W3046272654 @default.
- W4323026442 cites W3046662910 @default.
- W4323026442 cites W3118621910 @default.
- W4323026442 cites W3120829775 @default.
- W4323026442 cites W3139172074 @default.
- W4323026442 cites W3158747708 @default.
- W4323026442 cites W3160641830 @default.
- W4323026442 cites W3186627997 @default.
- W4323026442 cites W3192314570 @default.
- W4323026442 cites W4205950066 @default.
- W4323026442 cites W4206602494 @default.
- W4323026442 doi "https://doi.org/10.1007/978-3-031-27481-7_26" @default.
- W4323026442 hasPublicationYear "2023" @default.
- W4323026442 type Work @default.
- W4323026442 citedByCount "0" @default.
- W4323026442 crossrefType "book-chapter" @default.
- W4323026442 hasAuthorship W4323026442A5020302140 @default.
- W4323026442 hasAuthorship W4323026442A5033330108 @default.
- W4323026442 hasAuthorship W4323026442A5050337397 @default.
- W4323026442 hasAuthorship W4323026442A5067109059 @default.
- W4323026442 hasAuthorship W4323026442A5072083212 @default.
- W4323026442 hasAuthorship W4323026442A5072917760 @default.
- W4323026442 hasConcept C104317684 @default.
- W4323026442 hasConcept C11413529 @default.
- W4323026442 hasConcept C118615104 @default.
- W4323026442 hasConcept C126255220 @default.
- W4323026442 hasConcept C127413603 @default.
- W4323026442 hasConcept C134306372 @default.
- W4323026442 hasConcept C145691206 @default.
- W4323026442 hasConcept C146978453 @default.
- W4323026442 hasConcept C151730666 @default.
- W4323026442 hasConcept C159985019 @default.
- W4323026442 hasConcept C177264268 @default.
- W4323026442 hasConcept C185592680 @default.
- W4323026442 hasConcept C192562407 @default.
- W4323026442 hasConcept C199360897 @default.
- W4323026442 hasConcept C202444582 @default.
- W4323026442 hasConcept C204241405 @default.
- W4323026442 hasConcept C204323151 @default.
- W4323026442 hasConcept C2779343474 @default.
- W4323026442 hasConcept C2780897414 @default.
- W4323026442 hasConcept C33923547 @default.
- W4323026442 hasConcept C36503486 @default.
- W4323026442 hasConcept C41008148 @default.
- W4323026442 hasConcept C41045048 @default.
- W4323026442 hasConcept C45374587 @default.
- W4323026442 hasConcept C45555294 @default.
- W4323026442 hasConcept C48044578 @default.
- W4323026442 hasConcept C55493867 @default.
- W4323026442 hasConcept C64543145 @default.
- W4323026442 hasConcept C77088390 @default.
- W4323026442 hasConcept C84135550 @default.
- W4323026442 hasConcept C86803240 @default.
- W4323026442 hasConcept C92757383 @default.
- W4323026442 hasConceptScore W4323026442C104317684 @default.
- W4323026442 hasConceptScore W4323026442C11413529 @default.
- W4323026442 hasConceptScore W4323026442C118615104 @default.
- W4323026442 hasConceptScore W4323026442C126255220 @default.
- W4323026442 hasConceptScore W4323026442C127413603 @default.
- W4323026442 hasConceptScore W4323026442C134306372 @default.
- W4323026442 hasConceptScore W4323026442C145691206 @default.
- W4323026442 hasConceptScore W4323026442C146978453 @default.
- W4323026442 hasConceptScore W4323026442C151730666 @default.
- W4323026442 hasConceptScore W4323026442C159985019 @default.
- W4323026442 hasConceptScore W4323026442C177264268 @default.
- W4323026442 hasConceptScore W4323026442C185592680 @default.
- W4323026442 hasConceptScore W4323026442C192562407 @default.
- W4323026442 hasConceptScore W4323026442C199360897 @default.
- W4323026442 hasConceptScore W4323026442C202444582 @default.
- W4323026442 hasConceptScore W4323026442C204241405 @default.
- W4323026442 hasConceptScore W4323026442C204323151 @default.
- W4323026442 hasConceptScore W4323026442C2779343474 @default.
- W4323026442 hasConceptScore W4323026442C2780897414 @default.
- W4323026442 hasConceptScore W4323026442C33923547 @default.