The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase tree automata (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1978 (16) 1979-1984 (16) 1985-1989 (15) 1990-1992 (41) 1993-1994 (29) 1995-1996 (18) 1997 (16) 1998-1999 (29) 2000 (22) 2001 (24) 2002 (22) 2003 (25) 2004 (20) 2005 (47) 2006 (31) 2007 (46) 2008 (50) 2009 (52) 2010 (27) 2011 (18) 2012 (21) 2013 (21) 2014 (15) 2015 (20) 2016 (22) 2017 (18) 2018 (18) 2019-2020 (26) 2021 (20) 2022 (13)
Publication types (Num. hits)
article(264) book(3) incollection(22) inproceedings(452) phdthesis(14) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 223 occurrences of 129 keywords

Results
Found 758 publication records. Showing 758 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
86Hitoshi Ohsaki, Hiroyuki Seki Languages Modulo Normalization. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
75Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos Monotone AC-Tree Automata. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equational tree automata, complexity, decidability, closure properties
72Detlef Seese Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
72Andreas Podelski A monoid approach to tree automata. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
68Salvatore La Torre, Aniello Murano, Margherita Napoli Weak Muller Acceptance Conditions for Tree Automata. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67Friedrich Otto, Heiko Stamer Single-Path Restarting Tree Automata. Search on Bibsonomy CAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF restarting tree automaton, single-path top-down tree automaton, classes of tree languages, linear context-free tree language
64Hitoshi Ohsaki Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF decidability, Tree automata, equational theory
62Ralf Treinen Predicate Logic and Tree Automata with Tests. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
62Amaury Habrard, José Oncina Learning Multiplicity Tree Automata. Search on Bibsonomy ICGI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multiplicity tree automata, recognizable tree series, learning from equivalence and membership queries
60Naoki Kobayashi 0001, Hitoshi Ohsaki Tree Automata for Non-linear Arithmetic. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
60Paola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini Recognizing sets of labelled acyclic graphs. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Bruno Courcelle Recognizable sets of unrooted trees. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Max Dauchet, Sophie Tison Structural complexity of classes of tree languages. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Jean H. Gallier Unification procedures in automated deduction methods based on matings: A survey. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Aravind K. Joshi, Yves Schabes Tree-adjoining grammars and lexicalized grammars. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60André Arnold, Damian Niwinski Fixed point characterization of weak monadic logic definable sets of trees. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Magnus Steinby A theory of tree language varieties. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Irène Guessarian Trees and algebraic semantics. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Jean-Claude Raoult A survey of tree transductions. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Helmut Seidl Ambiguity and valuedness. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60I. Simon A short proof of the factorization forest theorem. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Ahmed Saoudi, Paola Bonizzoni Automata on infinite trees and rational control. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Maurice Nivat Binary tree codes. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Martin Große-Rhode, Christian Dimitrovici Algebraic specification of action trees and recursive processes. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Philippe Aigrain, Maurice Nivat Suffix, prefix and maximal tree codes. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Zoltán Fülöp 0001, Sándor Vágvölgyi Decidability of the inclusion in monoids generated by tree transformation classes. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Igor Litovsky, Yves Métivier Computing trees with graph rewriting systems with priorities. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
60Ahmed Saoudi Rational and recognizable infinite tree sets. Search on Bibsonomy Tree Automata and Languages The full citation details ... 1992 DBLP  BibTeX  RDF
58Rajeev Alur Marrying words and trees. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nested words, XML, query languages, tree automata, pushdown automata
56Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan 0001 Propositional Tree Automata. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Chenguang Luo From Word Automata to Tree Automata. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Orna Kupferman, Nir Piterman Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Boris Chidlovskii Using Regular Tree Automata as XML Schemas. Search on Bibsonomy ADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF XML schema, tree automata, DTD, query algebra
52Jacques Duparc, Alessandro Facchini, Filip Murlak Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
51Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar Computing Simulations over Tree Automata. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin 0001 Tree Automata with Memory, Visibility and Structural Constraints. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Salvatore La Torre, Aniello Murano Reasoning About Co-Büchi Tree Automata. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Gilberto Filé Tree Automata and Logic Programs. Search on Bibsonomy STACS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
50Orna Kupferman, Moshe Y. Vardi Safraless Decision Procedures. Search on Bibsonomy FOCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Julien Carme, Rémi Gilleron, Aurélien Lemay, Alain Terlutte, Marc Tommasi Residual Finite Tree Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Kumar Neeraj Verma On Closure under Complementation of Equational Tree Automata for Theories Extending AC. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Felix Klaedtke Decision Procedure for an Extension of WS1S. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF word languages, weak monadic second-order logic of one successor, WS1S, tree automata
47Thierry Cachat Two-Way Tree Automata Solving Pushdown Games. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Rajeev Alur, P. Madhusudan Adding nesting structure to words. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software model checking, tree automata, Pushdown automata, XML processing
45Kai Salomaa Decidability of Equivalence for Deterministic Synchronized Tree Automata. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
45Helmut Seidl Deciding Equivalence of Finite Tree Automata. Search on Bibsonomy STACS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
45Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv Running tree automata on probabilistic XML. Search on Bibsonomy PODS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic trees, probabilistic xml, xml constraints, xml query evaluation, tree automata, xml schema
43Joe Hendrix, Hitoshi Ohsaki Combining Equational Tree Automata over AC and ACI Theories. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Wim Martens, Joachim Niehren Minimizing Tree Automata for Unranked Trees. Search on Bibsonomy DBPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada Incremental Construction of Minimal Tree Automata. Search on Bibsonomy Algorithmica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Deterministic tree automata, Incremental construction of minimal tree automata
41Damián López, Ignacio Piñaga Syntactic Pattern Recognition by Error Correcting Analysis on Tree Automata. Search on Bibsonomy SSPR/SPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF error correcting parsing, editing distance, tree automata, syntactic pattern recognition
40Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron Tree Automata with Equality Constraints Modulo Equational Theories. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Kumar Neeraj Verma Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Hitoshi Ohsaki, Toshinori Takai Decidability and Closure Properties of Equational Tree Languages. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Sophie Tison Tree Automata and Term Rewrite Systems. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Rafael C. Carrasco, Mikel L. Forcada Simple Strategies to Encode Tree Automata in Sigmoid Recursive Neural Networks. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF analog neural networks, Tree automata, neural computation, recursive neural networks
38Sven Schewe Tighter Bounds for the Determinisation of Büchi Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Akio Fujiyoshi Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Johanna Högberg, Andreas Maletti, Jonathan May Backward and Forward Bisimulation Minimisation of Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF natural language processing, bisimulation, minimisation, tree automata
37Martin Dickhöfer, Thomas Wilke Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Ferenc Gécseg Comments on Complete Sets of Tree Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Amaury Habrard, Marc Bernard, François Jacquenet Generalized Stochastic Tree Automata for Multi-relational Data Mining. Search on Bibsonomy ICGI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Stochastic tree automata, generalization, sorts, multi-relational data mining
36Kumar Neeraj Verma Alternation in Equational Tree Automata Modulo XOR. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Akio Fujiyoshi, Takumi Kasai Spinal-Formed Context-Free Tree Grammars. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Rajeev Alur, Swarat Chaudhuri Branching Pushdown Tree Automata. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Anne Brüggemann-Klein, Derick Wood Regularly Extended Two-Way Nondeterministic Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Philippe de Groote, Bruno Guillaume, Sylvain Salvati Vector Addition Tree Automata. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Damian Niwinski, Igor Walukiewicz Relating Hierarchies of Word and Tree Automata. Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Yuichi Kaji, Toru Fujiwara, Tadao Kasami Solving a Unification Problem under Constrained Substitutions Using Tree Automata. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF unification problems, constrained substitutions, tree automata, term rewriting systems
34Bruno Bogaert, Sophie Tison Equality and Disequality Constraints on Direct Subterms in Tree Automata. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Tree Automata, non linearity
33Loek G. Cleophas, Kees Hemerik Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Andreas Maletti Relating Tree Series Transducers and Weighted Tree Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Frank G. Radmacher An Automata Theoretic Approach to Rational Tree Relations. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Joachim Niehren, Mateu Villaret Parallelism and Tree Regular Constraints. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unification, tree automata, computational logic
32Rémi Gilleron, Sophie Tison, Marc Tommasi Solving Systems of Set Constraints using Tree Automata. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Benoît Boyer, Thomas Genet, Thomas P. Jensen Certifying a Tree Automata Completion Checker. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Haitao Ma, Zhongxiao Hao, Yinghui Zhou Active XML Schema Containment Checking Based on Tree Automata Theory. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32José M. Sempere, Damián López Characterizing Membrane Structures Through Multiset Tree Automata. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Hubert Comon, Véronique Cortier, John Mitchell Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Hubert Wagener On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Heiko Stamer, Friedrich Otto Restarting Tree Automata. Search on Bibsonomy SOFSEM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Frank Nießner Nondeterministic Tree Automata. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Naoki Nishida 0001, Masahiko Sakai, Yasuhiro Nakano On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms. Search on Bibsonomy TTATT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
31Thomas Hanneforth, Andreas Maletti, Daniel Quernheim Random Generation of Nondeterministic Finite-State Tree Automata. Search on Bibsonomy TTATT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Barbara Jobstmann, Roderick Bloem Optimizations for LTL Synthesis. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Jean-Marc Talbot On the Alternation-Free Horn Mu-calculus. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Manfred Droste, Christian Pech, Heiko Vogler A Kleene Theorem for Weighted Tree Automata. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Christoph Koch 0001 Applications of Automata in XML Processing. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Michaela Huhn, Peter Niebert Towards Automata for Branching Time and Partial Order. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya The Rabin Index and Chain Automata, with Applications to Automatas and Games. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch ACID-Unification Is NEXPTIME-Decidable. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF E-Unification, Dag automata, Complexity, Tree automata, Set constraints
30Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar Composed Bisimulation for Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Jonathan May, Kevin Knight Tiburon: A Weighted Tree Automata Toolkit. Search on Bibsonomy CIAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Tadahiro Suda, Haruo Hosoya Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. Search on Bibsonomy CIAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Julien Bernet, David Janin Tree Automata and Discrete Distributed Games. Search on Bibsonomy FCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison N-Ary Queries by Tree Automata. Search on Bibsonomy DBPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF XML, databases, information extraction, pattern, logic, types, automata
29Heiko Stamer, Friedrich Otto Restarting Tree Automata and Linear Context-Free Tree Languages. Search on Bibsonomy CAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Andreas Potthoff First-Order Logic on Finite Trees. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Michael Benedikt, Leonid Libkin, Frank Neven Logical definability and query languages over ranked and unranked trees. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ranked trees, unranked trees, query languages, tree automata, model theory
Displaying result #1 - #100 of 758 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license