{"id":"https://openalex.org/W3106475002","doi":"https://doi.org/10.1007/978-3-030-63461-2_14","title":"A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms","display_name":"A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3106475002","doi":"https://doi.org/10.1007/978-3-030-63461-2_14","mag":"3106475002"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-63461-2_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-63461-2_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/250318355/Safari_2020_A_generic_approach_to_the_verificat.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065529908","display_name":"Mohsen Safari","orcid":"https://orcid.org/0000-0003-0839-3251"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Mohsen Safari","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045181048","display_name":"Marieke Huisman","orcid":"https://orcid.org/0000-0003-4467-072X"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marieke Huisman","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065529908"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.925,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.89219215,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"257","last_page":"275"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9987999796867371,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"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/T11567","display_name":"semigroups and automata theory","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7988098859786987},{"id":"https://openalex.org/keywords/sorting-algorithm","display_name":"Sorting algorithm","score":0.7284884452819824},{"id":"https://openalex.org/keywords/swap","display_name":"Swap (finance)","score":0.625800609588623},{"id":"https://openalex.org/keywords/merge-sort","display_name":"Merge sort","score":0.6171954274177551},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.5655108094215393},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.5521732568740845},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5423965454101562},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4959662854671478},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.47656965255737305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45993781089782715},{"id":"https://openalex.org/keywords/merge-algorithm","display_name":"Merge algorithm","score":0.4207095503807068},{"id":"https://openalex.org/keywords/sorting","display_name":"Sorting","score":0.40915510058403015},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35607200860977173}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7988098859786987},{"id":"https://openalex.org/C108094655","wikidata":"https://www.wikidata.org/wiki/Q181593","display_name":"Sorting algorithm","level":3,"score":0.7284884452819824},{"id":"https://openalex.org/C99821215","wikidata":"https://www.wikidata.org/wiki/Q1136583","display_name":"Swap (finance)","level":2,"score":0.625800609588623},{"id":"https://openalex.org/C35555965","wikidata":"https://www.wikidata.org/wiki/Q189057","display_name":"Merge sort","level":4,"score":0.6171954274177551},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.5655108094215393},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.5521732568740845},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5423965454101562},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4959662854671478},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47656965255737305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45993781089782715},{"id":"https://openalex.org/C140086265","wikidata":"https://www.wikidata.org/wiki/Q11341754","display_name":"Merge algorithm","level":4,"score":0.4207095503807068},{"id":"https://openalex.org/C111696304","wikidata":"https://www.wikidata.org/wiki/Q2303697","display_name":"Sorting","level":2,"score":0.40915510058403015},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35607200860977173},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-63461-2_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-63461-2_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ris.utwente.nl:openaire/6eeab50f-65fe-4d19-ba70-c113f073785d","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/6eeab50f-65fe-4d19-ba70-c113f073785d","pdf_url":"https://ris.utwente.nl/ws/files/250318355/Safari_2020_A_generic_approach_to_the_verificat.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Safari, M & Huisman, M 2020, A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. in B Dongol & E Troubitsyna (eds), Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16\u201320, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12546, Springer, Cham, pp. 257-275, 16th International Conference on Integrated Formal Methods, IFM 2020, Virtual Event, 16/11/20. https://doi.org/10.1007/978-3-030-63461-2_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/6eeab50f-65fe-4d19-ba70-c113f073785d","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/6eeab50f-65fe-4d19-ba70-c113f073785d","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/6eeab50f-65fe-4d19-ba70-c113f073785d","pdf_url":"https://ris.utwente.nl/ws/files/250318355/Safari_2020_A_generic_approach_to_the_verificat.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Safari, M & Huisman, M 2020, A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. in B Dongol & E Troubitsyna (eds), Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16\u201320, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12546, Springer, Cham, pp. 257-275, 16th International Conference on Integrated Formal Methods, IFM 2020, Virtual Event, 16/11/20. https://doi.org/10.1007/978-3-030-63461-2_14","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2647707245","display_name":null,"funder_award_id":"639.023.710","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3106475002.pdf","grobid_xml":"https://content.openalex.org/works/W3106475002.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1002779697","https://openalex.org/W1549518921","https://openalex.org/W1820726602","https://openalex.org/W1861989620","https://openalex.org/W1995596660","https://openalex.org/W2017086619","https://openalex.org/W2061341742","https://openalex.org/W2093212361","https://openalex.org/W2118558147","https://openalex.org/W2127766448","https://openalex.org/W2155119349","https://openalex.org/W2230770203","https://openalex.org/W2565255124","https://openalex.org/W2746792245","https://openalex.org/W2773627046","https://openalex.org/W2786995870","https://openalex.org/W3006363542","https://openalex.org/W3121786935","https://openalex.org/W4240180700","https://openalex.org/W4245729501"],"related_works":["https://openalex.org/W2925598649","https://openalex.org/W4320925713","https://openalex.org/W2190513794","https://openalex.org/W3014215895","https://openalex.org/W2011379812","https://openalex.org/W2765396134","https://openalex.org/W3002580575","https://openalex.org/W2140238930","https://openalex.org/W1606108344","https://openalex.org/W3029541804"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}