{"id":"https://openalex.org/W2479040464","doi":"https://doi.org/10.1007/978-3-319-33693-0_16","title":"Deciding Monadic Second Order Logic over $$\\omega $$ \u03c9 -Words by Specialized Finite Automata","display_name":"Deciding Monadic Second Order Logic over $$\\omega $$ \u03c9 -Words by Specialized Finite Automata","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2479040464","doi":"https://doi.org/10.1007/978-3-319-33693-0_16","mag":"2479040464"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-33693-0_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-33693-0_16","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-33693-0_16.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-33693-0_16.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073898616","display_name":"Stephan Barth","orcid":null},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Stephan Barth","raw_affiliation_strings":["Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Munich, Germany","institution_ids":["https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073898616"],"corresponding_institution_ids":["https://openalex.org/I8204097"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.9705,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70456108,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"245","last_page":"259"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6747932434082031},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.595118522644043},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.5929297208786011},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.5836520791053772},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5376021265983582},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5112719535827637},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.47127765417099},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.45081716775894165},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40096810460090637},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3832199275493622},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28695207834243774},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.24850338697433472}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6747932434082031},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.595118522644043},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.5929297208786011},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.5836520791053772},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5376021265983582},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5112719535827637},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.47127765417099},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.45081716775894165},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40096810460090637},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3832199275493622},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28695207834243774},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.24850338697433472}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-33693-0_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-33693-0_16","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-33693-0_16.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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-319-33693-0_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-33693-0_16","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-33693-0_16.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7300000190734863,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2479040464.pdf","grobid_xml":"https://content.openalex.org/works/W2479040464.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1517244811","https://openalex.org/W1562442213","https://openalex.org/W1578881602","https://openalex.org/W1594530072","https://openalex.org/W1642494310","https://openalex.org/W1968802713","https://openalex.org/W1987469449","https://openalex.org/W2039529128","https://openalex.org/W2103976262","https://openalex.org/W2122493035","https://openalex.org/W2130429059","https://openalex.org/W2138856440","https://openalex.org/W2146946740","https://openalex.org/W2602645338"],"related_works":["https://openalex.org/W4210940113","https://openalex.org/W2024421699","https://openalex.org/W3127558385","https://openalex.org/W2081396910","https://openalex.org/W1981523035","https://openalex.org/W4232638395","https://openalex.org/W1534702427","https://openalex.org/W4317533142","https://openalex.org/W2328716892","https://openalex.org/W4231063068"],"abstract_inverted_index":{"Several":[0],"automata":[1,164,170,200,218],"models":[2,17],"are":[3,18,82,165,219],"each":[4],"capable":[5],"of":[6,65,89,96,122,168,177],"describing":[7],"all":[8,157],"$$\\omega":[9,123,209,227],"$$":[10,124,210,228],"-regular":[11,125],"languages.":[12],"The":[13,91],"most":[14,80,92],"well-known":[15],"such":[16],"B\u00fcchi,":[19],"parity,":[20],"Rabin,":[21],"Streett,":[22],"and":[23,30,41,109],"Muller":[24],"automata.":[25,134,180],"We":[26,135],"present":[27],"deeper":[28],"insights":[29],"further":[31,118],"enhancements":[32,43],"to":[33,75,84],"a":[34,46,113,120,201],"lesser-known":[35],"model.":[36],"This":[37],"model":[38,203],"was":[39],"chosen":[40],"the":[42,97,153,173],"developed":[44,136],"with":[45,162],"specific":[47],"goal:":[48],"Decide":[49],"monadic":[50],"second":[51],"order":[52],"logic":[53],"(MSO)":[54],"over":[55,61,106,208,226],"infinite":[56],"words":[57,108],"more":[58],"efficiently.":[59,230],"MSO":[60,104,161,207,225],"various":[62],"structures":[63],"is":[64,100,146,171,183],"interest":[66],"in":[67,71,142],"different":[68],"applications,":[69],"mostly":[70],"formal":[72],"verification.":[73],"Due":[74],"its":[76],"inherent":[77],"high":[78],"complexity,":[79],"solvers":[81],"designed":[83],"work":[85],"only":[86],"for":[87,140,148,155,159,187,192,204,223],"subsets":[88],"MSO.":[90,150,193],"notable":[93],"full":[94],"implementation":[95],"decision":[98,190],"procedure":[99,191],"MONA,":[101],"which":[102,130,145],"decides":[103],"formulae":[105],"finite":[107,179],"trees.":[110],"To":[111],"obtain":[112],"suitable":[114],"automaton":[115],"model,":[116],"we":[117,131],"studied":[119],"representation":[121],"languages":[126],"by":[127],"regular":[128],"languages,":[129],"call":[132],"loop":[133,163,169,199,217],"an":[137,184,188],"efficient":[138,189],"algorithm":[139,154],"homomorphisms":[141],"this":[143,195],"representation,":[144],"essential":[147],"deciding":[149,160,206,224],"Aside":[151],"from":[152],"homomorphism,":[156],"algorithms":[158],"simple.":[166],"Minimization":[167],"basically":[172],"same":[174],"as":[175],"minimization":[176,182],"deterministic":[178],"Efficient":[181],"important":[185],"feature":[186],"Together":[194],"should":[196],"theoretically":[197],"make":[198],"well-suited":[202],"efficiently":[205],"-words.":[211],"Our":[212],"experimental":[213],"evaluation":[214],"suggests":[215],"that":[216],"indeed":[220],"well":[221],"suited":[222],"-words":[229]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}