{"id":"https://openalex.org/W2771545884","doi":"https://doi.org/10.1145/3148055.3148063","title":"Quantitative Verification of Social Media Networks","display_name":"Quantitative Verification of Social Media Networks","publication_year":2017,"publication_date":"2017-12-01","ids":{"openalex":"https://openalex.org/W2771545884","doi":"https://doi.org/10.1145/3148055.3148063","mag":"2771545884"},"language":"en","primary_location":{"id":"doi:10.1145/3148055.3148063","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3148055.3148063","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fourth IEEE/ACM International Conference on Big Data Computing, Applications and Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031145902","display_name":"Kenneth Johnson","orcid":"https://orcid.org/0000-0002-9116-7185"},"institutions":[{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Kenneth Johnson","raw_affiliation_strings":["Auckland University of Technology, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Auckland University of Technology, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076191835","display_name":"Shahper Richter","orcid":"https://orcid.org/0000-0001-6725-4652"},"institutions":[{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Shahper Richter","raw_affiliation_strings":["Auckland University of Technology, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Auckland University of Technology, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I39854758"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17543132,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"53","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10064","display_name":"Complex Network Analysis Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10064","display_name":"Complex Network Analysis Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11719","display_name":"Data Quality and Management","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.834612250328064},{"id":"https://openalex.org/keywords/big-data","display_name":"Big data","score":0.6853204369544983},{"id":"https://openalex.org/keywords/social-media","display_name":"Social media","score":0.6586109399795532},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5647575259208679},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.563030481338501},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5363643765449524},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4108315408229828},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.36933284997940063},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2929280400276184},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2903043031692505},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2100169062614441},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1297389268875122}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.834612250328064},{"id":"https://openalex.org/C75684735","wikidata":"https://www.wikidata.org/wiki/Q858810","display_name":"Big data","level":2,"score":0.6853204369544983},{"id":"https://openalex.org/C518677369","wikidata":"https://www.wikidata.org/wiki/Q202833","display_name":"Social media","level":2,"score":0.6586109399795532},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5647575259208679},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.563030481338501},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5363643765449524},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4108315408229828},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.36933284997940063},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2929280400276184},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2903043031692505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2100169062614441},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1297389268875122}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3148055.3148063","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3148055.3148063","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fourth IEEE/ACM International Conference on Big Data Computing, Applications and Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1236737278","https://openalex.org/W1485720688","https://openalex.org/W1500693574","https://openalex.org/W1743243001","https://openalex.org/W1814023381","https://openalex.org/W1862398452","https://openalex.org/W1893161742","https://openalex.org/W1899116073","https://openalex.org/W1967579779","https://openalex.org/W1975583660","https://openalex.org/W2018504333","https://openalex.org/W2018984973","https://openalex.org/W2020170089","https://openalex.org/W2054652241","https://openalex.org/W2055637560","https://openalex.org/W2061820396","https://openalex.org/W2073926352","https://openalex.org/W2108858998","https://openalex.org/W2111107749","https://openalex.org/W2122463926","https://openalex.org/W2124499489","https://openalex.org/W2159397589","https://openalex.org/W2161617351","https://openalex.org/W2165571577","https://openalex.org/W2170722887","https://openalex.org/W2221728952","https://openalex.org/W2261525379","https://openalex.org/W2548426745","https://openalex.org/W2552433839","https://openalex.org/W2609368040","https://openalex.org/W3124645392"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4390608645","https://openalex.org/W4247566972","https://openalex.org/W4394895745","https://openalex.org/W2960264696","https://openalex.org/W3090563135","https://openalex.org/W2497432351","https://openalex.org/W4206777497","https://openalex.org/W2910064364","https://openalex.org/W4200136508"],"abstract_inverted_index":{"Traditional":[0],"news":[1],"outlets":[2],"are":[3,24,147],"becoming":[4],"increasingly":[5],"focused":[6],"on":[7,14,121],"reporting":[8],"online":[9,50],"events;":[10],"those":[11,29],"that":[12],"occur":[13],"social":[15,97,101,122,140,164],"platforms":[16],"within":[17],"the":[18,32,66,71,106],"digital":[19],"world.":[20],"However,":[21],"these":[22],"events":[23],"no":[25],"less":[26],"important":[27],"than":[28],"occurring":[30],"in":[31,65],"real-world.":[33],"For":[34],"example,":[35],"national":[36],"political":[37],"leaders":[38],"take":[39],"to":[40,42,85,92,112,138,149],"Twitter":[41,186],"express":[43],"their":[44],"opinion":[45],"or":[46,56],"rally":[47],"support,":[48],"while":[49],"reputations":[51],"of":[52,74,96,144],"celebrities":[53],"can":[54],"make":[55],"break":[57],"careers.":[58],"Social":[59,124],"data":[60,87,125],"defines":[61],"interactions":[62],"between":[63,119],"people":[64],"real-world":[67],"and":[68,115,131,155,176,180,187],"it":[69],"captures":[70],"three":[72],"V's":[73],"big":[75,86],"data.":[76,141,165],"In":[77],"this":[78],"paper,":[79],"we":[80],"introduce":[81],"a":[82,127,158,173],"new":[83],"approach":[84,133],"using":[88],"formal":[89],"verification":[90],"techniques":[91],"measure":[93],"quantitative":[94],"properties":[95],"interactions,":[98],"called":[99],"probabilistic":[100,150],"metrics.":[102],"This":[103],"paper":[104],"describes":[105],"Data":[107],"Verification":[108],"Framework":[109],"(DataVE)":[110],"developed":[111],"retrieve,":[113],"process":[114],"store":[116,139],"interaction":[117],"patterns":[118],"users":[120],"media.":[123],"forms":[126],"natural":[128],"graph":[129,135],"structure":[130],"our":[132],"uses":[134],"database":[136],"technology":[137],"High-level":[142],"queries":[143],"user":[145],"behaviour":[146],"translated":[148],"computation":[151],"tree":[152],"logical":[153],"formulae":[154],"checked":[156],"against":[157],"Markov":[159],"chain":[160],"model":[161],"generated":[162],"from":[163,185],"The":[166],"DataVE":[167],"framework":[168],"has":[169],"been":[170],"implemented":[171],"as":[172],"freely":[174],"available":[175],"open-source":[177],"software":[178],"tool":[179],"validated":[181],"with":[182],"case":[183],"studies":[184],"scalability":[188],"experiments.":[189]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}