Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018744255> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2018744255 endingPage "31" @default.
- W2018744255 startingPage "30" @default.
- W2018744255 abstract "We describe Proof by Games, a system that mathematically proves software to be free from certain defects by transforming the refinement of formal model checking results into a public, browser-based, crowd sourced game. We then introduce Ghost Map: Hyperspace, the second-generation game in the Proof by Games system, and describe how we are introducing game elements whose sole purpose is to increase the level of engagement. This may reduce player efficiency but should increase crowd size and engagement -- and ultimately increase the total level of crowd contribution to the real-world task." @default.
- W2018744255 created "2016-06-24" @default.
- W2018744255 creator A5006554223 @default.
- W2018744255 creator A5008269941 @default.
- W2018744255 creator A5054167502 @default.
- W2018744255 creator A5066903738 @default.
- W2018744255 date "2015-05-16" @default.
- W2018744255 modified "2023-09-25" @default.
- W2018744255 title "Making hard fun in crowdsourced model checking: balancing crowd engagement and efficiency to maximize output in proof by games" @default.
- W2018744255 cites W2043284163 @default.
- W2018744255 cites W2119736157 @default.
- W2018744255 cites W2127574686 @default.
- W2018744255 doi "https://doi.org/10.5555/2820116.2820122" @default.
- W2018744255 hasPublicationYear "2015" @default.
- W2018744255 type Work @default.
- W2018744255 sameAs 2018744255 @default.
- W2018744255 citedByCount "4" @default.
- W2018744255 countsByYear W20187442552015 @default.
- W2018744255 countsByYear W20187442552016 @default.
- W2018744255 countsByYear W20187442552017 @default.
- W2018744255 countsByYear W20187442552018 @default.
- W2018744255 crossrefType "journal-article" @default.
- W2018744255 hasAuthorship W2018744255A5006554223 @default.
- W2018744255 hasAuthorship W2018744255A5008269941 @default.
- W2018744255 hasAuthorship W2018744255A5054167502 @default.
- W2018744255 hasAuthorship W2018744255A5066903738 @default.
- W2018744255 hasConcept C107457646 @default.
- W2018744255 hasConcept C110251889 @default.
- W2018744255 hasConcept C111919701 @default.
- W2018744255 hasConcept C124978682 @default.
- W2018744255 hasConcept C136764020 @default.
- W2018744255 hasConcept C154945302 @default.
- W2018744255 hasConcept C199360897 @default.
- W2018744255 hasConcept C2777904410 @default.
- W2018744255 hasConcept C39368324 @default.
- W2018744255 hasConcept C41008148 @default.
- W2018744255 hasConcept C62230096 @default.
- W2018744255 hasConcept C80444323 @default.
- W2018744255 hasConceptScore W2018744255C107457646 @default.
- W2018744255 hasConceptScore W2018744255C110251889 @default.
- W2018744255 hasConceptScore W2018744255C111919701 @default.
- W2018744255 hasConceptScore W2018744255C124978682 @default.
- W2018744255 hasConceptScore W2018744255C136764020 @default.
- W2018744255 hasConceptScore W2018744255C154945302 @default.
- W2018744255 hasConceptScore W2018744255C199360897 @default.
- W2018744255 hasConceptScore W2018744255C2777904410 @default.
- W2018744255 hasConceptScore W2018744255C39368324 @default.
- W2018744255 hasConceptScore W2018744255C41008148 @default.
- W2018744255 hasConceptScore W2018744255C62230096 @default.
- W2018744255 hasConceptScore W2018744255C80444323 @default.
- W2018744255 hasLocation W20187442551 @default.
- W2018744255 hasOpenAccess W2018744255 @default.
- W2018744255 hasPrimaryLocation W20187442551 @default.
- W2018744255 hasRelatedWork W1490515249 @default.
- W2018744255 hasRelatedWork W1511827303 @default.
- W2018744255 hasRelatedWork W1543877830 @default.
- W2018744255 hasRelatedWork W1982000745 @default.
- W2018744255 hasRelatedWork W2002262253 @default.
- W2018744255 hasRelatedWork W2046224973 @default.
- W2018744255 hasRelatedWork W2115456224 @default.
- W2018744255 hasRelatedWork W2142223028 @default.
- W2018744255 hasRelatedWork W2274588772 @default.
- W2018744255 hasRelatedWork W2934881745 @default.
- W2018744255 hasRelatedWork W2971428602 @default.
- W2018744255 hasRelatedWork W2973552807 @default.
- W2018744255 hasRelatedWork W2982059351 @default.
- W2018744255 hasRelatedWork W3007399319 @default.
- W2018744255 hasRelatedWork W3025635451 @default.
- W2018744255 hasRelatedWork W3167093423 @default.
- W2018744255 hasRelatedWork W3182868653 @default.
- W2018744255 hasRelatedWork W3205086589 @default.
- W2018744255 hasRelatedWork W746237627 @default.
- W2018744255 hasRelatedWork W2626366892 @default.
- W2018744255 isParatext "false" @default.
- W2018744255 isRetracted "false" @default.
- W2018744255 magId "2018744255" @default.
- W2018744255 workType "article" @default.