{"id":"https://openalex.org/W823352315","doi":"https://doi.org/10.1007/978-3-319-21413-9_8","title":"Boosting the Software Quality of Parallel Programming Using Logical Means","display_name":"Boosting the Software Quality of Parallel Programming Using Logical Means","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W823352315","doi":"https://doi.org/10.1007/978-3-319-21413-9_8","mag":"823352315"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-21413-9_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-21413-9_8","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091481030","display_name":"Mohamed A. El-Zawawy","orcid":"https://orcid.org/0000-0002-5208-124X"},"institutions":[{"id":"https://openalex.org/I240666556","display_name":"Imam Mohammad ibn Saud Islamic University","ror":"https://ror.org/05gxjyb39","country_code":"SA","type":"education","lineage":["https://openalex.org/I240666556"]},{"id":"https://openalex.org/I40279923","display_name":"Islamic University","ror":"https://ror.org/04j1w0q97","country_code":"BD","type":"education","lineage":["https://openalex.org/I40279923"]},{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["BD","EG","SA"],"is_corresponding":true,"raw_author_name":"Mohamed A. El-Zawawy","raw_affiliation_strings":["College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh, Kingdom of Saudi Arabia","Department of Mathematics, Faculty of Science, Cairo University, Giza, 12613, Egypt","Al Imam Mohammad Ibn Saud Islamic University (IMSIU)","Cairo University"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh, Kingdom of Saudi Arabia","institution_ids":["https://openalex.org/I240666556"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Science, Cairo University, Giza, 12613, Egypt","institution_ids":["https://openalex.org/I145487455"]},{"raw_affiliation_string":"Al Imam Mohammad Ibn Saud Islamic University (IMSIU)","institution_ids":["https://openalex.org/I40279923"]},{"raw_affiliation_string":"Cairo University","institution_ids":["https://openalex.org/I145487455"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091481030"],"corresponding_institution_ids":["https://openalex.org/I145487455","https://openalex.org/I240666556","https://openalex.org/I40279923"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06660413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"101","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8721929788589478},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7282593846321106},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7070528268814087},{"id":"https://openalex.org/keywords/simd","display_name":"SIMD","score":0.6988142132759094},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5964994430541992},{"id":"https://openalex.org/keywords/parallel-programming-model","display_name":"Parallel programming model","score":0.5271242260932922},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.49392515420913696},{"id":"https://openalex.org/keywords/axiomatic-semantics","display_name":"Axiomatic semantics","score":0.4740445613861084},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40060484409332275},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.3348850607872009},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3067448139190674}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8721929788589478},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7282593846321106},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7070528268814087},{"id":"https://openalex.org/C150552126","wikidata":"https://www.wikidata.org/wiki/Q339387","display_name":"SIMD","level":2,"score":0.6988142132759094},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5964994430541992},{"id":"https://openalex.org/C137364921","wikidata":"https://www.wikidata.org/wiki/Q27929394","display_name":"Parallel programming model","level":3,"score":0.5271242260932922},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.49392515420913696},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.4740445613861084},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40060484409332275},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.3348850607872009},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3067448139190674}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-21413-9_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-21413-9_8","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W81214682","https://openalex.org/W221711240","https://openalex.org/W1511243299","https://openalex.org/W1546670027","https://openalex.org/W1555889790","https://openalex.org/W1965662337","https://openalex.org/W1968480809","https://openalex.org/W1974265510","https://openalex.org/W1992876788","https://openalex.org/W1999629774","https://openalex.org/W2010477319","https://openalex.org/W2038144554","https://openalex.org/W2061341742","https://openalex.org/W2069426002","https://openalex.org/W2119148081","https://openalex.org/W2131791649","https://openalex.org/W2132761501","https://openalex.org/W2136739578","https://openalex.org/W2137628566","https://openalex.org/W2166666675","https://openalex.org/W2169907127","https://openalex.org/W2174305619","https://openalex.org/W2249034718","https://openalex.org/W3006363542","https://openalex.org/W4237730680","https://openalex.org/W4242376253","https://openalex.org/W4243994983","https://openalex.org/W4255618224"],"related_works":["https://openalex.org/W2053558194","https://openalex.org/W783270985","https://openalex.org/W2738461706","https://openalex.org/W2973978040","https://openalex.org/W3034635105","https://openalex.org/W2035786727","https://openalex.org/W2079977998","https://openalex.org/W2116736728","https://openalex.org/W2681723658","https://openalex.org/W17610430"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}