{"id":"https://openalex.org/W1484869147","doi":"https://doi.org/10.1007/978-3-540-45069-6_26","title":"Efficient Image Computation in Infinite State Model Checking","display_name":"Efficient Image Computation in Infinite State Model Checking","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1484869147","doi":"https://doi.org/10.1007/978-3-540-45069-6_26","mag":"1484869147"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-45069-6_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-45069-6_26","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-45069-6_26.pdf","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":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-45069-6_26.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058899363","display_name":"Constantinos Bartzis","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Constantinos Bartzis","raw_affiliation_strings":["Department of Computer Science, University of California Santa Barbara,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039991493","display_name":"Tevfik Bultan","orcid":"https://orcid.org/0000-0003-2993-1215"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tevfik Bultan","raw_affiliation_strings":["Department of Computer Science, University of California Santa Barbara,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California Santa Barbara,","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1286,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.85749767,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"249","last_page":"261"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9987000226974487,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9894999861717224,"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/computer-science","display_name":"Computer science","score":0.7164470553398132},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6767774224281311},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6730242371559143},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.5461261868476868},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5314846038818359},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5270980596542358},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5052385926246643},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.49418237805366516},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4741867482662201},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47314631938934326},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.44926875829696655},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42335188388824463},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18318286538124084},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15377700328826904}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7164470553398132},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6767774224281311},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6730242371559143},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.5461261868476868},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5314846038818359},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5270980596542358},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5052385926246643},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.49418237805366516},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4741867482662201},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47314631938934326},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.44926875829696655},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42335188388824463},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18318286538124084},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15377700328826904},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-45069-6_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-45069-6_26","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-45069-6_26.pdf","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":{"id":"doi:10.1007/978-3-540-45069-6_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-45069-6_26","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-45069-6_26.pdf","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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G13497693","display_name":"CAREER:  Verifiable Specifications: Tools for Reliable Reactive Software Development","funder_award_id":"9984822","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5100508627","display_name":"A Composite Model Checking Toolset for Analyzing Software   Systems","funder_award_id":"9970976","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1484869147.pdf","grobid_xml":"https://content.openalex.org/works/W1484869147.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W142798423","https://openalex.org/W203949653","https://openalex.org/W1500263346","https://openalex.org/W1502028089","https://openalex.org/W1503170978","https://openalex.org/W1540012118","https://openalex.org/W1551571370","https://openalex.org/W1578141429","https://openalex.org/W1813383841","https://openalex.org/W1837934228","https://openalex.org/W1858288637","https://openalex.org/W1974324012","https://openalex.org/W1995151557","https://openalex.org/W2060095702","https://openalex.org/W2080267935","https://openalex.org/W2096161423","https://openalex.org/W2097699872","https://openalex.org/W2112338943","https://openalex.org/W2143923161","https://openalex.org/W2149932816","https://openalex.org/W4231639797","https://openalex.org/W4236312090","https://openalex.org/W4239449910","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W3013085049","https://openalex.org/W2046435967","https://openalex.org/W1560496689","https://openalex.org/W4386900933","https://openalex.org/W4231775656","https://openalex.org/W4385301946","https://openalex.org/W4297797135","https://openalex.org/W3125672081","https://openalex.org/W1673581201","https://openalex.org/W2991991550"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}