乐胖代购免代理版

{"id":"https://openalex.org/W2090547808","doi":"https://doi.org/10.1145/2676726.2677012","title":"Proof Spaces for Unbounded Parallelism","display_name":"Proof Spaces for Unbounded Parallelism","publication_year":2014,"publication_date":"2014-12-19","ids":{"openalex":"https://openalex.org/W2090547808","doi":"https://doi.org/10.1145/2676726.2677012","mag":"2090547808"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2676726.2677012","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.cs.toronto.edu/%7Ezkincaid/pub/popl15.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016276143","display_name":"Azadeh Farzan","orcid":"https://orcid.org/0000-0001-9005-2653"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"funder","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Azadeh Farzan","raw_affiliation_strings":["University of Toronto, Toronto, On, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, On, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041698482","display_name":"Zachary Kincaid","orcid":"https://orcid.org/0000-0002-7294-9165"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"funder","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zachary Kincaid","raw_affiliation_strings":["University of Toronto, Toronto, On, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, On, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062411838","display_name":"Andreas Podelski","orcid":"https://orcid.org/0000-0003-2540-9489"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"funder","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Podelski","raw_affiliation_strings":[" University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":" University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.46,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.937841,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"407","last_page":"420"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8392167},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.7403312},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6323345},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3542633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33142078},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32567006}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2676726.2677012","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.934","pdf_url":"http://www.cs.toronto.edu/%7Ezkincaid/pub/popl15.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.934","pdf_url":"http://www.cs.toronto.edu/%7Ezkincaid/pub/popl15.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.4,"id":"https://metadata.un.org/sdg/10"}],"grants":[{"funder":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft","award_id":"AVACS"},{"funder":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada","award_id":"RGPIN 04450-14"}],"datasets":[],"versions":[],"referenced_works_count":41,"referenced_works":["https://openalex.org/W1243232056","https://openalex.org/W1485572331","https://openalex.org/W1492268120","https://openalex.org/W1504065323","https://openalex.org/W1511903507","https://openalex.org/W1515080744","https://openalex.org/W1516842532","https://openalex.org/W1527710292","https://openalex.org/W1543926679","https://openalex.org/W1561112849","https://openalex.org/W169389188","https://openalex.org/W1841626152","https://openalex.org/W1853246977","https://openalex.org/W1861590051","https://openalex.org/W1933255669","https://openalex.org/W1967174286","https://openalex.org/W1975653808","https://openalex.org/W1991405126","https://openalex.org/W2014175609","https://openalex.org/W2033942886","https://openalex.org/W2035510793","https://openalex.org/W2056665285","https://openalex.org/W2080573945","https://openalex.org/W2081396910","https://openalex.org/W2096199323","https://openalex.org/W2108987498","https://openalex.org/W2115969864","https://openalex.org/W2116333887","https://openalex.org/W2123910665","https://openalex.org/W2139609292","https://openalex.org/W2144738461","https://openalex.org/W2151463894","https://openalex.org/W2151643528","https://openalex.org/W2159835799","https://openalex.org/W2177814128","https://openalex.org/W2294635730","https://openalex.org/W2394814352","https://openalex.org/W4212792638","https://openalex.org/W4241108585","https://openalex.org/W4243742593","https://openalex.org/W4256696816"],"related_works":["https://openalex.org/W4230999561","https://openalex.org/W3014500535","https://openalex.org/W2504075107","https://openalex.org/W2354058185","https://openalex.org/W2319812372","https://openalex.org/W2162409446","https://openalex.org/W2109463584","https://openalex.org/W2045183646","https://openalex.org/W1595672120","https://openalex.org/W1585021387"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"present":[4],"a":[5],"new":[6],"approach":[7],"to":[8],"automatically":[9],"verify":[10],"multi-threaded":[11],"programs":[12],"which":[13],"are":[14],"executed":[15],"by":[16],"an":[17],"unbounded":[18],"number":[19],"of":[20],"threads":[21],"running":[22],"in":[23],"parallel.":[24]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2090547808","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":13},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":4}],"updated_date":"2025-02-22T22:27:54.943245","created_date":"2016-06-24"}