{"id":"https://openalex.org/W3197146039","doi":"https://doi.org/10.1007/s10817-021-09597-w","title":"Automata Terms in a Lazy WSkS Decision Procedure","display_name":"Automata Terms in a Lazy WSkS Decision Procedure","publication_year":2021,"publication_date":"2021-08-03","ids":{"openalex":"https://openalex.org/W3197146039","doi":"https://doi.org/10.1007/s10817-021-09597-w","mag":"3197146039"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-021-09597-w","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-021-09597-w","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","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/A5030524096","display_name":"Vojt\u011bch Havlena","orcid":"https://orcid.org/0000-0003-4375-7954"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Vojt\u011bch Havlena","raw_affiliation_strings":["IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0003-4375-7954","affiliations":[{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]},{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059358773","display_name":"Luk\u00e1\u0161 Hol\u00edk","orcid":"https://orcid.org/0000-0001-6957-1651"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Luk\u00e1\u0161 Hol\u00edk","raw_affiliation_strings":["IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0001-6957-1651","affiliations":[{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]},{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063557188","display_name":"Ond\u0159ej Leng\u00e1l","orcid":"https://orcid.org/0000-0002-3038-5875"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Ond\u0159ej Leng\u00e1l","raw_affiliation_strings":["IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-3038-5875","affiliations":[{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]},{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086446392","display_name":"Tom\u00e1\u0161 Vojnar","orcid":"https://orcid.org/0000-0002-2746-8792"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Vojnar","raw_affiliation_strings":["IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-2746-8792","affiliations":[{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Bo\u017eet\u011bchova 2, 612 00, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]},{"raw_affiliation_string":"IT4I Centre of Excellence, Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic","institution_ids":["https://openalex.org/I60587646"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063557188"],"corresponding_institution_ids":["https://openalex.org/I60587646"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.1607951,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"65","issue":"7","first_page":"971","last_page":"999"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9995999932289124,"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.9994000196456909,"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.6184964776039124},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5801429748535156},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42201143503189087},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34402817487716675}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6184964776039124},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5801429748535156},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42201143503189087},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34402817487716675}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10817-021-09597-w","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-021-09597-w","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7200000286102295,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W195774605","https://openalex.org/W1179276901","https://openalex.org/W1482190611","https://openalex.org/W1486793788","https://openalex.org/W1488621996","https://openalex.org/W1489213623","https://openalex.org/W1497805930","https://openalex.org/W1503845320","https://openalex.org/W1508300074","https://openalex.org/W1515948700","https://openalex.org/W1520431822","https://openalex.org/W1521923248","https://openalex.org/W1534875900","https://openalex.org/W1543741569","https://openalex.org/W1562049750","https://openalex.org/W1572721808","https://openalex.org/W1579129613","https://openalex.org/W1588498588","https://openalex.org/W1591447482","https://openalex.org/W1592306554","https://openalex.org/W1593799327","https://openalex.org/W1602317429","https://openalex.org/W1731774687","https://openalex.org/W1783679080","https://openalex.org/W1818793721","https://openalex.org/W1973650063","https://openalex.org/W1987469449","https://openalex.org/W1988441831","https://openalex.org/W1998084650","https://openalex.org/W2029989893","https://openalex.org/W2035020702","https://openalex.org/W2045388381","https://openalex.org/W2065248162","https://openalex.org/W2098321852","https://openalex.org/W2110117589","https://openalex.org/W2123631714","https://openalex.org/W2138856440","https://openalex.org/W2147650421","https://openalex.org/W2157223994","https://openalex.org/W2162583406","https://openalex.org/W2271354557","https://openalex.org/W2294313956","https://openalex.org/W2579934549","https://openalex.org/W2913769537","https://openalex.org/W2969578428","https://openalex.org/W3005109390","https://openalex.org/W3028248065","https://openalex.org/W3036883373","https://openalex.org/W4231090099","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}