{"id":"https://openalex.org/W9387966","doi":"https://doi.org/10.1007/978-3-642-39640-3_38","title":"Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools","display_name":"Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W9387966","doi":"https://doi.org/10.1007/978-3-642-39640-3_38","mag":"9387966"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-39640-3_38","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39640-3_38","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/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]},{"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/I240666556","display_name":"Imam Mohammad ibn Saud Islamic University","ror":"https://ror.org/05gxjyb39","country_code":"SA","type":"education","lineage":["https://openalex.org/I240666556"]}],"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":3.2099,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.90916149,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"516","last_page":"530"},"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.9993000030517578,"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.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8134286403656006},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6940801739692688},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.6373868584632874},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.567305326461792},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4210456609725952},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33498215675354004},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2375108003616333},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12270966172218323},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.06582003831863403}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8134286403656006},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6940801739692688},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.6373868584632874},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.567305326461792},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4210456609725952},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33498215675354004},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2375108003616333},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12270966172218323},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.06582003831863403}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-39640-3_38","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39640-3_38","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W154983426","https://openalex.org/W176800827","https://openalex.org/W178765133","https://openalex.org/W1484733107","https://openalex.org/W1548924041","https://openalex.org/W1575649322","https://openalex.org/W1586636845","https://openalex.org/W1589776562","https://openalex.org/W1593678010","https://openalex.org/W1983505133","https://openalex.org/W1984303163","https://openalex.org/W1992122785","https://openalex.org/W2002603140","https://openalex.org/W2021530432","https://openalex.org/W2022787954","https://openalex.org/W2025317174","https://openalex.org/W2027368825","https://openalex.org/W2038144554","https://openalex.org/W2050952165","https://openalex.org/W2065818693","https://openalex.org/W2084228484","https://openalex.org/W2098010707","https://openalex.org/W2100384943","https://openalex.org/W2102674270","https://openalex.org/W2112825198","https://openalex.org/W2113140066","https://openalex.org/W2117576153","https://openalex.org/W2120846221","https://openalex.org/W2136651729","https://openalex.org/W2139176048","https://openalex.org/W2143659699","https://openalex.org/W2144967657","https://openalex.org/W2149996206","https://openalex.org/W2154795299","https://openalex.org/W2244535412","https://openalex.org/W2249034718","https://openalex.org/W2491164021","https://openalex.org/W2491694540","https://openalex.org/W2501559745","https://openalex.org/W2963888497","https://openalex.org/W2997326335","https://openalex.org/W4206109607","https://openalex.org/W4232351578","https://openalex.org/W4234738506","https://openalex.org/W4240144763","https://openalex.org/W4245569013"],"related_works":["https://openalex.org/W2494523064","https://openalex.org/W2943623134","https://openalex.org/W2588219639","https://openalex.org/W2030292806","https://openalex.org/W2215759665","https://openalex.org/W2960358116","https://openalex.org/W3158538495","https://openalex.org/W1497573972","https://openalex.org/W2071659383","https://openalex.org/W1846253165"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}