Edit Profile (opens in new tab) Engelfriet, Joost Co-Author Distance Author ID: engelfriet.joost Published as: Engelfriet, Joost; Engelfriet, J. Homepage: http://liacs.leidenuniv.nl/~engelfrietj/ External Links: MGP · dblp Documents Indexed: 154 Publications since 1972, including 3 Books 1 Further Contribution Co-Authors: 37 Co-Authors with 115 Joint Publications 1,237 Co-Co-Authors all top 5 Co-Authors 40 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 Bodlaender, Hans L. 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 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 151 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 13 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 137 Publications have been cited 2,041 times in 1,034 Documents Cited by ▼ Year ▼ Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006 Courcelle, Bruno; Engelfriet, Joost 193 2012 Handle-rewriting hypergraph grammars. Zbl 0825.68446 Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 149 1993 Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061 Engelfriet, Joost 120 1975 Top-down tree transducers with regular look-ahead. Zbl 0369.68048 Engelfriet, Joost 72 1977 Branching processes of Petri nets. Zbl 0743.68106 Engelfriet, Joost 64 1991 Macro tree transducers. Zbl 0588.68039 Engelfriet, Joost; Vogler, Heiko 60 1985 Tree transducers, L systems, and two-way machines. Zbl 0426.68075 Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora 60 1980 IO and OI. II. Zbl 0371.68020 Engelfriet, Joost; Schmidt, Erik Meineche 50 1978 IO and OI. I. Zbl 0366.68053 Engelfriet, Joost; Schmidt, Erik Meineche 43 1977 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326 Engelfriet, Joost; Hoogeboom, Hendrik Jan 42 2001 Elementary net systems. Zbl 0926.68082 Rozenberg, Grzegorz; Engelfriet, Joost 36 1998 Fixed point languages, equality languages, and representation of recursively enumerable languages. Zbl 0475.68047 Engelfriet, J.; Rozenberg, G. 36 1980 Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088 Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V. 36 2006 Three hierarchies of transducers. Zbl 0509.68078 Engelfriet, Joost 34 1982 Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585 Engelfriet, Joost; Maneth, Sebastian 33 1999 A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067 Engelfriet, Joost; Rozenberg, Grzegorz 32 1990 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086 Bloem, Roderick; Engelfriet, Joost 28 2000 Pushdown machines for the macro tree transducer. Zbl 0619.68065 Engelfriet, Joost; Vogler, Heiko 28 1986 Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049 Engelfriet, Joost; Leih, George; Welzl, Emo 28 1990 Linear graph grammars: Power and complexity. Zbl 0684.68088 Engelfriet, Joost; Leih, George 26 1989 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098 Courcelle, B.; Engelfriet, J. 26 1995 On tree transducers for partial functions. Zbl 0379.94066 Engelfriet, Joost 26 1978 Graph grammars and tree transducers. Zbl 0938.68681 Engelfriet, J. 24 1994 \(X\)-automata on \(\omega\)-words. Zbl 0777.68058 Engelfriet, Joost; Hoogeboom, Hendrik Jan 23 1993 Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090 Engelfriet, Joost; Maneth, Sebastian 21 2003 High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073 Engelfriet, Joost; Vogler, Heiko 20 1988 Context-free NCE graph grammars. Zbl 0756.68070 Engelfriet, Joost 20 1989 The string generating power of context-free hypergraph grammars. Zbl 0776.68075 Engelfriet, Joost; Heyker, Linda 20 1991 Iterated stack automata and complexity classes. Zbl 0758.68029 Engelfriet, Joost 19 1991 Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091 Engelfriet, Joost; Rozenberg, Grzegorz 17 1991 Tree-walking pebble automata. Zbl 0944.68108 Engelfriet, Joost; Hoogeboom, Hendrik Jan 17 1999 Context-free graph grammars and concatenation of graphs. Zbl 0896.68092 Engelfriet, Joost; Vereijken, Jan Joris 17 1997 The formal power of one-visit attribute grammars. Zbl 0471.68044 Engelfriet, Joost; File, Gilberto 17 1981 Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). Zbl 0571.68018 Engelfriet, Joost 17 1985 Apex graph grammars and attribute grammars. Zbl 0659.68096 Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 16 1988 A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090 Engelfriet, Joost 16 1991 A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062 Engelfriet, Joost; Maneth, Sebastian 15 2003 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084 Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 14 1991 Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125 Engelfriet, Joost; Gelsema, Tjalling 14 1999 Stack machines and classes of nonnested macro languages. Zbl 0428.68087 Engelfriet, Joost; Schmidt, Erik Meineche; van Leeuwen, Jan 14 1980 A new natural structural congruence in the pi-calculus with replication. Zbl 1057.03022 Engelfriet, Joost; Gelsema, Tjalling 14 2004 Bottom-up and top-down tree series transformations. Zbl 1019.68056 Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko 14 2002 Logical description of context-free graph languages. Zbl 0897.68061 Engelfriet, Joost; van Oostrom, Vincent 13 1997 Simple program schemes and formal languages. Zbl 0288.68030 Engelfriet, Joost 13 1974 Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072 Engelfriet, Joost; Heyker, Linda 13 1992 Equality languages and fixed point languages. Zbl 0422.68034 Engelfriet, Joost; Rozenberg, Grzegorz 13 1979 Copying theorems. Zbl 0323.68051 Engelfriet, Joost; Skyum, Sven 12 1976 Complexity of boundary graph languages. Zbl 0701.68062 Engelfriet, Joost; Leih, George 12 1990 A multiset semantics for the pi-calculus with replication. Zbl 0872.68125 Engelfriet, Joost 12 1996 Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102 Engelfriet, Joost; Heyker, Linda; Leih, George 12 1994 Trips on trees. Zbl 0926.68078 Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal 11 1999 Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525 Drewes, Frank; Engelfriet, Joost 11 1998 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385 Engelfriet, Joost; Maneth, Sebastian 11 2006 Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032 Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 11 2009 Surface tree languages and parallel derivation trees. Zbl 0346.68040 Engelfriet, Joost 11 1976 Simple multi-visit attribute grammars. Zbl 0524.68048 Engelfriet, Joost; File, Gilberto 10 1982 Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161 Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. 10 1996 Domino treewidth. Zbl 0882.68106 Bodlaender, Hans L.; Engelfriet, Joost 10 1997 Look-ahead on pushdowns. Zbl 0625.68063 Engelfriet, Joost; Vogler, Heiko 9 1987 Apex graph grammars. Zbl 0643.68112 Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 9 1987 Extended macro grammars and stack controlled machines. Zbl 0575.68081 Engelfriet, Joost; Slutzki, Giora 9 1984 Nonterminal separation in graph grammars. Zbl 0727.68059 Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 9 1991 Hypergraph languages of bounded degree. Zbl 0802.68073 Engelfriet, Joost; Heyker, Linda 9 1994 The translation power of top-down tree-to-graph transducers. Zbl 0821.68078 Engelfriet, Joost; Vogler, Heiko 9 1994 Derivation trees of ground term rewriting systems. Zbl 1045.68580 Engelfriet, Joost 9 1999 Automata with nested pebbles capture first-order logic with transitive closure. Zbl 1128.03027 Engelfriet, Joost; Hoogeboom, Hendrik Jan 8 2007 The complexity of languages generated by attribute grammars. Zbl 0589.68055 Engelfriet, Joost 8 1986 Modular tree transducers. Zbl 0729.68018 Engelfriet, Joost; Vogler, Heiko 8 1991 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025 Bloem, Roderick; Engelfriet, Joost 8 1997 Two-way automata and checking automata. Zbl 0423.68035 Engelfriet, J. 8 1979 Bounded nesting in macro grammars. Zbl 0453.68051 Engelfriet, Joost; Slutzki, Giora 8 1979 Tree transducers and syntax-directed semantics. Zbl 0539.68075 Engelfriet, Joost 7 1982 A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052 Engelfriet, Joost 7 1991 An elementary proof of double Greibach normal form. Zbl 0796.68133 Engelfriet, Joost 7 1992 Nonterminal bounded NLC graph grammars. Zbl 0662.68074 Engelfriet, Joost; Leih, George 6 1988 Hierarchies of hyper-AFLs. Zbl 0565.68072 Engelfriet, Joost 6 1985 Extended multi bottom-up tree transducers. Zbl 1186.68254 Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 6 2009 The complexity of regular DNLC graph languages. Zbl 0694.68045 Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 6 1990 A Greibach normal form for context-free graph grammars. Zbl 1425.68162 Engelfriet, Joost 6 1992 Tree languages generated by context-free graph grammars. Zbl 0956.68074 Engelfriet, Joost; Maneth, Sebastian 5 2000 The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526 Engelfriet, Joost; Vogler, Heiko 5 1998 Iterated deterministic-substitution. Zbl 0343.68034 Asveld, Peter R. J.; Engelfriet, Joost 5 1977 Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069 Engelfriet, Joost; Filé, Gilberto 5 1989 Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124 Engelfriet, Joost; Maneth, Sebastian 5 2002 XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. Zbl 1464.68165 Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart 5 2021 The power of two-way deterministic checking stack automata. Zbl 0744.68042 Engelfriet, Joost 4 1989 Passes and paths of attribute grammars. Zbl 0471.68045 Engelfriet, Joost; File, Gilberto 4 1981 A note on infinite trees. Zbl 0251.68041 Engelfriet, Joost 4 1972 Extended linear macro grammars, iteration grammars, and register programs. Zbl 0382.68061 Asveld, Peter R. J.; Engelfriet, Joost 4 1979 Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104 Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian 4 2013 Tree transducers, \(L\) systems and two-way machines (extended abstract). Zbl 1282.68154 Engelfriet, J.; Rozenberg, G.; Slutzki, G. 4 1978 The copying power of one-state tree transducers. Zbl 0495.68073 Engelfriet, Joost; Skyum, Sven 3 1982 A translational theorem for the class of EOL languages. Zbl 0507.68052 Engelfriet, Joost; Rozenberg, Grzegorz 3 1981 Two-way finite state transducers and monadic second-order logic. Zbl 0946.68083 Engelfriet, Joost; Hoogeboom, Hendrik Jan 3 1999 Branching synchronization grammars with nested tables. Zbl 1069.68060 Drewes, Frank; Engelfriet, Joost 3 2004 The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039 Engelfriet, Joost 3 2009 Pushdown automata. Zbl 1088.68089 Hoogeboom, Hendrik Jan; Engelfriet, Joost 3 2004 Regular description of context-free graph languages. Zbl 0869.68063 Engelfriet, Joost; van Oostrom, Vincent 3 1996 Macro grammars, Lindenmayer systems and other copying devices. Zbl 0363.68093 Engelfriet, Joost 3 1977 A hierarchy of tree transducers. Zbl 0386.68070 Engelfriet, Joost 3 1978 XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. Zbl 1464.68165 Engelfriet, Joost; Hoogeboom, Hendrik Jan; Samwel, Bart 5 2021 A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. Zbl 1477.68151 Engelfriet, Joost; Vogler, Heiko 1 2020 Multiple context-free tree grammars: lexicalization and characterization. Zbl 1395.68163 Engelfriet, Joost; Maletti, Andreas; Maneth, Sebastian 1 2018 Composition closure of linear extended top-down tree transducers. Zbl 1369.68252 Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas 2 2017 Multiple context-free tree grammars and multi-component tree adjoining grammars. Zbl 1495.68112 Engelfriet, Joost; Maletti, Andreas 1 2017 Look-ahead removal for total deterministic top-down tree transducers. Zbl 1333.68163 Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 3 2016 Erratum to: “Top-down tree transducers with regular look-ahead”. Zbl 1435.68157 Engelfriet, Joost 1 2016 Two-way pebble transducers for partial functions and their composition. Zbl 1330.68155 Engelfriet, Joost 2 2015 How to remove the look-ahead of top-down tree transducers. Zbl 1298.68132 Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 1 2014 Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104 Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian 4 2013 Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006 Courcelle, Bruno; Engelfriet, Joost 193 2012 Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032 Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut 11 2009 Extended multi bottom-up tree transducers. Zbl 1186.68254 Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 6 2009 The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039 Engelfriet, Joost 3 2009 Extended multi bottom-up tree transducers. Zbl 1161.68523 Engelfriet, Joost; Lilin, Eric; Maletti, Andreas 2 2008 Automata with nested pebbles capture first-order logic with transitive closure. Zbl 1128.03027 Engelfriet, Joost; Hoogeboom, Hendrik Jan 8 2007 An exercise in structural congruence. Zbl 1185.68443 Engelfriet, Joost; Gelsema, Tjalling 2 2007 A Kleene characterization of computability. Zbl 1185.68330 Engelfriet, Joost 2 2007 Finitary compositions of two-way finite-state transductions. Zbl 1137.68422 Engelfriet, Joost; Hoogeboom, Hendrik Jan 1 2007 Finitary compositions of two-way finite-state transductions. Zbl 1128.68046 Engelfriet, Joost; Hoogeboom, Hendrik Jan 1 2007 Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088 Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V. 36 2006 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385 Engelfriet, Joost; Maneth, Sebastian 11 2006 Nested pebbles and transitive closure. Zbl 1136.68417 Engelfriet, Joost; Hoogeboom, Hendrik Jan 2 2006 The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1172.03308 Engelfriet, Joost; Maneth, Sebastian 2 2005 Clique-width for four-vertex forbidden subgraphs. Zbl 1123.68086 Brandstä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.03022 Engelfriet, Joost; Gelsema, Tjalling 14 2004 Branching synchronization grammars with nested tables. Zbl 1069.68060 Drewes, Frank; Engelfriet, Joost 3 2004 Pushdown automata. Zbl 1088.68089 Hoogeboom, Hendrik Jan; Engelfriet, Joost 3 2004 Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090 Engelfriet, Joost; Maneth, Sebastian 21 2003 A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062 Engelfriet, Joost; Maneth, Sebastian 15 2003 Branching grammars: A generalization of ET0L systems. Zbl 1037.68068 Drewes, Frank; Engelfriet, Joost 1 2003 Bottom-up and top-down tree series transformations. Zbl 1019.68056 Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko 14 2002 Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124 Engelfriet, Joost; Maneth, Sebastian 5 2002 Hierarchies of string languages generated by deterministic tree transducers. Zbl 1073.68667 Engelfriet, Joost; Maneth, Sebastian 1 2002 Two-way finite state transducers with nested pebbles. Zbl 1014.68087 Engelfriet, Joost; Maneth, Sebastian 1 2002 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326 Engelfriet, Joost; Hoogeboom, Hendrik Jan 42 2001 Structural inclusion in the pi-calculus with replication. Zbl 0974.68133 Engelfriet, J.; Gelsema, T. 1 2001 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086 Bloem, Roderick; Engelfriet, Joost 28 2000 Tree languages generated by context-free graph grammars. Zbl 0956.68074 Engelfriet, Joost; Maneth, Sebastian 5 2000 Characterizing and deciding MSO-definability of macro tree transductions. Zbl 0962.68092 Engelfriet, Joost; Maneth, Sebastian 2 2000 Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585 Engelfriet, Joost; Maneth, Sebastian 33 1999 Tree-walking pebble automata. Zbl 0944.68108 Engelfriet, Joost; Hoogeboom, Hendrik Jan 17 1999 Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125 Engelfriet, Joost; Gelsema, Tjalling 14 1999 Trips on trees. Zbl 0926.68078 Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal 11 1999 Derivation trees of ground term rewriting systems. Zbl 1045.68580 Engelfriet, Joost 9 1999 Two-way finite state transducers and monadic second-order logic. Zbl 0946.68083 Engelfriet, Joost; Hoogeboom, Hendrik Jan 3 1999 Elementary net systems. Zbl 0926.68082 Rozenberg, Grzegorz; Engelfriet, Joost 36 1998 Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525 Drewes, Frank; Engelfriet, Joost 11 1998 The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526 Engelfriet, Joost; Vogler, Heiko 5 1998 Monotonicity and persistence in preferential logics. Zbl 0894.68135 Engelfriet, J. 1 1998 Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition. Zbl 0927.68068 Engelfriet, Joost; Gelsema, Tjalling 1 1998 Context-free graph grammars and concatenation of graphs. Zbl 0896.68092 Engelfriet, Joost; Vereijken, Jan Joris 17 1997 Logical description of context-free graph languages. Zbl 0897.68061 Engelfriet, Joost; van Oostrom, Vincent 13 1997 Domino treewidth. Zbl 0882.68106 Bodlaender, Hans L.; Engelfriet, Joost 10 1997 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025 Bloem, Roderick; Engelfriet, Joost 8 1997 A multiset semantics for the pi-calculus with replication. Zbl 0872.68125 Engelfriet, Joost 12 1996 Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161 Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. 10 1996 Regular description of context-free graph languages. Zbl 0869.68063 Engelfriet, Joost; van Oostrom, Vincent 3 1996 Finite languages for the representation of finite graphs. Zbl 0846.68080 Ehrenfeucht, Andrzej; Engelfriet, Joost; Rozenberg, Grzegorz 1 1996 Reverse twin shuffles. Zbl 0875.68588 Engelfriet, Joost 1 1996 A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098 Courcelle, B.; Engelfriet, J. 26 1995 Grammatical codes of trees and terminally coded grammars. Zbl 0827.68068 Ehrenfeucht, Andrzej; Engelfriet, Joost; ten Pas, Paulien; Rozenberg, Grzegorz 1 1995 Graph grammars and tree transducers. Zbl 0938.68681 Engelfriet, J. 24 1994 Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102 Engelfriet, Joost; Heyker, Linda; Leih, George 12 1994 Hypergraph languages of bounded degree. Zbl 0802.68073 Engelfriet, Joost; Heyker, Linda 9 1994 The translation power of top-down tree-to-graph transducers. Zbl 0821.68078 Engelfriet, Joost; Vogler, Heiko 9 1994 Handle-rewriting hypergraph grammars. Zbl 0825.68446 Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 149 1993 \(X\)-automata on \(\omega\)-words. Zbl 0777.68058 Engelfriet, Joost; Hoogeboom, Hendrik Jan 23 1993 Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072 Engelfriet, Joost; Heyker, Linda 13 1992 An elementary proof of double Greibach normal form. Zbl 0796.68133 Engelfriet, Joost 7 1992 A Greibach normal form for context-free graph grammars. Zbl 1425.68162 Engelfriet, Joost 6 1992 Branching processes of Petri nets. Zbl 0743.68106 Engelfriet, Joost 64 1991 The string generating power of context-free hypergraph grammars. Zbl 0776.68075 Engelfriet, Joost; Heyker, Linda 20 1991 Iterated stack automata and complexity classes. Zbl 0758.68029 Engelfriet, Joost 19 1991 Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091 Engelfriet, Joost; Rozenberg, Grzegorz 17 1991 A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090 Engelfriet, Joost 16 1991 Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084 Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz 14 1991 Nonterminal separation in graph grammars. Zbl 0727.68059 Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 9 1991 Modular tree transducers. Zbl 0729.68018 Engelfriet, Joost; Vogler, Heiko 8 1991 A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052 Engelfriet, Joost 7 1991 The term generating power of context-free hypergraph grammars. Zbl 0765.68092 Engelfriet, Joost; Heyker, Linda 1 1991 A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067 Engelfriet, Joost; Rozenberg, Grzegorz 32 1990 Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049 Engelfriet, Joost; Leih, George; Welzl, Emo 28 1990 Complexity of boundary graph languages. Zbl 0701.68062 Engelfriet, Joost; Leih, George 12 1990 The complexity of regular DNLC graph languages. Zbl 0694.68045 Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 6 1990 Attribute storage optimization by stacks. Zbl 0674.68046 Engelfriet, Joost; de Jong, Willem 1 1990 Linear graph grammars: Power and complexity. Zbl 0684.68088 Engelfriet, Joost; Leih, George 26 1989 Context-free NCE graph grammars. Zbl 0756.68070 Engelfriet, Joost 20 1989 Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069 Engelfriet, Joost; Filé, Gilberto 5 1989 The power of two-way deterministic checking stack automata. Zbl 0744.68042 Engelfriet, Joost 4 1989 Automata with storage on infinite words. Zbl 0697.68068 Engelfriet, Joost; Hoogeboom, Hendrik Jan 1 1989 High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073 Engelfriet, Joost; Vogler, Heiko 20 1988 Apex graph grammars and attribute grammars. Zbl 0659.68096 Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 16 1988 Nonterminal bounded NLC graph grammars. Zbl 0662.68074 Engelfriet, Joost; Leih, George 6 1988 Look-ahead on pushdowns. Zbl 0625.68063 Engelfriet, Joost; Vogler, Heiko 9 1987 Apex graph grammars. Zbl 0643.68112 Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz 9 1987 Generating strings with hypergraph grammars. Zbl 0638.68079 Engelfriet, Joost 2 1987 Restricting the complexity of regular DNLC languages. Zbl 0643.68111 Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz 2 1987 Pushdown machines for the macro tree transducer. Zbl 0619.68065 Engelfriet, Joost; Vogler, Heiko 28 1986 The complexity of languages generated by attribute grammars. Zbl 0589.68055 Engelfriet, Joost 8 1986 ...and 37 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,139 Authors 71 Engelfriet, Joost 45 Courcelle, Bruno 32 Vogler, Heiko 29 Fülöp, Zoltán 23 Maletti, Andreas 21 Rozenberg, Grzegorz 20 Maneth, Sebastian 19 Paulusma, Daniël 19 Vágvölgyi, Sándor 17 Lozin, Vadim Vladislavovich 16 Drewes, Frank 15 Finkel, Olivier 13 Dabrowski, Konrad Kazimierz 13 Koutny, Maciej 13 Makowsky, Johann-Andreas 11 Brandstädt, Andreas 11 Kleijn, Jetty 11 Seidl, Helmut 10 Bozapalidis, Symeon 10 Heggernes, Pinar 10 Karhumaki, Juhani 10 Meister, Daniel 9 Filiot, Emmanuel 9 Hoàng, Chính T. 9 Reynier, Pierre-Alain 9 Salomaa, Kai T. 8 Ehrenfeucht, Andrzej 8 Golovach, Petr A. 8 Kim, Changwook 8 Rotics, Udi 8 Wanke, Egon 8 Zamaraev, Victor A. 7 Gurski, Frank 7 Haar, Stefan 7 Ibarra, Oscar H. 7 Janicki, Ryszard 7 Krishna, Shankara Narayanan 7 McQuillan, Ian 7 Muscholl, Anca 7 Păun, Gheorghe 7 Skodinis, Konstantin 6 Asveld, Peter R. J. 6 Bodlaender, Hans L. 6 Ésik, Zoltán 6 Fomin, Fedor V. 6 Gastin, Paul 6 Gorrieri, Roberto 6 Kalampakas, Antonios 6 Kanté, Mamadou Moustapha 6 Kühnemann, Armin 6 Leih, George 6 Lohrey, Markus 6 Milanič, Martin 6 Neven, Frank 6 Okhotin, Alexander 6 Papadopoulos, Charis 6 Pilipczuk, Michał 6 Puppis, Gabriele 6 Slutzki, Giora 6 Todinca, Ioan 6 van Glabbeek, Robert Jan 5 Bojańczyk, Mikołaj 5 Brandenburg, Franz-Josef 5 Brignall, Robert 5 Dauchet, Max 5 De Oliveira Oliveira, Mateus 5 Ganian, Robert 5 Harju, Tero 5 Hellmuth, Marc 5 Hliněný, Petr 5 Hoogeboom, Hendrik Jan 5 Khomenko, Victor 5 Lampis, Michael 5 Latteux, Michel 5 Montealegre, Pedro 5 Olderog, Ernst-Rüdiger 5 Paul, Christophe 5 Rahonis, George 5 Rao, Michaël 5 Sénizergues, Géraud 5 Souza, Uéverton S. 5 Szeider, Stefan 5 Vu, Martin 4 Aceto, Luca 4 Arnold, André 4 Baldan, Paolo 4 Bauderon, Michel 4 Bernardinello, Luca 4 Boiret, Adrien 4 Chaplick, Steven 4 Durand, Irène A. 4 Eppstein, David Arthur 4 Foley, Angèle M. 4 Grohe, Martin 4 Heyker, Linda 4 Huang, Shenwei 4 König, Barbara 4 Korpelainen, Nicholas 4 Kratsch, Dieter 4 Maffray, Frédéric ...and 1,039 more Authors all top 5 Cited in 95 Serials 212 Theoretical Computer Science 65 Information and Computation 60 Journal of Computer and System Sciences 59 Discrete Applied Mathematics 38 Acta Informatica 34 Information Processing Letters 33 International Journal of Foundations of Computer Science 21 Algorithmica 17 Mathematical Systems Theory 16 Theory of Computing Systems 13 Logical Methods in Computer Science 11 European Journal of Combinatorics 11 SIAM Journal on Discrete Mathematics 10 Discrete Mathematics 9 International Journal of Computer Mathematics 8 RAIRO. Theoretical Informatics and Applications 8 ACM Transactions on Computational Logic 7 Journal of Combinatorial Theory. Series B 7 MSCS. Mathematical Structures in Computer Science 7 Fundamenta Informaticae 7 Journal of Logical and Algebraic Methods in Programming 6 RAIRO. Informatique Théorique et Applications 6 RAIRO. Theoretical Informatics and Applications 5 Information Sciences 5 RAIRO, Informatique Théorique 5 Annals of Pure and Applied Logic 5 Journal of Logic, Language and Information 4 Artificial Intelligence 4 Journal of Graph Theory 4 Formal Aspects of Computing 4 The Journal of Logic and Algebraic Programming 3 SIAM Journal on Computing 3 Graphs and Combinatorics 3 Discrete Event Dynamic Systems 3 Formal Methods in System Design 3 The Electronic Journal of Combinatorics 3 Discrete Mathematics and Theoretical Computer Science. DMTCS 3 Higher-Order and Symbolic Computation 3 Journal of Applied Logic 3 Computer Science Review 2 Journal of Algebra 2 Kybernetes 2 Programming and Computer Software 2 Semigroup Forum 2 Annals of Operations Research 2 Archive for Mathematical Logic 2 Mathematical Logic Quarterly (MLQ) 2 The Bulletin of Symbolic Logic 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Combinatorial Optimization 2 Journal of Graph Algorithms and Applications 2 Natural Computing 1 Communications in Algebra 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 Combinatorial Theory. Series A 1 The Journal of Symbolic Logic 1 Kybernetika 1 Networks 1 Results in Mathematics 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 Computational and Applied Mathematics 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 Dynamics in Nature and Society 1 Journal of the Australian Mathematical Society 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 4OR 1 Discrete Optimization 1 Contributions to Discrete Mathematics 1 Optimization Letters 1 Analele Universității de Vest din Timișoara. Seria Matematică-Informatică 1 Algorithms 1 ACM Transactions on Algorithms 1 Moscow Journal of Combinatorics and Number Theory 1 Enumerative Combinatorics and Applications all top 5 Cited in 27 Fields 897 Computer science (68-XX) 251 Combinatorics (05-XX) 171 Mathematical logic and foundations (03-XX) 24 Group theory and generalizations (20-XX) 19 Operations research, mathematical programming (90-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Biology and other natural sciences (92-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 9 General algebraic systems (08-XX) 9 Category theory; homological algebra (18-XX) 8 Systems theory; control (93-XX) 7 Associative rings and algebras (16-XX) 5 General and overarching topics; collections (00-XX) 4 Information and communication theory, circuits (94-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) 1 Statistics (62-XX) Citations by Year