Edit Profile (opens in new tab) Engelfriet, Joost Compute Distance To: Compute Author ID: engelfriet.joost Published as: Engelfriet, Joost; Engelfriet, J. Homepage: http://liacs.leidenuniv.nl/~engelfrietj/ External Links: MGP · dblp Documents Indexed: 152 Publications since 1972, including 3 Books 1 Further Contribution Co-Authors: 37 Co-Authors with 114 Joint Publications 1,197 Co-Co-Authors all top 5 Co-Authors 39 single-authored 20 Rozenberg, Grzegorz 17 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 Nivat, Maurice 2 Skyum, Sven 2 van Oostrom, Vincent 2 Vereijken, Jan Joris 1 Aho, Alfred Vaino 1 Autebert, Jean-Michel 1 Beauquier, Joffroy 1 Boasson, Luc 1 Bodlaender, Hans L. 1 Book, Ronald Vernon 1 Brzozowski, Janusz Antoni 1 Culik, Karel II 1 de Jong, Willem R. 1 Ginsburg, Seymour 1 Goldstine, Jonathan 1 Harju, Tero 1 Huet, Gerard P. 1 Inaba, Kazuhiro 1 Latteux, Michel 1 Monien, Burkhard 1 Oppen, Derek C. 1 Proskurowski, Andrzej 1 Salomaa, Arto Kustaa 1 Samwel, Bart 1 Sudborough, Ivan Hal 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 Acta Informatica 17 Theoretical Computer Science 10 Information and Computation 9 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 Nieuw Archief voor Wiskunde. Derde Serie 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 150 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 12 Combinatorics (05-XX) 2 Group theory and generalizations (20-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 134 Publications have been cited 1,801 times in 875 Documents Cited by ▼ Year ▼ Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006Courcelle, Bruno; Engelfriet, Joost 147 2012 Handle-rewriting hypergraph grammars. Zbl 0825.68446Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 136 1993 Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061Engelfriet, Joost 100 1975 Top-down tree transducers with regular look-ahead. Zbl 0369.68048Engelfriet, Joost 62 1977 Tree transducers, L systems, and two-way machines. Zbl 0426.68075Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora 58 1980 Macro tree transducers. Zbl 0588.68039Engelfriet, Joost; Vogler, Heiko 54 1985 Branching processes of Petri nets. Zbl 0743.68106Engelfriet, Joost 50 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 40 1977 Fixed point languages, equality languages, and representation of recursively enumerable languages. Zbl 0475.68047Engelfriet, J.; Rozenberg, G. 33 1980 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326Engelfriet, Joost; Hoogeboom, Hendrik Jan 33 2001 A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067Engelfriet, Joost; Rozenberg, Grzegorz 30 1990 Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585Engelfriet, Joost; Maneth, Sebastian 29 1999 Three hierarchies of transducers. Zbl 0509.68078Engelfriet, Joost 29 1982 Pushdown machines for the macro tree transducer. Zbl 0619.68065Engelfriet, Joost; Vogler, Heiko 28 1986 Elementary net systems. Zbl 0926.68082Rozenberg, Grzegorz; Engelfriet, Joost 28 1998 Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V. 27 2006 Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049Engelfriet, Joost; Leih, George; Welzl, Emo 26 1990 Linear graph grammars: Power and complexity. Zbl 0684.68088Engelfriet, Joost; Leih, George 26 1989 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086Bloem, Roderick; Engelfriet, Joost 25 2000 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098Courcelle, B.; Engelfriet, J. 23 1995 \(X\)-automata on \(\omega\)-words. Zbl 0777.68058Engelfriet, Joost; Hoogeboom, Hendrik Jan 22 1993 On tree transducers for partial functions. Zbl 0379.94066Engelfriet, Joost 22 1978 Graph grammars and tree transducers. Zbl 0938.68681Engelfriet, J. 21 1994 High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073Engelfriet, Joost; Vogler, Heiko 20 1988 The string generating power of context-free hypergraph grammars. Zbl 0776.68075Engelfriet, Joost; Heyker, Linda 20 1991 Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090Engelfriet, Joost; Maneth, Sebastian 19 2003 Context-free NCE graph grammars. Zbl 0756.68070Engelfriet, Joost 18 1989 The formal power of one-visit attribute grammars. Zbl 0471.68044Engelfriet, Joost; File, Gilberto 17 1981 Iterated stack automata and complexity classes. Zbl 0758.68029Engelfriet, Joost 17 1991 Apex graph grammars and attribute grammars. Zbl 0659.68096Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 16 1988 A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090Engelfriet, Joost 16 1991 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 Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091Engelfriet, Joost; Rozenberg, Grzegorz 15 1991 Stack machines and classes of nonnested macro languages. Zbl 0428.68087Engelfriet, Joost; Schmidt, Erik Meineche; van Leeuwen, Jan 14 1980 Context-free graph grammars and concatenation of graphs. Zbl 0896.68092Engelfriet, Joost; Vereijken, Jan Joris 14 1997 Equality languages and fixed point languages. Zbl 0422.68034Engelfriet, Joost; Rozenberg, Grzegorz 13 1979 Logical description of context-free graph languages. Zbl 0897.68061Engelfriet, Joost; van Oostrom, Vincent 13 1997 Simple program schemes and formal languages. Zbl 0288.68030Engelfriet, Joost 13 1974 A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062Engelfriet, Joost; Maneth, Sebastian 13 2003 Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072Engelfriet, Joost; Heyker, Linda 13 1992 A multiset semantics for the pi-calculus with replication. Zbl 0872.68125Engelfriet, Joost 12 1996 Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125Engelfriet, Joost; Gelsema, Tjalling 12 1999 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 12 1991 Copying theorems. Zbl 0323.68051Engelfriet, Joost; Skyum, Sven 12 1976 A new natural structural congruence in the pi-calculus with replication. Zbl 1057.03022Engelfriet, Joost; Gelsema, Tjalling 11 2004 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385Engelfriet, Joost; Maneth, Sebastian 11 2006 Complexity of boundary graph languages. Zbl 0701.68062Engelfriet, Joost; Leih, George 11 1990 Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102Engelfriet, Joost; Heyker, Linda; Leih, George 10 1994 Trips on trees. Zbl 0926.68078Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal 10 1999 Bottom-up and top-down tree series transformations. Zbl 1019.68056Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko 10 2002 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 9 1994 Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. 9 1996 Domino treewidth. Zbl 0882.68106Bodlaender, Hans L.; Engelfriet, Joost 9 1997 Look-ahead on pushdowns. Zbl 0625.68063Engelfriet, Joost; Vogler, Heiko 9 1987 Derivation trees of ground term rewriting systems. Zbl 1045.68580Engelfriet, Joost 9 1999 Extended macro grammars and stack controlled machines. Zbl 0575.68081Engelfriet, Joost; Slutzki, Giora 9 1984 Surface tree languages and parallel derivation trees. Zbl 0346.68040Engelfriet, Joost 9 1976 Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525Drewes, Frank; Engelfriet, Joost 9 1998 Nonterminal separation in graph grammars. Zbl 0727.68059Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 9 1991 Simple multi-visit attribute grammars. Zbl 0524.68048Engelfriet, Joost; File, Gilberto 9 1982 Bounded nesting in macro grammars. Zbl 0453.68051Engelfriet, Joost; Slutzki, Giora 8 1979 The complexity of languages generated by attribute grammars. Zbl 0589.68055Engelfriet, Joost 8 1986 Two-way automata and checking automata. Zbl 0423.68035Engelfriet, J. 7 1979 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025Bloem, Roderick; Engelfriet, Joost 7 1997 Apex graph grammars. Zbl 0643.68112Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 7 1987 Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 7 2009 Automata with nested pebbles capture first-order logic with transitive closure. Zbl 1128.03027Engelfriet, Joost; Hoogeboom, Hendrik Jan 7 2007 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 Nonterminal bounded NLC graph grammars. Zbl 0662.68074Engelfriet, Joost; Leih, George 6 1988 A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052Engelfriet, Joost 6 1991 An elementary proof of double Greibach normal form. Zbl 0796.68133Engelfriet, Joost 6 1992 The complexity of regular DNLC graph languages. Zbl 0694.68045Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 6 1990 Tree languages generated by context-free graph grammars. Zbl 0956.68074Engelfriet, Joost; Maneth, Sebastian 5 2000 Iterated deterministic-substitution. Zbl 0343.68034Asveld, Peter R. J.; Engelfriet, Joost 5 1977 Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069Engelfriet, Joost; Filé, Gilberto 5 1989 Modular tree transducers. Zbl 0729.68018Engelfriet, Joost; Vogler, Heiko 5 1991 Extended linear macro grammars, iteration grammars, and register programs. Zbl 0382.68061Asveld, Peter R. J.; Engelfriet, Joost 4 1979 Passes and paths of attribute grammars. Zbl 0471.68045Engelfriet, Joost; File, Gilberto 4 1981 A note on infinite trees. Zbl 0251.68041Engelfriet, Joost 4 1972 The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526Engelfriet, Joost; Vogler, Heiko 4 1998 Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian 4 2013 Tree transducers, \(L\) systems and two-way machines (extended abstract). Zbl 1282.68154Engelfriet, J.; Rozenberg, G.; Slutzki, G. 4 1978 Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124Engelfriet, Joost; Maneth, Sebastian 4 2002 Macro grammars, Lindenmayer systems and other copying devices. Zbl 0363.68093Engelfriet, Joost 3 1977 A hierarchy of tree transducers. Zbl 0386.68070Engelfriet, Joost 3 1978 Regular description of context-free graph languages. Zbl 0869.68063Engelfriet, Joost; van Oostrom, Vincent 3 1996 Pushdown automata. Zbl 1088.68089Hoogeboom, Hendrik Jan; Engelfriet, Joost 3 2004 Hierarchies of hyper-AFLs. Zbl 0565.68072Engelfriet, Joost 3 1985 The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039Engelfriet, Joost 3 2009 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 A Greibach normal form for context-free graph grammars. Zbl 1425.68162Engelfriet, Joost 3 1992 XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. Zbl 1464.68165Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart 3 2021 Extended multi bottom-up tree transducers. Zbl 1161.68523Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 2 2008 Characterizing and deciding MSO-definability of macro tree transductions. Zbl 0962.68092Engelfriet, Joost; Maneth, Sebastian 2 2000 Iterating iterated substitution. Zbl 0364.68070Engelfriet, Joost 2 1978 XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. Zbl 1464.68165Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart 3 2021 A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. Zbl 1477.68151Engelfriet, Joost; Vogler, Heiko 1 2020 Composition closure of linear extended top-down tree transducers. Zbl 1369.68252Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas 2 2017 Multiple context-free tree grammars and multi-component tree adjoining grammars. Zbl 06810956Engelfriet, Joost; Maletti, Andreas 1 2017 Look-ahead removal for total deterministic top-down tree transducers. Zbl 1333.68163Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 2 2016 Erratum to: “Top-down tree transducers with regular look-ahead”. Zbl 1435.68157Engelfriet, Joost 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 147 2012 Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 7 2009 Extended multi bottom-up tree transducers. Zbl 1186.68254Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 6 2009 The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039Engelfriet, Joost 3 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 7 2007 An exercise in structural congruence. Zbl 1185.68443Engelfriet, Joost; Gelsema, Tjalling 2 2007 A Kleene characterization of computability. Zbl 1185.68330Engelfriet, Joost 2 2007 Finitary compositions of two-way finite-state transductions. Zbl 1137.68422Engelfriet, Joost; Hoogeboom, Hendrik Jan 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. 27 2006 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385Engelfriet, Joost; Maneth, Sebastian 11 2006 Nested pebbles and transitive closure. Zbl 1136.68417Engelfriet, Joost; Hoogeboom, Hendrik Jan 2 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 11 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 19 2003 A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062Engelfriet, Joost; Maneth, Sebastian 13 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 10 2002 Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124Engelfriet, Joost; Maneth, Sebastian 4 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 33 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 25 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 29 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 10 1999 Derivation trees of ground term rewriting systems. Zbl 1045.68580Engelfriet, Joost 9 1999 Elementary net systems. Zbl 0926.68082Rozenberg, Grzegorz; Engelfriet, Joost 28 1998 Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525Drewes, Frank; Engelfriet, Joost 9 1998 The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526Engelfriet, Joost; Vogler, Heiko 4 1998 Monotonicity and persistence in preferential logics. Zbl 0894.68135Engelfriet, J. 1 1998 Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition. Zbl 0927.68068Engelfriet, Joost; Gelsema, Tjalling 1 1998 Context-free graph grammars and concatenation of graphs. Zbl 0896.68092Engelfriet, Joost; Vereijken, Jan Joris 14 1997 Logical description of context-free graph languages. Zbl 0897.68061Engelfriet, Joost; van Oostrom, Vincent 13 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 7 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. 9 1996 Regular description of context-free graph languages. Zbl 0869.68063Engelfriet, Joost; van Oostrom, Vincent 3 1996 Finite languages for the representation of finite graphs. Zbl 0846.68080Ehrenfeucht, Andrzej; Engelfriet, Joost; Rozenberg, Grzegorz 1 1996 Reverse twin shuffles. Zbl 0875.68588Engelfriet, Joost 1 1996 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098Courcelle, B.; Engelfriet, J. 23 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. 21 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 9 1994 Handle-rewriting hypergraph grammars. Zbl 0825.68446Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 136 1993 \(X\)-automata on \(\omega\)-words. Zbl 0777.68058Engelfriet, Joost; Hoogeboom, Hendrik Jan 22 1993 Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072Engelfriet, Joost; Heyker, Linda 13 1992 An elementary proof of double Greibach normal form. Zbl 0796.68133Engelfriet, Joost 6 1992 A Greibach normal form for context-free graph grammars. Zbl 1425.68162Engelfriet, Joost 3 1992 Branching processes of Petri nets. Zbl 0743.68106Engelfriet, Joost 50 1991 The string generating power of context-free hypergraph grammars. Zbl 0776.68075Engelfriet, Joost; Heyker, Linda 20 1991 Iterated stack automata and complexity classes. Zbl 0758.68029Engelfriet, Joost 17 1991 A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090Engelfriet, Joost 16 1991 Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091Engelfriet, Joost; Rozenberg, Grzegorz 15 1991 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 12 1991 Nonterminal separation in graph grammars. Zbl 0727.68059Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 9 1991 A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052Engelfriet, Joost 6 1991 Modular tree transducers. Zbl 0729.68018Engelfriet, Joost; Vogler, Heiko 5 1991 The term generating power of context-free hypergraph grammars. Zbl 0765.68092Engelfriet, Joost; Heyker, Linda 1 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 6 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 26 1989 Context-free NCE graph grammars. Zbl 0756.68070Engelfriet, Joost 18 1989 Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069Engelfriet, Joost; Filé, Gilberto 5 1989 The power of two-way deterministic checking stack automata. Zbl 0744.68042Engelfriet, Joost 1 1989 Automata with storage on infinite words. Zbl 0697.68068Engelfriet, Joost; Hoogeboom, Hendrik Jan 1 1989 High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073Engelfriet, Joost; Vogler, Heiko 20 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 6 1988 Look-ahead on pushdowns. Zbl 0625.68063Engelfriet, Joost; Vogler, Heiko 9 1987 Apex graph grammars. Zbl 0643.68112Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 7 1987 Generating strings with hypergraph grammars. Zbl 0638.68079Engelfriet, Joost 1 1987 Restricting the complexity of regular DNLC languages. Zbl 0643.68111Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 1 1987 Pushdown machines for the macro tree transducer. Zbl 0619.68065Engelfriet, Joost; Vogler, Heiko 28 1986 The complexity of languages generated by attribute grammars. Zbl 0589.68055Engelfriet, Joost 8 1986 The ETOL hierarchy is in the OI-hierarchy. Zbl 0586.68069Engelfriet, Joost 1 1986 Macro tree transducers. Zbl 0588.68039Engelfriet, Joost; Vogler, Heiko 54 1985 Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). Zbl 0571.68018Engelfriet, Joost 15 1985 ...and 34 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 999 Authors 69 Engelfriet, Joost 40 Courcelle, Bruno 30 Fülöp, Zoltán 29 Vogler, Heiko 20 Rozenberg, Grzegorz 19 Maneth, Sebastian 19 Vágvölgyi, Sándor 16 Lozin, Vadim Vladislavovich 15 Maletti, Andreas 14 Finkel, Olivier 14 Paulusma, Daniël 13 Drewes, Frank 11 Kleijn, Jetty 11 Koutny, Maciej 11 Makowsky, Johann-Andreas 10 Bozapalidis, Symeon 10 Brandstädt, Andreas 10 Karhumaki, Juhani 9 Dabrowski, Konrad Kazimierz 9 Heggernes, Pinar 9 Meister, Daniel 8 Filiot, Emmanuel 8 Kim, Changwook 8 Reynier, Pierre-Alain 8 Rotics, Udi 8 Salomaa, Kai T. 8 Seidl, Helmut 7 Ehrenfeucht, Andrzej 7 Golovach, Petr A. 7 Gurski, Frank 7 Wanke, Egon 7 Zamaraev, Victor A. 6 Asveld, Peter R. J. 6 Ésik, Zoltán 6 Fomin, Fedor V. 6 Haar, Stefan 6 Hoàng, Chính T. 6 Kanté, Mamadou Moustapha 6 Krishna, Shankara Narayanan 6 Leih, George 6 Lohrey, Markus 6 Muscholl, Anca 6 Neven, Frank 6 Păun, Gheorghe 6 Pilipczuk, Michał 6 Skodinis, Konstantin 6 Slutzki, Giora 6 van Glabbeek, Robert Jan 5 Arnold, André 5 Bodlaender, Hans L. 5 Dauchet, Max 5 Ganian, Robert 5 Gastin, Paul 5 Harju, Tero 5 Hellmuth, Marc 5 Hoogeboom, Hendrik Jan 5 Janicki, Ryszard 5 Kalampakas, Antonios 5 Khomenko, Victor 5 Kwon, Ojoung 5 Latteux, Michel 5 Papadopoulos, Charis 5 Paul, Christophe 5 Puppis, Gabriele 5 Rahonis, George 5 Rao, Michaël 5 Szeider, Stefan 4 Aceto, Luca 4 Bojańczyk, Mikołaj 4 Brandenburg, Franz-Josef 4 Brignall, Robert 4 Eppstein, David Arthur 4 Gorrieri, Roberto 4 Heyker, Linda 4 Hliněný, Petr 4 König, Barbara 4 Korpelainen, Nicholas 4 Kratsch, Dieter 4 Kühnemann, Armin 4 Maffray, Frédéric 4 Milanič, Martin 4 Mosca, Raffaele 4 Okhotin, Alexander 4 Pinna, G. Michele 4 Schwentick, Thomas 4 Sénizergues, Géraud 4 Souza, Uéverton S. 4 Stadler, Peter F. 4 Telle, Jan Arne 4 ten Pas, Paulien 4 Todinca, Ioan 4 Vanherpe, Jean-Marie 4 Vogler, Walter 3 Alur, Rajeev 3 Baldan, Paolo 3 Bauderon, Michel 3 Bernardinello, Luca 3 Bloom, Stephen L. 3 Blumensath, Achim 3 Boiret, Adrien ...and 899 more Authors all top 5 Cited in 86 Serials 203 Theoretical Computer Science 59 Journal of Computer and System Sciences 58 Discrete Applied Mathematics 56 Information and Computation 37 Acta Informatica 33 Information Processing Letters 25 International Journal of Foundations of Computer Science 17 Mathematical Systems Theory 16 Theory of Computing Systems 15 Algorithmica 11 Logical Methods in Computer Science 10 European Journal of Combinatorics 9 Discrete Mathematics 9 International Journal of Computer Mathematics 8 SIAM Journal on Discrete Mathematics 8 RAIRO. Theoretical Informatics and Applications 7 MSCS. Mathematical Structures in Computer Science 7 Journal of Logical and Algebraic Methods in Programming 6 Journal of Combinatorial Theory. Series B 6 RAIRO. Informatique Théorique et Applications 5 Information Sciences 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 5 RAIRO. Theoretical Informatics and Applications 4 Artificial Intelligence 4 Formal Aspects of Computing 4 The Journal of Logic and Algebraic Programming 3 SIAM Journal on Computing 3 Discrete Event Dynamic Systems 3 Higher-Order and Symbolic Computation 3 Fundamenta Informaticae 3 Journal of Applied Logic 3 Computer Science Review 2 Kybernetes 2 Programming and Computer Software 2 Semigroup Forum 2 Graphs and Combinatorics 2 Annals of Operations Research 2 Archive for Mathematical Logic 2 Formal Methods in System Design 2 The Electronic Journal of Combinatorics 2 The Bulletin of Symbolic Logic 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Graph Algorithms and Applications 2 Natural Computing 1 International Journal of Theoretical Physics 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 The Journal of Symbolic Logic 1 Kybernetika 1 Networks 1 Cybernetics 1 Advances in Applied Mathematics 1 Science of Computer Programming 1 Operations Research Letters 1 Order 1 Journal of Automated Reasoning 1 International Journal of Algebra and Computation 1 Linear Algebra and its Applications 1 Distributed Computing 1 The Australasian Journal of Combinatorics 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 Journal of Combinatorial Optimization 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 26 Fields 761 Computer science (68-XX) 204 Combinatorics (05-XX) 139 Mathematical logic and foundations (03-XX) 16 Group theory and generalizations (20-XX) 15 Operations research, mathematical programming (90-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Biology and other natural sciences (92-XX) 7 Category theory; homological algebra (18-XX) 7 Systems theory; control (93-XX) 6 General algebraic systems (08-XX) 5 Information and communication theory, circuits (94-XX) 4 General and overarching topics; collections (00-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Associative rings and algebras (16-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) 2 Quantum theory (81-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 Probability theory and stochastic processes (60-XX) Citations by Year