{"id":"https://openalex.org/W4360918579","doi":"https://doi.org/10.1007/978-3-031-29476-1_5","title":"Extending Visibly Pushdown Automata over Multi-matching Nested Relations","display_name":"Extending Visibly Pushdown Automata over Multi-matching Nested Relations","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4360918579","doi":"https://doi.org/10.1007/978-3-031-29476-1_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-29476-1_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-29476-1_5","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101597404","display_name":"Jin Liu","orcid":"https://orcid.org/0000-0002-5143-2263"},"institutions":[{"id":"https://openalex.org/I4210131919","display_name":"Xi'an University of Technology","ror":"https://ror.org/038avdt50","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210131919"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jin Liu","raw_affiliation_strings":["Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi\u2019an University of Technology, Xi\u2019an, 710048, China","Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi'an University of Technology, Xi'an, 710048, China"],"affiliations":[{"raw_affiliation_string":"Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi\u2019an University of Technology, Xi\u2019an, 710048, China","institution_ids":["https://openalex.org/I4210131919"]},{"raw_affiliation_string":"Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi'an University of Technology, Xi'an, 710048, China","institution_ids":["https://openalex.org/I4210131919"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038086837","display_name":"Yeqiu Xiao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131919","display_name":"Xi'an University of Technology","ror":"https://ror.org/038avdt50","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210131919"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yeqiu Xiao","raw_affiliation_strings":["Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi\u2019an University of Technology, Xi\u2019an, 710048, China","Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi'an University of Technology, Xi'an, 710048, China"],"affiliations":[{"raw_affiliation_string":"Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi\u2019an University of Technology, Xi\u2019an, 710048, China","institution_ids":["https://openalex.org/I4210131919"]},{"raw_affiliation_string":"Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi'an University of Technology, Xi'an, 710048, China","institution_ids":["https://openalex.org/I4210131919"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100438288","display_name":"Haiyang Wang","orcid":"https://orcid.org/0000-0003-2273-2686"},"institutions":[{"id":"https://openalex.org/I4210131919","display_name":"Xi'an University of Technology","ror":"https://ror.org/038avdt50","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210131919"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiyang Wang","raw_affiliation_strings":["Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi\u2019an University of Technology, Xi\u2019an, 710048, China","Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi'an University of Technology, Xi'an, 710048, China"],"affiliations":[{"raw_affiliation_string":"Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi\u2019an University of Technology, Xi\u2019an, 710048, China","institution_ids":["https://openalex.org/I4210131919"]},{"raw_affiliation_string":"Shaanxi Key Laboratory for Network Computing and Security Technology, School of Computer Science and Engineering, Xi'an University of Technology, Xi'an, 710048, China","institution_ids":["https://openalex.org/I4210131919"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100720713","display_name":"Wensheng Wang","orcid":"https://orcid.org/0000-0002-8842-3432"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wensheng Wang","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, School of Computer Science and Technology, Xidian University, Xi\u2019an, 710071, China","Institute of Computing Theory and Technology and ISN Laboratory, School of Computer Science and Technology, Xidian University, Xi'an, 710071, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, School of Computer Science and Technology, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, School of Computer Science and Technology, Xidian University, Xi'an, 710071, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100720713"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0929841,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"69"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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.9976000189781189,"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.9973999857902527,"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/nested-word","display_name":"Nested word","score":0.7609491348266602},{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.7218753099441528},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7188845276832581},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.7188311219215393},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49883580207824707},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.4629652500152588},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.46177351474761963},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.42630061507225037},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.42431020736694336},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.395926296710968},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34792864322662354},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.28751319646835327},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23699462413787842},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.17990422248840332},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.13505271077156067},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.1283528208732605},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11275246739387512}],"concepts":[{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.7609491348266602},{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.7218753099441528},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7188845276832581},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.7188311219215393},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49883580207824707},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.4629652500152588},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.46177351474761963},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.42630061507225037},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.42431020736694336},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.395926296710968},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34792864322662354},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.28751319646835327},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23699462413787842},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.17990422248840332},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.13505271077156067},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.1283528208732605},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11275246739387512},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.0},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-29476-1_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-29476-1_5","pdf_url":null,"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":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.6700000166893005,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W12570917","https://openalex.org/W1826894354","https://openalex.org/W1851000371","https://openalex.org/W2099205674","https://openalex.org/W2113283819","https://openalex.org/W2131886132","https://openalex.org/W2151033407","https://openalex.org/W2153794097","https://openalex.org/W3112749321","https://openalex.org/W3112900002","https://openalex.org/W4242157899","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W392685101","https://openalex.org/W2067895928","https://openalex.org/W2049492436","https://openalex.org/W2522490152","https://openalex.org/W1511257926","https://openalex.org/W2171067235","https://openalex.org/W2472752294","https://openalex.org/W1486486721","https://openalex.org/W1991406344","https://openalex.org/W127918926"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}