Matches in SemOpenAlex for { <https://semopenalex.org/work/W2602464013> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2602464013 endingPage "8" @default.
- W2602464013 startingPage "8" @default.
- W2602464013 abstract "The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. In 2016, the event took place in Mountain View, California, as integral part of the FMCAD conference. Ten students were invited to give a short talk and present a poster illustrating their work. The presentations covered a broad range of topics in the field of verification and synthesis, including automated reasoning, model checking of hardware, software, as well as hybrid systems, verification and synthesis of networks, and application of artificial intelligence techniques to circuit design." @default.
- W2602464013 created "2017-04-07" @default.
- W2602464013 creator A5014085893 @default.
- W2602464013 date "2016-10-03" @default.
- W2602464013 modified "2023-09-23" @default.
- W2602464013 title "The FMCAD 2016 graduate student forum" @default.
- W2602464013 cites W2026018997 @default.
- W2602464013 cites W2049554906 @default.
- W2602464013 cites W2403988020 @default.
- W2602464013 doi "https://doi.org/10.5555/3077629.3077637" @default.
- W2602464013 hasPublicationYear "2016" @default.
- W2602464013 type Work @default.
- W2602464013 sameAs 2602464013 @default.
- W2602464013 citedByCount "4" @default.
- W2602464013 countsByYear W26024640132017 @default.
- W2602464013 countsByYear W26024640132018 @default.
- W2602464013 countsByYear W26024640132019 @default.
- W2602464013 countsByYear W26024640132020 @default.
- W2602464013 crossrefType "proceedings-article" @default.
- W2602464013 hasAuthorship W2602464013A5014085893 @default.
- W2602464013 hasConcept C110251889 @default.
- W2602464013 hasConcept C110354214 @default.
- W2602464013 hasConcept C111498074 @default.
- W2602464013 hasConcept C115903868 @default.
- W2602464013 hasConcept C121332964 @default.
- W2602464013 hasConcept C127413603 @default.
- W2602464013 hasConcept C15744967 @default.
- W2602464013 hasConcept C19417346 @default.
- W2602464013 hasConcept C199360897 @default.
- W2602464013 hasConcept C202444582 @default.
- W2602464013 hasConcept C2777904410 @default.
- W2602464013 hasConcept C2779662365 @default.
- W2602464013 hasConcept C3020528894 @default.
- W2602464013 hasConcept C33923547 @default.
- W2602464013 hasConcept C41008148 @default.
- W2602464013 hasConcept C62520636 @default.
- W2602464013 hasConcept C9652623 @default.
- W2602464013 hasConceptScore W2602464013C110251889 @default.
- W2602464013 hasConceptScore W2602464013C110354214 @default.
- W2602464013 hasConceptScore W2602464013C111498074 @default.
- W2602464013 hasConceptScore W2602464013C115903868 @default.
- W2602464013 hasConceptScore W2602464013C121332964 @default.
- W2602464013 hasConceptScore W2602464013C127413603 @default.
- W2602464013 hasConceptScore W2602464013C15744967 @default.
- W2602464013 hasConceptScore W2602464013C19417346 @default.
- W2602464013 hasConceptScore W2602464013C199360897 @default.
- W2602464013 hasConceptScore W2602464013C202444582 @default.
- W2602464013 hasConceptScore W2602464013C2777904410 @default.
- W2602464013 hasConceptScore W2602464013C2779662365 @default.
- W2602464013 hasConceptScore W2602464013C3020528894 @default.
- W2602464013 hasConceptScore W2602464013C33923547 @default.
- W2602464013 hasConceptScore W2602464013C41008148 @default.
- W2602464013 hasConceptScore W2602464013C62520636 @default.
- W2602464013 hasConceptScore W2602464013C9652623 @default.
- W2602464013 hasLocation W26024640131 @default.
- W2602464013 hasOpenAccess W2602464013 @default.
- W2602464013 hasPrimaryLocation W26024640131 @default.
- W2602464013 hasRelatedWork W1512232788 @default.
- W2602464013 hasRelatedWork W1512273201 @default.
- W2602464013 hasRelatedWork W1521608155 @default.
- W2602464013 hasRelatedWork W1619052406 @default.
- W2602464013 hasRelatedWork W1862456599 @default.
- W2602464013 hasRelatedWork W2059621193 @default.
- W2602464013 hasRelatedWork W2073742092 @default.
- W2602464013 hasRelatedWork W2075561046 @default.
- W2602464013 hasRelatedWork W2111627689 @default.
- W2602464013 hasRelatedWork W2112236156 @default.
- W2602464013 hasRelatedWork W2143993690 @default.
- W2602464013 hasRelatedWork W2338119957 @default.
- W2602464013 hasRelatedWork W2403988020 @default.
- W2602464013 hasRelatedWork W2742494445 @default.
- W2602464013 hasRelatedWork W2767034788 @default.
- W2602464013 hasRelatedWork W2768071817 @default.
- W2602464013 hasRelatedWork W2777535373 @default.
- W2602464013 hasRelatedWork W2900992249 @default.
- W2602464013 hasRelatedWork W2995292624 @default.
- W2602464013 hasRelatedWork W656207949 @default.
- W2602464013 isParatext "false" @default.
- W2602464013 isRetracted "false" @default.
- W2602464013 magId "2602464013" @default.
- W2602464013 workType "article" @default.