Edit Profile Engelfriet, Joost Compute Distance To: Compute Author ID: engelfriet.joost Published as: Engelfriet, J.; Engelfriet, Joost Homepage: http://liacs.leidenuniv.nl/~engelfrietj/ External Links: MGP · Wikidata · dblp Documents Indexed: 150 Publications since 1972, including 3 Books all top 5 Co-Authors 36 single-authored 19 Rozenberg, Grzegorz 16 Maneth, Sebastian 13 Hoogeboom, Hendrik Jan 12 Vogler, Heiko 8 Leih, George 6 Filé, Gilberto 5 Drewes, Frank 5 Gelsema, Tjalling 5 Heyker, Linda 5 Maletti, Andreas 4 Asveld, Peter R. J. 4 Courcelle, Bruno 4 Slutzki, Giora 3 Ehrenfeucht, Andrzej 3 Schmidt, Erik Meineche 3 Seidl, Helmut 2 Aalbersberg, Ijsbrand Jan 2 Benedikt, Michael A. 2 Bloem, Roderick 2 Brandstädt, Andreas 2 Fülöp, Zoltán 2 Hoàng-Oanh Le 2 Lilin, Eric 2 Lozin, Vadim Vladislavovich 2 Skyum, Sven 2 van Oostrom, Vincent 2 Vereijken, Jan Joris 1 Bodlaender, Hans L. 1 de Jong, Willem R. 1 Harju, Tero 1 Proskurowski, Andrzej 1 Samwel, Bart 1 ten Pas, Paulien 1 Van Best, Jan-Pascal 1 Van Leeuwen, Jan 1 Welzl, Emo all top 5 Serials 24 Journal of Computer and System Sciences 17 Theoretical Computer Science 16 Acta Informatica 10 Information and Computation 8 Information Processing Letters 4 Information and Control 4 Mathematical Systems Theory 3 Journal of the Association for Computing Machinery 3 Theory of Computing Systems 2 Acta Cybernetica 2 SIAM Journal on Computing 1 Journal of Algorithms 1 Annales Societatis Mathematicae Polonae. Series IV 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Automata, Languages and Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Encyclopedia of Mathematics and Its Applications 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science Fields 146 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 12 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 129 Publications have been cited 1,684 times in 785 Documents Cited by ▼ Year ▼ Handle-rewriting hypergraph grammars. Zbl 0825.68446Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 126 1993 Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061Engelfriet, Joost 104 1975 Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 102 2012 Tree transducers, L systems, and two-way machines. Zbl 0426.68075Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora 57 1980 Top-down tree transducers with regular look-ahead. Zbl 0369.68048Engelfriet, Joost 56 1977 Macro tree transducers. Zbl 0588.68039Engelfriet, Joost; Vogler, Heiko 50 1985 Branching processes of Petri nets. Zbl 0743.68106Engelfriet, Joost 46 1991 IO and OI. II. Zbl 0371.68020Engelfriet, Joost; Schmidt, Erik Meineche 46 1978 IO and OI. I. Zbl 0366.68053Engelfriet, Joost; Schmidt, Erik Meineche 43 1977 Fixed point languages, equality languages, and representation of recursively enumerable languages. Zbl 0475.68047Engelfriet, J.; Rozenberg, G. 32 1980 A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067Engelfriet, Joost; Rozenberg, Grzegorz 30 1990 Three hierarchies of transducers. Zbl 0509.68078Engelfriet, Joost 29 1982 Linear graph grammars: Power and complexity. Zbl 0684.68088Engelfriet, Joost; Leih, George 27 1989 Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049Engelfriet, Joost; Leih, George; Welzl, Emo 26 1990 Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585Engelfriet, Joost; Maneth, Sebastian 25 1999 Pushdown machines for the macro tree transducer. Zbl 0619.68065Engelfriet, Joost; Vogler, Heiko 25 1986 Elementary net systems. Zbl 0926.68082Rozenberg, Grzegorz; Engelfriet, Joost 23 1998 Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V. 22 2006 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086Bloem, Roderick; Engelfriet, Joost 22 2000 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098Courcelle, B.; Engelfriet, J. 22 1995 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326Engelfriet, Joost; Hoogeboom, Hendrik Jan 21 2001 \(X\)-automata on \(\omega\)-words. Zbl 0777.68058Engelfriet, Joost; Hoogeboom, Hendrik Jan 21 1993 On tree transducers for partial functions. Zbl 0379.94066Engelfriet, Joost 20 1978 The string generating power of context-free hypergraph grammars. Zbl 0776.68075Engelfriet, Joost; Heyker, Linda 19 1991 Context-free NCE graph grammars. Zbl 0756.68070Engelfriet, Joost 19 1989 Graph grammars and tree transducers. Zbl 0938.68681Engelfriet, J. 17 1994 High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073Engelfriet, Joost; Vogler, Heiko 17 1988 Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090Engelfriet, Joost; Maneth, Sebastian 16 2003 Context-free graph grammars and concatenation of graphs. Zbl 0896.68092Engelfriet, Joost; Vereijken, Jan Joris 16 1997 Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091Engelfriet, Joost; Rozenberg, Grzegorz 16 1991 Apex graph grammars and attribute grammars. Zbl 0659.68096Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 16 1988 The formal power of one-visit attribute grammars. Zbl 0471.68044Engelfriet, Joost; File, Gilberto 16 1981 Tree-walking pebble automata. Zbl 0944.68108Engelfriet, Joost; Hoogeboom, Hendrik Jan 15 1999 Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). Zbl 0571.68018Engelfriet, Joost 15 1985 Logical description of context-free graph languages. Zbl 0897.68061Engelfriet, Joost; van Oostrom, Vincent 14 1997 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 14 1991 Iterated stack automata and complexity classes. Zbl 0758.68029Engelfriet, Joost 14 1991 The complexity of languages generated by attribute grammars. Zbl 0589.68055Engelfriet, Joost 14 1986 A new natural structural congruence in the pi-calculus with replication. Zbl 1057.03022Engelfriet, Joost; Gelsema, Tjalling 13 2004 A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090Engelfriet, Joost 13 1991 Stack machines and classes of nonnested macro languages. Zbl 0428.68087Engelfriet, Joost; Schmidt, Erik Meineche; van Leeuwen, Jan 13 1980 Equality languages and fixed point languages. Zbl 0422.68034Engelfriet, Joost; Rozenberg, Grzegorz 13 1979 A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062Engelfriet, Joost; Maneth, Sebastian 12 2003 Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125Engelfriet, Joost; Gelsema, Tjalling 12 1999 A multiset semantics for the pi-calculus with replication. Zbl 0872.68125Engelfriet, Joost 12 1996 Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072Engelfriet, Joost; Heyker, Linda 12 1992 Simple program schemes and formal languages. Zbl 0288.68030Engelfriet, Joost 12 1974 Complexity of boundary graph languages. Zbl 0701.68062Engelfriet, Joost; Leih, George 11 1990 Copying theorems. Zbl 0323.68051Engelfriet, Joost; Skyum, Sven 11 1976 Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525Drewes, Frank; Engelfriet, Joost 10 1998 Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102Engelfriet, Joost; Heyker, Linda; Leih, George 10 1994 Nonterminal separation in graph grammars. Zbl 0727.68059Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 10 1991 Apex graph grammars. Zbl 0643.68112Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 10 1987 Trips on trees. Zbl 0926.68078Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal 9 1999 Domino treewidth. Zbl 0882.68106Bodlaender, Hans L.; Engelfriet, Joost 9 1997 Hypergraph languages of bounded degree. Zbl 0802.68073Engelfriet, Joost; Heyker, Linda 9 1994 Look-ahead on pushdowns. Zbl 0625.68063Engelfriet, Joost; Vogler, Heiko 9 1987 Extended macro grammars and stack controlled machines. Zbl 0575.68081Engelfriet, Joost; Slutzki, Giora 9 1984 Simple multi-visit attribute grammars. Zbl 0524.68048Engelfriet, Joost; File, Gilberto 9 1982 Surface tree languages and parallel derivation trees. Zbl 0346.68040Engelfriet, Joost 9 1976 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385Engelfriet, Joost; Maneth, Sebastian 8 2006 Bottom-up and top-down tree series transformations. Zbl 1019.68056Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko 8 2002 Derivation trees of ground term rewriting systems. Zbl 1045.68580Engelfriet, Joost 8 1999 The translation power of top-down tree-to-graph transducers. Zbl 0821.68078Engelfriet, Joost; Vogler, Heiko 8 1994 Nonterminal bounded NLC graph grammars. Zbl 0662.68074Engelfriet, Joost; Leih, George 8 1988 Bounded nesting in macro grammars. Zbl 0453.68051Engelfriet, Joost; Slutzki, Giora 8 1979 Two-way automata and checking automata. Zbl 0423.68035Engelfriet, J. 8 1979 Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. 7 1996 The complexity of regular DNLC graph languages. Zbl 0694.68045Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 7 1990 Tree transducers and syntax-directed semantics. Zbl 0539.68075Engelfriet, Joost 7 1982 Extended multi bottom-up tree transducers. Zbl 1186.68254Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 6 2009 Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 6 2009 Automata with nested pebbles capture first-order logic with transitive closure. Zbl 1128.03027Engelfriet, Joost; Hoogeboom, Hendrik Jan 6 2007 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025Bloem, Roderick; Engelfriet, Joost 6 1997 An elementary proof of double Greibach normal form. Zbl 0796.68133Engelfriet, Joost 6 1992 A hierarchy of tree transducers. Zbl 0386.68070Engelfriet, Joost 6 1978 Tree languages generated by context-free graph grammars. Zbl 0956.68074Engelfriet, Joost; Maneth, Sebastian 5 2000 Modular tree transducers. Zbl 0729.68018Engelfriet, Joost; Vogler, Heiko 5 1991 Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069Engelfriet, Joost; Filé, Gilberto 5 1989 Tree transducers, \(L\) systems and two-way machines (extended abstract). Zbl 1282.68154Engelfriet, J.; Rozenberg, G.; Slutzki, G. 5 1978 Iterated deterministic-substitution. Zbl 0343.68034Asveld, Peter R. J.; Engelfriet, Joost 5 1977 Composition closure of linear extended top-down tree transducers. Zbl 1369.68252Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas 4 2017 Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian 4 2013 A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052Engelfriet, Joost 4 1991 Characterization of high level tree transducers. Zbl 0602.68076Engelfriet, Joost; Vogler, Heiko 4 1985 Passes and paths of attribute grammars. Zbl 0471.68045Engelfriet, Joost; File, Gilberto 4 1981 Extended linear macro grammars, iteration grammars, and register programs. Zbl 0382.68061Asveld, Peter R. J.; Engelfriet, Joost 4 1979 A note on infinite trees. Zbl 0251.68041Engelfriet, Joost 4 1972 Pushdown automata. Zbl 1088.68089Hoogeboom, Hendrik Jan; Engelfriet, Joost 3 2004 Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124Engelfriet, Joost; Maneth, Sebastian 3 2002 The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526Engelfriet, Joost; Vogler, Heiko 3 1998 Regular description of context-free graph languages. Zbl 0869.68063Engelfriet, Joost; van Oostrom, Vincent 3 1996 The term generating power of context-free hypergraph grammars. Zbl 0765.68092Engelfriet, Joost; Heyker, Linda 3 1991 The copying power of one-state tree transducers. Zbl 0495.68073Engelfriet, Joost; Skyum, Sven 3 1982 A translational theorem for the class of EOL languages. Zbl 0507.68052Engelfriet, Joost; Rozenberg, Grzegorz 3 1981 Macro grammars, Lindenmayer systems and other copying devices. Zbl 0363.68093Engelfriet, Joost 3 1977 The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039Engelfriet, Joost 2 2009 Extended multi bottom-up tree transducers. Zbl 1161.68523Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 2 2008 An exercise in structural congruence. Zbl 1185.68443Engelfriet, Joost; Gelsema, Tjalling 2 2007 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1172.03308Engelfriet, Joost; Maneth, Sebastian 2 2005 Composition closure of linear extended top-down tree transducers. Zbl 1369.68252Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas 4 2017 Multiple context-free tree grammars and multi-component tree adjoining grammars. Zbl 06810956Engelfriet, Joost; Maletti, Andreas 1 2017 Erratum to: “Top-down tree transducers with regular look-ahead”. Zbl 1435.68157Engelfriet, Joost 1 2016 Look-ahead removal for total deterministic top-down tree transducers. Zbl 1333.68163Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 1 2016 How to remove the look-ahead of top-down tree transducers. Zbl 1298.68132Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 1 2014 Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian 4 2013 Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 102 2012 Extended multi bottom-up tree transducers. Zbl 1186.68254Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 6 2009 Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 6 2009 The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039Engelfriet, Joost 2 2009 Extended multi bottom-up tree transducers. Zbl 1161.68523Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 2 2008 Automata with nested pebbles capture first-order logic with transitive closure. Zbl 1128.03027Engelfriet, Joost; Hoogeboom, Hendrik Jan 6 2007 An exercise in structural congruence. Zbl 1185.68443Engelfriet, Joost; Gelsema, Tjalling 2 2007 A Kleene characterization of computability. Zbl 1185.68330Engelfriet, Joost 1 2007 Finitary compositions of two-way finite-state transductions. Zbl 1128.68046Engelfriet, Joost; Hoogeboom, Hendrik Jan 1 2007 Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V. 22 2006 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385Engelfriet, Joost; Maneth, Sebastian 8 2006 Nested pebbles and transitive closure. Zbl 1136.68417Engelfriet, Joost; Hoogeboom, Hendrik Jan 1 2006 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1172.03308Engelfriet, Joost; Maneth, Sebastian 2 2005 Clique-width for four-vertex forbidden subgraphs. Zbl 1123.68086Brandstädt, Andreas; Engelfriet, Joost; Le, Hoàng-Oanh; Lozin, Vadim V. 1 2005 A new natural structural congruence in the pi-calculus with replication. Zbl 1057.03022Engelfriet, Joost; Gelsema, Tjalling 13 2004 Pushdown automata. Zbl 1088.68089Hoogeboom, Hendrik Jan; Engelfriet, Joost 3 2004 Branching synchronization grammars with nested tables. Zbl 1069.68060Drewes, Frank; Engelfriet, Joost 2 2004 Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090Engelfriet, Joost; Maneth, Sebastian 16 2003 A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062Engelfriet, Joost; Maneth, Sebastian 12 2003 Branching grammars: A generalization of ET0L systems. Zbl 1037.68068Drewes, Frank; Engelfriet, Joost 1 2003 Bottom-up and top-down tree series transformations. Zbl 1019.68056Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko 8 2002 Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124Engelfriet, Joost; Maneth, Sebastian 3 2002 Hierarchies of string languages generated by deterministic tree transducers. Zbl 1073.68667Engelfriet, Joost; Maneth, Sebastian 1 2002 Two-way finite state transducers with nested pebbles. Zbl 1014.68087Engelfriet, Joost; Maneth, Sebastian 1 2002 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326Engelfriet, Joost; Hoogeboom, Hendrik Jan 21 2001 Structural inclusion in the pi-calculus with replication. Zbl 0974.68133Engelfriet, J.; Gelsema, T. 1 2001 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086Bloem, Roderick; Engelfriet, Joost 22 2000 Tree languages generated by context-free graph grammars. Zbl 0956.68074Engelfriet, Joost; Maneth, Sebastian 5 2000 Characterizing and deciding MSO-definability of macro tree transductions. Zbl 0962.68092Engelfriet, Joost; Maneth, Sebastian 2 2000 Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585Engelfriet, Joost; Maneth, Sebastian 25 1999 Tree-walking pebble automata. Zbl 0944.68108Engelfriet, Joost; Hoogeboom, Hendrik Jan 15 1999 Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125Engelfriet, Joost; Gelsema, Tjalling 12 1999 Trips on trees. Zbl 0926.68078Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal 9 1999 Derivation trees of ground term rewriting systems. Zbl 1045.68580Engelfriet, Joost 8 1999 Elementary net systems. Zbl 0926.68082Rozenberg, Grzegorz; Engelfriet, Joost 23 1998 Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525Drewes, Frank; Engelfriet, Joost 10 1998 The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526Engelfriet, Joost; Vogler, Heiko 3 1998 Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition. Zbl 0927.68068Engelfriet, Joost; Gelsema, Tjalling 1 1998 Monotonicity and persistence in preferential logics. Zbl 0894.68135Engelfriet, J. 1 1998 Context-free graph grammars and concatenation of graphs. Zbl 0896.68092Engelfriet, Joost; Vereijken, Jan Joris 16 1997 Logical description of context-free graph languages. Zbl 0897.68061Engelfriet, Joost; van Oostrom, Vincent 14 1997 Domino treewidth. Zbl 0882.68106Bodlaender, Hans L.; Engelfriet, Joost 9 1997 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025Bloem, Roderick; Engelfriet, Joost 6 1997 A multiset semantics for the pi-calculus with replication. Zbl 0872.68125Engelfriet, Joost 12 1996 Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. 7 1996 Regular description of context-free graph languages. Zbl 0869.68063Engelfriet, Joost; van Oostrom, Vincent 3 1996 Reverse twin shuffles. Zbl 0875.68588Engelfriet, Joost 1 1996 Finite languages for the representation of finite graphs. Zbl 0846.68080Ehrenfeucht, Andrzej; Engelfriet, Joost; Rozenberg, Grzegorz 1 1996 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098Courcelle, B.; Engelfriet, J. 22 1995 Grammatical codes of trees and terminally coded grammars. Zbl 0827.68068Ehrenfeucht, Andrzej; Engelfriet, Joost; ten Pas, Paulien; Rozenberg, Grzegorz 1 1995 Graph grammars and tree transducers. Zbl 0938.68681Engelfriet, J. 17 1994 Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102Engelfriet, Joost; Heyker, Linda; Leih, George 10 1994 Hypergraph languages of bounded degree. Zbl 0802.68073Engelfriet, Joost; Heyker, Linda 9 1994 The translation power of top-down tree-to-graph transducers. Zbl 0821.68078Engelfriet, Joost; Vogler, Heiko 8 1994 Handle-rewriting hypergraph grammars. Zbl 0825.68446Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 126 1993 \(X\)-automata on \(\omega\)-words. Zbl 0777.68058Engelfriet, Joost; Hoogeboom, Hendrik Jan 21 1993 Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072Engelfriet, Joost; Heyker, Linda 12 1992 An elementary proof of double Greibach normal form. Zbl 0796.68133Engelfriet, Joost 6 1992 Branching processes of Petri nets. Zbl 0743.68106Engelfriet, Joost 46 1991 The string generating power of context-free hypergraph grammars. Zbl 0776.68075Engelfriet, Joost; Heyker, Linda 19 1991 Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091Engelfriet, Joost; Rozenberg, Grzegorz 16 1991 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 14 1991 Iterated stack automata and complexity classes. Zbl 0758.68029Engelfriet, Joost 14 1991 A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090Engelfriet, Joost 13 1991 Nonterminal separation in graph grammars. Zbl 0727.68059Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 10 1991 Modular tree transducers. Zbl 0729.68018Engelfriet, Joost; Vogler, Heiko 5 1991 A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052Engelfriet, Joost 4 1991 The term generating power of context-free hypergraph grammars. Zbl 0765.68092Engelfriet, Joost; Heyker, Linda 3 1991 A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067Engelfriet, Joost; Rozenberg, Grzegorz 30 1990 Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049Engelfriet, Joost; Leih, George; Welzl, Emo 26 1990 Complexity of boundary graph languages. Zbl 0701.68062Engelfriet, Joost; Leih, George 11 1990 The complexity of regular DNLC graph languages. Zbl 0694.68045Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 7 1990 Attribute storage optimization by stacks. Zbl 0674.68046Engelfriet, Joost; de Jong, Willem 1 1990 Linear graph grammars: Power and complexity. Zbl 0684.68088Engelfriet, Joost; Leih, George 27 1989 Context-free NCE graph grammars. Zbl 0756.68070Engelfriet, Joost 19 1989 Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069Engelfriet, Joost; Filé, Gilberto 5 1989 Automata with storage on infinite words. Zbl 0697.68068Engelfriet, Joost; Hoogeboom, Hendrik Jan 2 1989 The power of two-way deterministic checking stack automata. Zbl 0744.68042Engelfriet, Joost 1 1989 High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073Engelfriet, Joost; Vogler, Heiko 17 1988 Apex graph grammars and attribute grammars. Zbl 0659.68096Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 16 1988 Nonterminal bounded NLC graph grammars. Zbl 0662.68074Engelfriet, Joost; Leih, George 8 1988 Apex graph grammars. Zbl 0643.68112Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 10 1987 Look-ahead on pushdowns. Zbl 0625.68063Engelfriet, Joost; Vogler, Heiko 9 1987 Restricting the complexity of regular DNLC languages. Zbl 0643.68111Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 2 1987 Generating strings with hypergraph grammars. Zbl 0638.68079Engelfriet, Joost 2 1987 Pushdown machines for the macro tree transducer. Zbl 0619.68065Engelfriet, Joost; Vogler, Heiko 25 1986 The complexity of languages generated by attribute grammars. Zbl 0589.68055Engelfriet, Joost 14 1986 The ETOL hierarchy is in the OI-hierarchy. Zbl 0586.68069Engelfriet, Joost 1 1986 Macro tree transducers. Zbl 0588.68039Engelfriet, Joost; Vogler, Heiko 50 1985 Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). Zbl 0571.68018Engelfriet, Joost 15 1985 Characterization of high level tree transducers. Zbl 0602.68076Engelfriet, Joost; Vogler, Heiko 4 1985 Hierarchies of hyper-AFLs. Zbl 0565.68072Engelfriet, Joost 2 1985 Extended macro grammars and stack controlled machines. Zbl 0575.68081Engelfriet, Joost; Slutzki, Giora 9 1984 Regular characterizations of macro tree transducers. Zbl 0544.68053Engelfriet, Joost; Vogler, Heiko 1 1984 ...and 29 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 881 Authors 67 Engelfriet, Joost 39 Courcelle, Bruno 29 Fülöp, Zoltán 25 Vogler, Heiko 21 Rozenberg, Grzegorz 18 Vágvölgyi, Sándor 17 Maneth, Sebastian 14 Lozin, Vadim Vladislavovich 14 Maletti, Andreas 14 Paulusma, Daniël 13 Finkel, Olivier 11 Drewes, Frank 11 Makowsky, Johann-Andreas 10 Bozapalidis, Symeon 10 Brandstädt, Andreas 10 Koutny, Maciej 9 Dabrowski, Konrad Kazimierz 9 Heggernes, Pinar 9 Karhumaki, Juhani 9 Meister, Daniel 8 Ehrenfeucht, Andrzej 8 Kim, Changwook 8 Rotics, Udi 8 Salomaa, Kai T. 7 Golovach, Petr A. 7 Seidl, Helmut 7 Wanke, Egon 6 Asveld, Peter R. J. 6 Fomin, Fedor V. 6 Kanté, Mamadou Moustapha 6 Kleijn, Jetty H. C. M. 6 Leih, George 6 Lohrey, Markus 6 Neven, Frank 6 Păun, Gheorghe 6 Reynier, Pierre-Alain 6 Skodinis, Konstantin 6 Slutzki, Giora 5 Arnold, André 5 Dauchet, Max 5 Ésik, Zoltán 5 Filiot, Emmanuel 5 Ganian, Robert 5 Haar, Stefan 5 Hliněný, Petr 5 Kalampakas, Antonios 5 Khomenko, Victor 5 Latteux, Michel 5 Papadopoulos, Charis 5 Paul, Christophe 5 Rahonis, George 5 Rao, Michaël 5 Szeider, Stefan 5 van Glabbeek, Robert Jan 5 Zamaraev, Victor A. 4 Aceto, Luca 4 Bodlaender, Hans L. 4 Brandenburg, Franz-Josef 4 Gastin, Paul 4 Gurski, Frank 4 Harju, Tero 4 Heyker, Linda 4 Hoogeboom, Hendrik Jan 4 Kleijn, H. C. M. 4 König, Barbara 4 Korpelainen, Nicholas 4 Kratsch, Dieter 4 Kühnemann, Armin 4 Kwon, Ojoung 4 Maffray, Frédéric 4 Mosca, Raffaele 4 Obdržálek, Jan 4 Okhotin, Alexander 4 Pinna, G. Michele 4 Rossmanith, Peter 4 Saoudi, Ahmed 4 Schwentick, Thomas 4 Sénizergues, Géraud 4 Telle, Jan Arne 4 Todinca, Ioan 4 Vanherpe, Jean-Marie 4 Vogler, Walter 3 Alur, Rajeev 3 Baldan, Paolo 3 Bauderon, Michel 3 Bloom, Stephen L. 3 Blumensath, Achim 3 Bonomo, Flavia 3 Brignall, Robert 3 Chang, Maw-Shang 3 Corradini, Andrea 3 Dányi, Gábor 3 Dassow, Jürgen 3 Downey, Rodney Graham 3 Durand, Irène A. 3 Fabre, Eric 3 Gazdag, Zsolt 3 Gelsema, Tjalling 3 Gorrieri, Roberto 3 Hellmuth, Marc ...and 781 more Authors all top 5 Cited in 81 Serials 192 Theoretical Computer Science 59 Journal of Computer and System Sciences 56 Discrete Applied Mathematics 51 Information and Computation 35 Acta Informatica 33 Information Processing Letters 24 International Journal of Foundations of Computer Science 17 Mathematical Systems Theory 16 Theory of Computing Systems 12 Algorithmica 9 Discrete Mathematics 9 International Journal of Computer Mathematics 8 European Journal of Combinatorics 8 SIAM Journal on Discrete Mathematics 8 RAIRO. Theoretical Informatics and Applications 7 RAIRO. Informatique Théorique et Applications 6 MSCS. Mathematical Structures in Computer Science 6 Logical Methods in Computer Science 6 Journal of Logical and Algebraic Methods in Programming 5 Information Sciences 5 Journal of Combinatorial Theory. Series B 5 RAIRO, Informatique Théorique 5 Annals of Pure and Applied Logic 5 Journal of Logic, Language and Information 5 ACM Transactions on Computational Logic 4 Formal Aspects of Computing 4 The Journal of Logic and Algebraic Programming 4 RAIRO. Theoretical Informatics and Applications 3 Artificial Intelligence 3 SIAM Journal on Computing 3 Discrete Event Dynamic Systems 3 Higher-Order and Symbolic Computation 3 Journal of Applied Logic 3 Computer Science Review 2 Kybernetes 2 Programming and Computer Software 2 Archive for Mathematical Logic 2 Formal Methods in System Design 2 The Bulletin of Symbolic Logic 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Graph Algorithms and Applications 2 Natural Computing 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Biology 1 Algebra Universalis 1 Automatica 1 BIT 1 Fuzzy Sets and Systems 1 International Journal of Computer & Information Sciences 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series A 1 Journal of Graph Theory 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Kybernetika 1 Networks 1 Semigroup Forum 1 Cybernetics 1 Science of Computer Programming 1 Operations Research Letters 1 Order 1 Graphs and Combinatorics 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 Linear Algebra and its Applications 1 Distributed Computing 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Functional Programming 1 International Transactions in Operational Research 1 Mathematical Problems in Engineering 1 Soft Computing 1 Annals of Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Discrete Dynamics in Nature and Society 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 4OR 1 Discrete Optimization 1 Optimization Letters 1 Algorithms all top 5 Cited in 25 Fields 682 Computer science (68-XX) 187 Combinatorics (05-XX) 129 Mathematical logic and foundations (03-XX) 15 Group theory and generalizations (20-XX) 11 Biology and other natural sciences (92-XX) 10 Operations research, mathematical programming (90-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Category theory; homological algebra (18-XX) 8 Systems theory; control (93-XX) 7 General algebraic systems (08-XX) 5 Information and communication theory, circuits (94-XX) 4 General and overarching topics; collections (00-XX) 4 Associative rings and algebras (16-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Manifolds and cell complexes (57-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline