{"id":"https://openalex.org/W2051036002","doi":"https://doi.org/10.1007/s10619-014-7161-y","title":"An abstract formal basis for digital crowds","display_name":"An abstract formal basis for digital crowds","publication_year":2014,"publication_date":"2014-11-13","ids":{"openalex":"https://openalex.org/W2051036002","doi":"https://doi.org/10.1007/s10619-014-7161-y","mag":"2051036002"},"language":"en","primary_location":{"id":"doi:10.1007/s10619-014-7161-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10619-014-7161-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10619-014-7161-y.pdf","source":{"id":"https://openalex.org/S35927321","display_name":"Distributed and Parallel Databases","issn_l":"0926-8782","issn":["0926-8782","1573-7578"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed and Parallel Databases","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10619-014-7161-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Marija Slavkovik","orcid":null},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Marija Slavkovik","raw_affiliation_strings":["Department of Information Science and Media Studies, University of Bergen, Bergen, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Science and Media Studies, University of Bergen, Bergen, Norway","institution_ids":["https://openalex.org/I4432739"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Louise A. Dennis","orcid":null},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Louise A. Dennis","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":null,"display_name":"Michael Fisher","orcid":null},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Fisher","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4432739"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2200,"currency":"EUR","value_usd":2372},"fwci":1.0476,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77772814,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"33","issue":"1","first_page":"3","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.39399999380111694,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.39399999380111694,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11704","display_name":"Mobile Crowdsensing and Crowdsourcing","score":0.15119999647140503,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.07259999960660934,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/crowds","display_name":"Crowds","score":0.8439000248908997},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5871999859809875},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5480999946594238},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5364000201225281},{"id":"https://openalex.org/keywords/crowdsourcing","display_name":"Crowdsourcing","score":0.4977000057697296},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.47999998927116394},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46889999508857727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8464999794960022},{"id":"https://openalex.org/C2777852691","wikidata":"https://www.wikidata.org/wiki/Q13430821","display_name":"Crowds","level":2,"score":0.8439000248908997},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5871999859809875},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5480999946594238},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5364000201225281},{"id":"https://openalex.org/C62230096","wikidata":"https://www.wikidata.org/wiki/Q275969","display_name":"Crowdsourcing","level":2,"score":0.4977000057697296},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.47999998927116394},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46889999508857727},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.44290000200271606},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.41780000925064087},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4049000144004822},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.36309999227523804},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3474999964237213},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.29600000381469727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27489998936653137},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.26989999413490295},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.26510000228881836}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10619-014-7161-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10619-014-7161-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10619-014-7161-y.pdf","source":{"id":"https://openalex.org/S35927321","display_name":"Distributed and Parallel Databases","issn_l":"0926-8782","issn":["0926-8782","1573-7578"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed and Parallel Databases","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/c3b0291f-8c06-49cf-9dba-34d7ee60bb04","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/c3b0291f-8c06-49cf-9dba-34d7ee60bb04","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Slavkovik, M, Dennis, L A & Fisher, M 2014, 'An abstract formal basis for digital crowds', Distributed and Parallel Databases, vol. 33, pp. 3-31. https://doi.org/10.1007/s10619-014-7161-y","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:arXiv.org:1408.1592","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1408.1592","pdf_url":"https://arxiv.org/pdf/1408.1592","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/s10619-014-7161-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10619-014-7161-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10619-014-7161-y.pdf","source":{"id":"https://openalex.org/S35927321","display_name":"Distributed and Parallel Databases","issn_l":"0926-8782","issn":["0926-8782","1573-7578"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed and Parallel Databases","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3266011768","display_name":null,"funder_award_id":"EP/F033567/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3764750282","display_name":null,"funder_award_id":"EP/F033567","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6557167446","display_name":null,"funder_award_id":"EP/L024845/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2051036002.pdf","grobid_xml":"https://content.openalex.org/works/W2051036002.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W198400421","https://openalex.org/W1498450245","https://openalex.org/W1540592383","https://openalex.org/W1552797176","https://openalex.org/W1581665037","https://openalex.org/W1608490958","https://openalex.org/W1624732463","https://openalex.org/W1820213644","https://openalex.org/W1986715167","https://openalex.org/W1998468461","https://openalex.org/W2000074922","https://openalex.org/W2016245151","https://openalex.org/W2020787985","https://openalex.org/W2039048406","https://openalex.org/W2052992098","https://openalex.org/W2106172458","https://openalex.org/W2110563052","https://openalex.org/W2113112300","https://openalex.org/W2123796356","https://openalex.org/W2124344619","https://openalex.org/W2128672031","https://openalex.org/W2129559415","https://openalex.org/W2133881934","https://openalex.org/W2134991157","https://openalex.org/W2145805842","https://openalex.org/W2145899763","https://openalex.org/W2155272711","https://openalex.org/W2159131252","https://openalex.org/W2171913066","https://openalex.org/W2793768458","https://openalex.org/W2988741326","https://openalex.org/W6685379905"],"related_works":[],"abstract_inverted_index":{"Crowdsourcing,":[0],"together":[1],"with":[2,90],"its":[3],"related":[4],"approaches,":[5],"has":[6],"become":[7],"very":[8],"popular":[9],"in":[10,58,82,107],"recent":[11],"years.":[12],"All":[13],"crowdsourcing":[14],"processes":[15],"involve":[16],"the":[17,42,51,60,84,101],"participation":[18],"of":[19,26,44,53,62],"a":[20,23,30,63,70],"digital":[21,64,76,80],"crowd,":[22],"large":[24],"number":[25],"people":[27],"that":[28],"access":[29],"single":[31],"Internet":[32],"platform":[33],"or":[34],"shared":[35],"service.":[36],"In":[37],"this":[38,97],"paper":[39],"we":[40,68],"explore":[41],"possibility":[43],"applying":[45],"formal":[46,71,105,109],"methods,":[47,106],"typically":[48],"used":[49],"for":[50,74,103],"verification":[52],"software":[54],"and":[55],"hardware":[56],"systems,":[57],"analysing":[59],"behavior":[61],"crowd.":[65],"More":[66],"precisely,":[67],"provide":[69,100],"description":[72],"language":[73],"specifying":[75],"crowds.":[77],"We":[78,93],"represent":[79],"crowds":[81],"which":[83],"agents":[85],"do":[86],"not":[87],"directly":[88],"communicate":[89],"each":[91],"other.":[92],"further":[94],"show":[95],"how":[96],"specification":[98],"can":[99],"basis":[102],"sophisticated":[104],"particular":[108],"verification.":[110]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2016-06-24T00:00:00"}