{"id":"https://openalex.org/W2171778720","doi":"https://doi.org/10.1007/s10703-011-0126-0","title":"Transparent partial order reduction","display_name":"Transparent partial order reduction","publication_year":2011,"publication_date":"2011-07-05","ids":{"openalex":"https://openalex.org/W2171778720","doi":"https://doi.org/10.1007/s10703-011-0126-0","mag":"2171778720"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-011-0126-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-011-0126-0","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","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/A5021789649","display_name":"Stephen F. Siegel","orcid":"https://orcid.org/0000-0001-9359-3332"},"institutions":[{"id":"https://openalex.org/I86501945","display_name":"University of Delaware","ror":"https://ror.org/01sbq1a82","country_code":"US","type":"education","lineage":["https://openalex.org/I86501945"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Stephen F. Siegel","raw_affiliation_strings":["The Verified Software Laboratory, Department of Computer and Information Sciences, University of Delaware, Newark, DE, 19716, USA","The Verified Software Laboratory, Department of Computer and Information Sciences, University of Delaware, Newark, USA"],"affiliations":[{"raw_affiliation_string":"The Verified Software Laboratory, Department of Computer and Information Sciences, University of Delaware, Newark, DE, 19716, USA","institution_ids":["https://openalex.org/I86501945"]},{"raw_affiliation_string":"The Verified Software Laboratory, Department of Computer and Information Sciences, University of Delaware, Newark, USA","institution_ids":["https://openalex.org/I86501945"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021789649"],"corresponding_institution_ids":["https://openalex.org/I86501945"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.9641,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77532154,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"40","issue":"1","first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"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.9958999752998352,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.939300000667572,"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/T10409","display_name":"Fuel Cells and Related Materials","score":0.9304999709129333,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/invisibility","display_name":"Invisibility","score":0.8854337930679321},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7963678240776062},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6267033219337463},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6059969067573547},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5896410942077637},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5073012709617615},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.505099356174469},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.4634753167629242},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44548124074935913},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40480750799179077},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.391300767660141},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3415844440460205},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.2560351490974426},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13983076810836792},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1117512583732605},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09487226605415344},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06345310807228088},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.057109057903289795},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.054317086935043335}],"concepts":[{"id":"https://openalex.org/C50962388","wikidata":"https://www.wikidata.org/wiki/Q762018","display_name":"Invisibility","level":2,"score":0.8854337930679321},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7963678240776062},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6267033219337463},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6059969067573547},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5896410942077637},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5073012709617615},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.505099356174469},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.4634753167629242},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44548124074935913},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40480750799179077},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.391300767660141},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3415844440460205},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2560351490974426},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13983076810836792},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1117512583732605},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09487226605415344},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06345310807228088},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.057109057903289795},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.054317086935043335},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-011-0126-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-011-0126-0","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.131.1392","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.1392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.udel.edu/~siegel/pubs/transparent/transparent.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W477134","https://openalex.org/W185032413","https://openalex.org/W1492929237","https://openalex.org/W1528441743","https://openalex.org/W1535497513","https://openalex.org/W1547234535","https://openalex.org/W1568729458","https://openalex.org/W1569674057","https://openalex.org/W1934074768","https://openalex.org/W1965309410","https://openalex.org/W1980522179","https://openalex.org/W2039765803","https://openalex.org/W2042913560","https://openalex.org/W2076703513","https://openalex.org/W2093709900","https://openalex.org/W2162543097","https://openalex.org/W2164592820","https://openalex.org/W2173952623","https://openalex.org/W2913459036","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1494039461","https://openalex.org/W1842616663","https://openalex.org/W2140051071","https://openalex.org/W2378903410","https://openalex.org/W2168704035","https://openalex.org/W2314644365","https://openalex.org/W2156456902","https://openalex.org/W3200359090","https://openalex.org/W1820813196","https://openalex.org/W2510309776"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}