Matches in SemOpenAlex for { <https://semopenalex.org/work/W2790469097> ?p ?o ?g. }
- W2790469097 endingPage "332" @default.
- W2790469097 startingPage "243" @default.
- W2790469097 created "2018-03-29" @default.
- W2790469097 creator A5005529779 @default.
- W2790469097 date "2018-02-08" @default.
- W2790469097 modified "2023-10-17" @default.
- W2790469097 title "Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler" @default.
- W2790469097 cites W1493592607 @default.
- W2790469097 cites W1521087854 @default.
- W2790469097 cites W1535889923 @default.
- W2790469097 cites W1536804838 @default.
- W2790469097 cites W1560655349 @default.
- W2790469097 cites W1567473288 @default.
- W2790469097 cites W1569794958 @default.
- W2790469097 cites W1571196178 @default.
- W2790469097 cites W1576845617 @default.
- W2790469097 cites W1579338145 @default.
- W2790469097 cites W1595209293 @default.
- W2790469097 cites W1692349883 @default.
- W2790469097 cites W1696656935 @default.
- W2790469097 cites W1814005291 @default.
- W2790469097 cites W1887681675 @default.
- W2790469097 cites W1980939032 @default.
- W2790469097 cites W1987693120 @default.
- W2790469097 cites W1989536180 @default.
- W2790469097 cites W2006731094 @default.
- W2790469097 cites W2008197313 @default.
- W2790469097 cites W2020763704 @default.
- W2790469097 cites W2039616607 @default.
- W2790469097 cites W2040989203 @default.
- W2790469097 cites W2041093119 @default.
- W2790469097 cites W2048417351 @default.
- W2790469097 cites W2050469558 @default.
- W2790469097 cites W2052735108 @default.
- W2790469097 cites W2054739713 @default.
- W2790469097 cites W2061969020 @default.
- W2790469097 cites W2064390891 @default.
- W2790469097 cites W2071471611 @default.
- W2790469097 cites W2082036516 @default.
- W2790469097 cites W2096228713 @default.
- W2790469097 cites W2097687957 @default.
- W2790469097 cites W2106047869 @default.
- W2790469097 cites W2108107923 @default.
- W2790469097 cites W2108796478 @default.
- W2790469097 cites W2116128461 @default.
- W2790469097 cites W2124153277 @default.
- W2790469097 cites W2129695855 @default.
- W2790469097 cites W2134072717 @default.
- W2790469097 cites W2134267719 @default.
- W2790469097 cites W2136362013 @default.
- W2790469097 cites W2140200969 @default.
- W2790469097 cites W2148662736 @default.
- W2790469097 cites W2154942048 @default.
- W2790469097 cites W2159897734 @default.
- W2790469097 cites W2166726071 @default.
- W2790469097 cites W2171537091 @default.
- W2790469097 cites W2390888944 @default.
- W2790469097 cites W2481261230 @default.
- W2790469097 cites W2675276594 @default.
- W2790469097 cites W3175485889 @default.
- W2790469097 cites W4230366227 @default.
- W2790469097 cites W4250846042 @default.
- W2790469097 cites W58308675 @default.
- W2790469097 cites W64027241 @default.
- W2790469097 cites W867008410 @default.
- W2790469097 doi "https://doi.org/10.1007/s10817-018-9452-x" @default.
- W2790469097 hasPublicationYear "2018" @default.
- W2790469097 type Work @default.
- W2790469097 sameAs 2790469097 @default.
- W2790469097 citedByCount "6" @default.
- W2790469097 countsByYear W27904690972019 @default.
- W2790469097 countsByYear W27904690972020 @default.
- W2790469097 countsByYear W27904690972021 @default.
- W2790469097 crossrefType "journal-article" @default.
- W2790469097 hasAuthorship W2790469097A5005529779 @default.
- W2790469097 hasConcept C109701466 @default.
- W2790469097 hasConcept C132106392 @default.
- W2790469097 hasConcept C168702491 @default.
- W2790469097 hasConcept C169590947 @default.
- W2790469097 hasConcept C172482141 @default.
- W2790469097 hasConcept C17435882 @default.
- W2790469097 hasConcept C199360897 @default.
- W2790469097 hasConcept C2777472213 @default.
- W2790469097 hasConcept C2779818221 @default.
- W2790469097 hasConcept C41008148 @default.
- W2790469097 hasConcept C548217200 @default.
- W2790469097 hasConcept C60945770 @default.
- W2790469097 hasConceptScore W2790469097C109701466 @default.
- W2790469097 hasConceptScore W2790469097C132106392 @default.
- W2790469097 hasConceptScore W2790469097C168702491 @default.
- W2790469097 hasConceptScore W2790469097C169590947 @default.
- W2790469097 hasConceptScore W2790469097C172482141 @default.
- W2790469097 hasConceptScore W2790469097C17435882 @default.
- W2790469097 hasConceptScore W2790469097C199360897 @default.
- W2790469097 hasConceptScore W2790469097C2777472213 @default.
- W2790469097 hasConceptScore W2790469097C2779818221 @default.
- W2790469097 hasConceptScore W2790469097C41008148 @default.
- W2790469097 hasConceptScore W2790469097C548217200 @default.
- W2790469097 hasConceptScore W2790469097C60945770 @default.
- W2790469097 hasFunder F4320320879 @default.