{"id":"https://openalex.org/W7077155736","doi":"https://doi.org/10.5281/zenodo.16925288","title":"Game Modeling of Blockchain Protocols - artifact","display_name":"Game Modeling of Blockchain Protocols - artifact","publication_year":2025,"publication_date":"2025-08-22","ids":{"openalex":"https://openalex.org/W7077155736","doi":"https://doi.org/10.5281/zenodo.16925288"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.16925288","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16925288","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.16925288","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Rain, Sophie","orcid":"https://orcid.org/0000-0002-8940-4989"},"institutions":[{"id":"https://openalex.org/I4210143272","display_name":"Camber Collective (United States)","ror":"https://ror.org/03bh5kx55","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143272"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rain, Sophie","raw_affiliation_strings":["Argot Collective"],"raw_orcid":"https://orcid.org/0000-0002-8940-4989","affiliations":[{"raw_affiliation_string":"Argot Collective","institution_ids":["https://openalex.org/I4210143272"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Petkovi\u0107 Komel, Anja","orcid":"https://orcid.org/0000-0001-7203-6641"},"institutions":[{"id":"https://openalex.org/I4210143272","display_name":"Camber Collective (United States)","ror":"https://ror.org/03bh5kx55","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143272"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Petkovi\u0107 Komel, Anja","raw_affiliation_strings":["Argot Collective"],"raw_orcid":"https://orcid.org/0000-0001-7203-6641","affiliations":[{"raw_affiliation_string":"Argot Collective","institution_ids":["https://openalex.org/I4210143272"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rawson, Michael","orcid":"https://orcid.org/0000-0001-7834-1567"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rawson, Michael","raw_affiliation_strings":["University of Southampton"],"raw_orcid":"https://orcid.org/0000-0001-7834-1567","affiliations":[{"raw_affiliation_string":"University of Southampton","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"last","author":{"id":null,"display_name":"Kovacs, Laura","orcid":"https://orcid.org/0000-0002-8299-2714"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Kovacs, Laura","raw_affiliation_strings":["TU Wien"],"raw_orcid":"https://orcid.org/0000-0002-8299-2714","affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210143272"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6575000286102295,"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"}},"topics":[{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6575000286102295,"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"}},{"id":"https://openalex.org/T13067","display_name":"Geological Modeling and Analysis","score":0.02969999983906746,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14311","display_name":"Electrical and Electromagnetic Research","score":0.02070000022649765,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.8446999788284302},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7580000162124634},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.6712999939918518},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5960000157356262},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5231000185012817},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.39890000224113464},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.38690000772476196}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.8446999788284302},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7993999719619751},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7580000162124634},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.6712999939918518},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5960000157356262},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5231000185012817},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49950000643730164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4957999885082245},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.39890000224113464},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.38690000772476196},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.3635999858379364},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3481000065803528},{"id":"https://openalex.org/C164614171","wikidata":"https://www.wikidata.org/wiki/Q5204775","display_name":"DECIPHER","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.27219998836517334}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.16925288","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16925288","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.16925288","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.16925288","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"artifact":[1,123],"contains":[2,42,71,125],"the":[3,8,12,17,37,43,48,51,54,61,72,76,95,105,114,127,134],"modeling":[4,13],"template":[5,52],"(`modeling_template.py`)":[6],"and":[7,33,53,85],"dsl":[9,55],"(`dsl.py`)":[10],"implementing":[11],"guidelines":[14],"introduced":[15],"in":[16,66],"iFM2025":[18],"paper":[19,62,101],"\"Game":[20],"Modeling":[21],"of":[22,50,97,133,138],"Blockchain":[23],"Protocols\",":[24],"by":[25],"Rain":[26],"S.,":[27],"Petkovi\u0107":[28],"Komel":[29],"A.,":[30],"Rawson":[31],"M.,":[32],"Kov\u00e1cs":[34],"L.":[35],"In":[36,60],"`examples`":[38],"folder":[39],"it":[40,70],"further":[41],".py":[44],"files":[45],"that":[46,104],"exemplify":[47],"use":[49],"to":[56,93,113],"generate":[57],"game-theoretic":[58,116],"models.":[59],"these":[63],"are":[64],"listed":[65],"Table":[67],"1.":[68],"Additionally,":[69],"`reusable_playground.py`":[73],"file":[74],"for":[75],"users'":[77],"convenience,":[78],"which":[79],"generates":[80],"a":[81,90],"small":[82],"nonsense":[83],"game":[84],"can":[86,109],"be":[87,110],"used":[88],"as":[89],"starting":[91],"point":[92],"evaluate":[94],"reusability":[96],"our":[98],"artifact.":[99],"The":[100],"also":[102,124],"claims":[103],"generated":[106],".json":[107],"output":[108],"given":[111],"directly":[112],"automated":[115],"security":[117],"analysis":[118],"tool":[119],"CheckMate.":[120,139],"Hence,":[121],"this":[122],"(in":[126],"Docker":[128],"image)":[129],"an":[130],"executable":[131],"`checkmate`":[132],"latest":[135],"published":[136],"version":[137]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}