{"id":"https://openalex.org/W3014429972","doi":"https://doi.org/10.1007/s00165-020-00526-z","title":"From generic partition refinement to weighted tree automata minimization","display_name":"From generic partition refinement to weighted tree automata minimization","publication_year":2021,"publication_date":"2021-03-23","ids":{"openalex":"https://openalex.org/W3014429972","doi":"https://doi.org/10.1007/s00165-020-00526-z","mag":"3014429972"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-020-00526-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-020-00526-z","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00526-z","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00526-z","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059938244","display_name":"Thorsten Wi\u00dfmann","orcid":"https://orcid.org/0000-0001-8993-6486"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Thorsten Wi\u00dfmann","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","University of Erlangen Nuremberg"],"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"University of Erlangen Nuremberg","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050747754","display_name":"Hans-Peter Deifel","orcid":"https://orcid.org/0000-0002-9542-9664"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hans-Peter Deifel","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","[Friedrich\u2013Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany]"],"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"[Friedrich\u2013Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany]","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015904690","display_name":"Stefan Milius","orcid":"https://orcid.org/0000-0002-2021-1644"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Milius","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","[Friedrich\u2013Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany]"],"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"[Friedrich\u2013Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany]","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073765060","display_name":"Lutz Schr\u00f6der","orcid":"https://orcid.org/0000-0002-3146-5906"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lutz Schr\u00f6der","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","[Friedrich\u2013Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany]"],"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"[Friedrich\u2013Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany]","institution_ids":["https://openalex.org/I181369854"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059938244"],"corresponding_institution_ids":["https://openalex.org/I181369854"],"apc_list":null,"apc_paid":null,"fwci":0.1507,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.46413325,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"33","issue":"4-5","first_page":"695","last_page":"727"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"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/T11567","display_name":"semigroups and automata theory","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.8975051045417786},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.7698922157287598},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7490639090538025},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.6805241107940674},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.5532634258270264},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5015709400177002},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.49887633323669434},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4665035605430603},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.43611493706703186},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3945549428462982},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3942394554615021},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24698054790496826},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.18828797340393066},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.14620420336723328},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08775594830513}],"concepts":[{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.8975051045417786},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.7698922157287598},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7490639090538025},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.6805241107940674},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5532634258270264},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5015709400177002},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.49887633323669434},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4665035605430603},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.43611493706703186},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3945549428462982},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3942394554615021},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24698054790496826},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.18828797340393066},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.14620420336723328},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08775594830513}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s00165-020-00526-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-020-00526-z","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00526-z","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2004.01250","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.01250","pdf_url":"https://arxiv.org/pdf/2004.01250","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:3014429972","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2004.01250","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2004.01250","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2004.01250","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s00165-020-00526-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-020-00526-z","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-020-00526-z","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1797294741","display_name":null,"funder_award_id":"MI 717/5-2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2857958101","display_name":null,"funder_award_id":"393541319","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3564768260","display_name":null,"funder_award_id":"9/GRK","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6024419964","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7800647177","display_name":null,"funder_award_id":"393541319/GRK2475/1-2019","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"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/W3014429972.pdf","grobid_xml":"https://content.openalex.org/works/W3014429972.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W139143222","https://openalex.org/W1503429725","https://openalex.org/W1512419429","https://openalex.org/W1516849933","https://openalex.org/W1528269269","https://openalex.org/W1547562281","https://openalex.org/W1563368561","https://openalex.org/W1862398452","https://openalex.org/W1963619740","https://openalex.org/W1977137928","https://openalex.org/W2021473546","https://openalex.org/W2030681981","https://openalex.org/W2031728268","https://openalex.org/W2038755815","https://openalex.org/W2041192515","https://openalex.org/W2044811734","https://openalex.org/W2050965526","https://openalex.org/W2068361557","https://openalex.org/W2074802267","https://openalex.org/W2075690166","https://openalex.org/W2088189323","https://openalex.org/W2089409100","https://openalex.org/W2091022743","https://openalex.org/W2091177009","https://openalex.org/W2095304972","https://openalex.org/W2096488839","https://openalex.org/W2110692415","https://openalex.org/W2122493035","https://openalex.org/W2124325155","https://openalex.org/W2126438238","https://openalex.org/W2137336375","https://openalex.org/W2137865376","https://openalex.org/W2139621418","https://openalex.org/W2152691118","https://openalex.org/W2160181753","https://openalex.org/W2205337852","https://openalex.org/W2295804767","https://openalex.org/W2663462053","https://openalex.org/W2681991495","https://openalex.org/W2742106719","https://openalex.org/W2752885492","https://openalex.org/W2889056252","https://openalex.org/W2931334490","https://openalex.org/W2978891950","https://openalex.org/W2999586522","https://openalex.org/W3097305996","https://openalex.org/W3103813054","https://openalex.org/W6659957746","https://openalex.org/W7075616627"],"related_works":["https://openalex.org/W2978891950","https://openalex.org/W3136454149","https://openalex.org/W3097305996","https://openalex.org/W1497253514","https://openalex.org/W1408813051","https://openalex.org/W1979078717","https://openalex.org/W2592252224","https://openalex.org/W2950558307","https://openalex.org/W1685060813","https://openalex.org/W2021895937","https://openalex.org/W1881030807","https://openalex.org/W140354706","https://openalex.org/W2504185484","https://openalex.org/W1846242859","https://openalex.org/W2099747032","https://openalex.org/W3111577354","https://openalex.org/W1577626490","https://openalex.org/W1549106514","https://openalex.org/W2142413136","https://openalex.org/W1997450827"],"abstract_inverted_index":{"Abstract":[0],"Partition":[1],"refinement":[2,21,158],"is":[3,24,64,147,194],"a":[4,19,107,143,156],"method":[5],"for":[6,44,113,171,188],"minimizing":[7],"automata":[8,52,97],"and":[9,34,58,74,112,163,168],"transition":[10,28,61,68],"systems":[11,75,175,198],"of":[12,30,39,48,88,132,174,201],"various":[13],"types.":[14],"Recently,":[15],"we":[16,82,110],"have":[17,138],"developed":[18],"partition":[20,169],"algorithm":[22,90,141,162],"that":[23,146,186],"generic":[25,144],"in":[26,106,142],"the":[27,31,36,40,79,84,122,128,133,161,164,192],"type":[29],"given":[32],"system":[33,152,190],"matches":[35],"run":[37,85,130],"time":[38,86,131],"best":[41,134],"known":[42,135],"algorithms":[43],"many":[45],"concrete":[46,151],"types":[47,69,153,173],"systems,":[49],"e.g.":[50],"deterministic":[51],"as":[53,55,70,76,117],"well":[54],"ordinary,":[56],"weighted,":[57],"probabilistic":[59],"(labelled)":[60],"systems.":[62],"Genericity":[63],"achieved":[65],"by":[66,154,179],"modelling":[67],"functors":[71],"on":[72],"sets,":[73],"coalgebras.":[77],"In":[78],"present":[80],"work,":[81],"refine":[83],"analysis":[87],"our":[89,140],"to":[91,150,196],"cover":[92],"additional":[93],"instances,":[94],"notably":[95],"weighted":[96,101],"and,":[98],"more":[99],"generally,":[100],"tree":[102],"automata.":[103],"For":[104],"weights":[105],"cancellative":[108],"monoid":[109,120],"match,":[111],"non-cancellative":[114],"monoids":[115],"such":[116],"(the":[118],"additive":[119],"of)":[121],"tropical":[123],"semiring":[124],"even":[125,187],"substantially":[126],"improve,":[127],"asymptotic":[129],"algorithms.":[136],"We":[137],"implemented":[139],"tool":[145,165,193],"easily":[148,178],"instantiated":[149],"implementing":[155],"simple":[157],"interface.":[159],"Moreover,":[160],"are":[166,176],"modular,":[167],"refiners":[170],"new":[172],"obtained":[177],"composing":[180],"pre-implemented":[181],"basic":[182],"functors.":[183],"Experiments":[184],"show":[185],"complex":[189],"types,":[191],"able":[195],"handle":[197],"with":[199],"millions":[200],"transitions.":[202]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}