{"id":"https://openalex.org/W2155692158","doi":"https://doi.org/10.1145/2274576.2274584","title":"Deciding twig-definability of node selecting tree automata","display_name":"Deciding twig-definability of node selecting tree automata","publication_year":2012,"publication_date":"2012-03-26","ids":{"openalex":"https://openalex.org/W2155692158","doi":"https://doi.org/10.1145/2274576.2274584","mag":"2155692158"},"language":"en","primary_location":{"id":"doi:10.1145/2274576.2274584","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2274576.2274584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Database Theory","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10852/9113","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045656414","display_name":"Timos Antonopoulos","orcid":"https://orcid.org/0000-0002-9654-4090"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Timos Antonopoulos","raw_affiliation_strings":["Hasselt University and Transnational University of Limburg"],"affiliations":[{"raw_affiliation_string":"Hasselt University and Transnational University of Limburg","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051298252","display_name":"Dag Hovland","orcid":"https://orcid.org/0000-0002-3569-8838"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Dag Hovland","raw_affiliation_strings":["University of Oslo"],"affiliations":[{"raw_affiliation_string":"University of Oslo","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016412428","display_name":"Wim Martens","orcid":"https://orcid.org/0000-0001-9480-3522"},"institutions":[{"id":"https://openalex.org/I54009628","display_name":"University of Bayreuth","ror":"https://ror.org/0234wmv40","country_code":"DE","type":"education","lineage":["https://openalex.org/I54009628"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wim Martens","raw_affiliation_strings":["Universit\u00e4t Bayreuth"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Bayreuth","institution_ids":["https://openalex.org/I54009628"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022264843","display_name":"Frank Neven","orcid":"https://orcid.org/0000-0002-7143-1903"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Frank Neven","raw_affiliation_strings":["Hasselt University and Transnational University of Limburg"],"affiliations":[{"raw_affiliation_string":"Hasselt University and Transnational University of Limburg","institution_ids":["https://openalex.org/I878454856"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5045656414"],"corresponding_institution_ids":["https://openalex.org/I878454856"],"apc_list":null,"apc_paid":null,"fwci":0.6911,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73722979,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","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/T11567","display_name":"semigroups and automata theory","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/T10142","display_name":"Formal Methods in Verification","score":0.9977999925613403,"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.9973000288009644,"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/twig","display_name":"Twig","score":0.9384815692901611},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.7143963575363159},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.698265552520752},{"id":"https://openalex.org/keywords/tree-automaton","display_name":"Tree automaton","score":0.6356877088546753},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5565982460975647},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5494182109832764},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.547545313835144},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5433424711227417},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.42914292216300964},{"id":"https://openalex.org/keywords/xpath","display_name":"XPath","score":0.4148523211479187},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3116981089115143},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28454163670539856},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.27703917026519775},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26176196336746216},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.25278300046920776},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.13015472888946533},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.0787757933139801}],"concepts":[{"id":"https://openalex.org/C2777601135","wikidata":"https://www.wikidata.org/wiki/Q11162356","display_name":"Twig","level":2,"score":0.9384815692901611},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.7143963575363159},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.698265552520752},{"id":"https://openalex.org/C2778583254","wikidata":"https://www.wikidata.org/wiki/Q2872598","display_name":"Tree automaton","level":3,"score":0.6356877088546753},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5565982460975647},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5494182109832764},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.547545313835144},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5433424711227417},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.42914292216300964},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.4148523211479187},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3116981089115143},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28454163670539856},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.27703917026519775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26176196336746216},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25278300046920776},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.13015472888946533},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.0787757933139801},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C144027150","wikidata":"https://www.wikidata.org/wiki/Q48803","display_name":"Horticulture","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2274576.2274584","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2274576.2274584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Conference on Database Theory","raw_type":"proceedings-article"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/13962","is_oa":false,"landing_page_url":"http://hdl.handle.net/1942/13962","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:www.duo.uio.no:10852/9113","is_oa":true,"landing_page_url":"http://hdl.handle.net/10852/9113","pdf_url":null,"source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":{"id":"pmh:oai:www.duo.uio.no:10852/9113","is_oa":true,"landing_page_url":"http://hdl.handle.net/10852/9113","pdf_url":null,"source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1173992668","display_name":null,"funder_award_id":"4938/2-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G2482950395","display_name":null,"funder_award_id":"233599","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2584393935","display_name":null,"funder_award_id":"FP7-ICT-233599","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3711144779","display_name":null,"funder_award_id":"MA 4938/2-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3981126665","display_name":null,"funder_award_id":"Seventh Framework Programme","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4817847958","display_name":null,"funder_award_id":"Future","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5483342299","display_name":null,"funder_award_id":"FP7-ICT","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G582362311","display_name":null,"funder_award_id":"FP7-ICT-233599","funder_id":"https://openalex.org/F4320334960","funder_display_name":"Seventh Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334960","display_name":"Seventh Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W97608866","https://openalex.org/W154248286","https://openalex.org/W1505425738","https://openalex.org/W1583633027","https://openalex.org/W1593799327","https://openalex.org/W1608399088","https://openalex.org/W1686175813","https://openalex.org/W1816620374","https://openalex.org/W1879697109","https://openalex.org/W1970599921","https://openalex.org/W1971672075","https://openalex.org/W1971729277","https://openalex.org/W1983524017","https://openalex.org/W1991958955","https://openalex.org/W2012552318","https://openalex.org/W2019789808","https://openalex.org/W2021253160","https://openalex.org/W2022626404","https://openalex.org/W2029764918","https://openalex.org/W2033176822","https://openalex.org/W2036564813","https://openalex.org/W2044007894","https://openalex.org/W2051736015","https://openalex.org/W2053455078","https://openalex.org/W2070386554","https://openalex.org/W2070632872","https://openalex.org/W2090623861","https://openalex.org/W2109486375","https://openalex.org/W2110367171","https://openalex.org/W2112167310","https://openalex.org/W2114240051","https://openalex.org/W2134781086","https://openalex.org/W2134826526","https://openalex.org/W2155788463","https://openalex.org/W2160442532","https://openalex.org/W2170477095","https://openalex.org/W2294034341","https://openalex.org/W2611888112","https://openalex.org/W2949223734","https://openalex.org/W3104723580","https://openalex.org/W6635485671","https://openalex.org/W6636533053"],"related_works":["https://openalex.org/W2397337643","https://openalex.org/W2037791508","https://openalex.org/W2040509999","https://openalex.org/W2086561757","https://openalex.org/W2394321346","https://openalex.org/W2047551518","https://openalex.org/W2020230082","https://openalex.org/W2155692158","https://openalex.org/W2005933469","https://openalex.org/W2151886642"],"abstract_inverted_index":{"Node":[0],"selecting":[1,28,107],"tree":[2],"automata":[3],"(NSTAs)":[4],"constitute":[5],"a":[6,15,27,50,69,99,105],"general":[7],"formalism":[8],"defining":[9],"unary":[10],"queries":[11,45],"over":[12],"trees.":[13],"Basically,":[14],"node":[16,106],"is":[17,24,72,82,90,102],"selected":[18],"by":[19,47,68,98,104],"an":[20,31,39],"NSTA":[21,71,101],"when":[22],"it":[23,89],"visited":[25],"in":[26],"state":[29],"during":[30],"accepting":[32],"run.":[33],"We":[34],"consider":[35],"twig":[36],"patterns":[37],"as":[38],"abstraction":[40],"of":[41,53,60],"XPath.":[42],"Since":[43],"the":[44,58,61,66,79,96],"definable":[46,103],"NSTAs":[48],"form":[49],"strict":[51],"superset":[52],"twig-definable":[54],"queries,":[55],"we":[56,76,86],"study":[57],"complexity":[59],"problem":[62,81],"to":[63,93],"decide":[64,94],"whether":[65,95],"query":[67,97],"given":[70,100],"twig-definable.":[73],"In":[74,84],"particular,":[75],"obtain":[77],"that":[78,88],"latter":[80],"EXPTIME-complete.":[83],"addition,":[85],"show":[87],"also":[91],"EXPTIME-complete":[92],"string":[108],"automaton.":[109]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}