{"id":"https://openalex.org/W1765122813","doi":"https://doi.org/10.1007/978-3-319-48628-4_13","title":"Provably Correct Systems: Community, Connections, and Citations","display_name":"Provably Correct Systems: Community, Connections, and Citations","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W1765122813","doi":"https://doi.org/10.1007/978-3-319-48628-4_13","mag":"1765122813"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-48628-4_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-48628-4_13","pdf_url":null,"source":{"id":"https://openalex.org/S4210188571","display_name":"NASA monographs in systems and software engineering","issn_l":"1860-0131","issn":["1860-0131","2197-6597"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NASA Monographs in Systems and Software Engineering","raw_type":"book-chapter"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1509.02908","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041103024","display_name":"Jonathan P. Bowen","orcid":"https://orcid.org/0000-0002-8748-6140"},"institutions":[{"id":"https://openalex.org/I28257850","display_name":"London South Bank University","ror":"https://ror.org/02vwnat91","country_code":"GB","type":"education","lineage":["https://openalex.org/I28257850"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jonathan P. Bowen","raw_affiliation_strings":["Museophile Ltd , Oxford, United Kingdom","School of Engineering, London South Bank University, Borough Road, London, SE1 0AA, UK","(London South Bank University)"],"affiliations":[{"raw_affiliation_string":"Museophile Ltd , Oxford, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"School of Engineering, London South Bank University, Borough Road, London, SE1 0AA, UK","institution_ids":["https://openalex.org/I28257850"]},{"raw_affiliation_string":"(London South Bank University)","institution_ids":["https://openalex.org/I28257850"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041103024"],"corresponding_institution_ids":["https://openalex.org/I28257850"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0062569,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"313","last_page":"328"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9327999949455261,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11937","display_name":"Research Data Management Practices","score":0.906000018119812,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/quarter","display_name":"Quarter (Canadian coin)","score":0.7542217373847961},{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.6299257874488831},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5889641642570496},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.42077207565307617},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.41755998134613037},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.387050986289978},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38371530175209045},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.34053486585617065},{"id":"https://openalex.org/keywords/regional-science","display_name":"Regional science","score":0.33843788504600525},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3242959976196289},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21766036748886108},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.1955702304840088}],"concepts":[{"id":"https://openalex.org/C85079727","wikidata":"https://www.wikidata.org/wiki/Q3560114","display_name":"Quarter (Canadian coin)","level":2,"score":0.7542217373847961},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.6299257874488831},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5889641642570496},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.42077207565307617},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.41755998134613037},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.387050986289978},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38371530175209045},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.34053486585617065},{"id":"https://openalex.org/C148383697","wikidata":"https://www.wikidata.org/wiki/Q1781695","display_name":"Regional science","level":1,"score":0.33843788504600525},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3242959976196289},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21766036748886108},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.1955702304840088},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-319-48628-4_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-48628-4_13","pdf_url":null,"source":{"id":"https://openalex.org/S4210188571","display_name":"NASA monographs in systems and software engineering","issn_l":"1860-0131","issn":["1860-0131","2197-6597"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NASA Monographs in Systems and Software Engineering","raw_type":"book-chapter"},{"id":"pmh:oai:openresearch.lsbu.ac.uk:877w1","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401135","display_name":"Research Open (London South Bank University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28257850","host_organization_name":"London South Bank University","host_organization_lineage":["https://openalex.org/I28257850"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"conference-item"},{"id":"pmh:oai:arXiv.org:1509.02908","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1509.02908","pdf_url":"https://arxiv.org/pdf/1509.02908","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},{"id":"mag:1765122813","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1509.02908.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:openresearch.lsbu.ac.uk:87035","is_oa":true,"landing_page_url":"https://openresearch.lsbu.ac.uk/item/87035","pdf_url":null,"source":{"id":"https://openalex.org/S4306401135","display_name":"Research Open (London South Bank University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28257850","host_organization_name":"London South Bank University","host_organization_lineage":["https://openalex.org/I28257850"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"book-chapter"},{"id":"doi:10.48550/arxiv.1509.02908","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1509.02908","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1509.02908","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1509.02908","pdf_url":"https://arxiv.org/pdf/1509.02908","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W25765579","https://openalex.org/W112597529","https://openalex.org/W178399177","https://openalex.org/W1523145602","https://openalex.org/W1528921976","https://openalex.org/W1566986515","https://openalex.org/W1570917687","https://openalex.org/W1696557569","https://openalex.org/W1728077340","https://openalex.org/W2005706022","https://openalex.org/W2024668512","https://openalex.org/W2074348939","https://openalex.org/W2091496120","https://openalex.org/W2098104370","https://openalex.org/W2128438887","https://openalex.org/W2166775836","https://openalex.org/W2167467151","https://openalex.org/W2290920460","https://openalex.org/W2307785417","https://openalex.org/W2401724601","https://openalex.org/W2461209907","https://openalex.org/W2466392220","https://openalex.org/W2896068731","https://openalex.org/W2896187107","https://openalex.org/W3102175307","https://openalex.org/W4210702550","https://openalex.org/W4253120240"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-03T22:45:19.894376","created_date":"2025-10-10T00:00:00"}