{"id":"https://openalex.org/W2055630886","doi":"https://doi.org/10.1016/j.cl.2004.02.002","title":"Employing symmetry reductions in model checking","display_name":"Employing symmetry reductions in model checking","publication_year":2004,"publication_date":"2004-07-28","ids":{"openalex":"https://openalex.org/W2055630886","doi":"https://doi.org/10.1016/j.cl.2004.02.002","mag":"2055630886"},"language":"en","primary_location":{"id":"doi:10.1016/j.cl.2004.02.002","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.cl.2004.02.002","pdf_url":null,"source":{"id":"https://openalex.org/S37707677","display_name":"Computer Languages Systems & Structures","issn_l":"1477-8424","issn":["1477-8424","1873-6866"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Languages, Systems & Structures","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/A5035821371","display_name":"A. Prasad Sistla","orcid":"https://orcid.org/0009-0005-8331-7912"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A.Prasad Sistla","raw_affiliation_strings":["Computer Science Department, The University of Illinois at Chicago, 851 S. Morgan Street, Chicago, IL 60607, USA","Computer Science Department, The University of Illinois at Chicago, 851 S. Morgan Street, Chicago, IL 60607, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, The University of Illinois at Chicago, 851 S. Morgan Street, Chicago, IL 60607, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Computer Science Department, The University of Illinois at Chicago, 851 S. Morgan Street, Chicago, IL 60607, USA#TAB#","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035821371"],"corresponding_institution_ids":["https://openalex.org/I39422238"],"apc_list":null,"apc_paid":null,"fwci":1.046,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.77224646,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"30","issue":"3-4","first_page":"99","last_page":"137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/symmetry","display_name":"Symmetry (geometry)","score":0.6478034257888794},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4370213747024536},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.3761991560459137},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3751400411128998},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3214198648929596},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.263244092464447},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.20783153176307678},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13842493295669556}],"concepts":[{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.6478034257888794},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4370213747024536},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3761991560459137},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3751400411128998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3214198648929596},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.263244092464447},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.20783153176307678},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13842493295669556}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.cl.2004.02.002","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.cl.2004.02.002","pdf_url":null,"source":{"id":"https://openalex.org/S37707677","display_name":"Computer Languages Systems & Structures","issn_l":"1477-8424","issn":["1477-8424","1873-6866"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Languages, Systems & Structures","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W7710831","https://openalex.org/W1485856091","https://openalex.org/W1499167474","https://openalex.org/W1506588809","https://openalex.org/W1519306152","https://openalex.org/W1523851025","https://openalex.org/W1534850333","https://openalex.org/W1544872225","https://openalex.org/W1560484442","https://openalex.org/W1577110168","https://openalex.org/W1604838600","https://openalex.org/W1612453857","https://openalex.org/W1655886890","https://openalex.org/W1655990431","https://openalex.org/W1728798265","https://openalex.org/W1822079664","https://openalex.org/W1868374413","https://openalex.org/W1972065960","https://openalex.org/W1975657455","https://openalex.org/W1982900911","https://openalex.org/W1984957636","https://openalex.org/W2005836640","https://openalex.org/W2006553351","https://openalex.org/W2019881090","https://openalex.org/W2033546932","https://openalex.org/W2054554282","https://openalex.org/W2055558998","https://openalex.org/W2078944436","https://openalex.org/W2093916942","https://openalex.org/W2132750992","https://openalex.org/W2748837517","https://openalex.org/W4232836483","https://openalex.org/W6629266811","https://openalex.org/W6636501790","https://openalex.org/W6637779567"],"related_works":["https://openalex.org/W2364866360","https://openalex.org/W1557832504","https://openalex.org/W1543150587","https://openalex.org/W2134424614","https://openalex.org/W2551596431","https://openalex.org/W2370841479","https://openalex.org/W2736871302","https://openalex.org/W2177212599","https://openalex.org/W1978951759","https://openalex.org/W1483829320"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}