×
Author ID: engelfriet.joost Recent zbMATH articles by "Engelfriet, Joost"
Published as: Engelfriet, Joost; Engelfriet, J.
Homepage: http://liacs.leidenuniv.nl/~engelfrietj/
External Links: MGP · dblp

Publications by Year

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 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

Citations by Year