×

zbMATH — the first resource for mathematics

Engelfriet, Joost

Compute Distance To:
Author ID: engelfriet.joost Recent zbMATH articles by "Engelfriet, Joost"
Published as: Engelfriet, J.; Engelfriet, Joost
Homepage: http://liacs.leidenuniv.nl/~engelfrietj/
External Links: MGP · Wikidata · dblp
Documents Indexed: 150 Publications since 1972, including 3 Books

Publications by Year

Citations contained in zbMATH

129 Publications have been cited 1,684 times in 785 Documents Cited by Year
Handle-rewriting hypergraph grammars. Zbl 0825.68446
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
126
1993
Bottom-up and top-down tree transformation - a comparison. Zbl 0335.68061
Engelfriet, Joost
104
1975
Graph structure and monadic second-order logic. A language-theoretic approach. Zbl 1257.68006
Courcelle, Bruno; Engelfriet, Joost
102
2012
Tree transducers, L systems, and two-way machines. Zbl 0426.68075
Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora
57
1980
Top-down tree transducers with regular look-ahead. Zbl 0369.68048
Engelfriet, Joost
56
1977
Macro tree transducers. Zbl 0588.68039
Engelfriet, Joost; Vogler, Heiko
50
1985
Branching processes of Petri nets. Zbl 0743.68106
Engelfriet, Joost
46
1991
IO and OI. II. Zbl 0371.68020
Engelfriet, Joost; Schmidt, Erik Meineche
46
1978
IO and OI. I. Zbl 0366.68053
Engelfriet, Joost; Schmidt, Erik Meineche
43
1977
Fixed point languages, equality languages, and representation of recursively enumerable languages. Zbl 0475.68047
Engelfriet, J.; Rozenberg, G.
32
1980
A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067
Engelfriet, Joost; Rozenberg, Grzegorz
30
1990
Three hierarchies of transducers. Zbl 0509.68078
Engelfriet, Joost
29
1982
Linear graph grammars: Power and complexity. Zbl 0684.68088
Engelfriet, Joost; Leih, George
27
1989
Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049
Engelfriet, Joost; Leih, George; Welzl, Emo
26
1990
Macro tree transducers, attribute grammars, and MSO definable tree translations. Zbl 1045.68585
Engelfriet, Joost; Maneth, Sebastian
25
1999
Pushdown machines for the macro tree transducer. Zbl 0619.68065
Engelfriet, Joost; Vogler, Heiko
25
1986
Elementary net systems. Zbl 0926.68082
Rozenberg, Grzegorz; Engelfriet, Joost
23
1998
Clique-width for 4-vertex forbidden subgraphs. Zbl 1103.68088
Brandstädt, Andreas; Engelfriet, Joost; Le, Hoang-Oanh; Lozin, Vadim V.
22
2006
A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086
Bloem, Roderick; Engelfriet, Joost
22
2000
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
22
1995
MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326
Engelfriet, Joost; Hoogeboom, Hendrik Jan
21
2001
\(X\)-automata on \(\omega\)-words. Zbl 0777.68058
Engelfriet, Joost; Hoogeboom, Hendrik Jan
21
1993
On tree transducers for partial functions. Zbl 0379.94066
Engelfriet, Joost
20
1978
The string generating power of context-free hypergraph grammars. Zbl 0776.68075
Engelfriet, Joost; Heyker, Linda
19
1991
Context-free NCE graph grammars. Zbl 0756.68070
Engelfriet, Joost
19
1989
Graph grammars and tree transducers. Zbl 0938.68681
Engelfriet, J.
17
1994
High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073
Engelfriet, Joost; Vogler, Heiko
17
1988
Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090
Engelfriet, Joost; Maneth, Sebastian
16
2003
Context-free graph grammars and concatenation of graphs. Zbl 0896.68092
Engelfriet, Joost; Vereijken, Jan Joris
16
1997
Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091
Engelfriet, Joost; Rozenberg, Grzegorz
16
1991
Apex graph grammars and attribute grammars. Zbl 0659.68096
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz
16
1988
The formal power of one-visit attribute grammars. Zbl 0471.68044
Engelfriet, Joost; File, Gilberto
16
1981
Tree-walking pebble automata. Zbl 0944.68108
Engelfriet, Joost; Hoogeboom, Hendrik Jan
15
1999
Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). Zbl 0571.68018
Engelfriet, Joost
15
1985
Logical description of context-free graph languages. Zbl 0897.68061
Engelfriet, Joost; van Oostrom, Vincent
14
1997
Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
14
1991
Iterated stack automata and complexity classes. Zbl 0758.68029
Engelfriet, Joost
14
1991
The complexity of languages generated by attribute grammars. Zbl 0589.68055
Engelfriet, Joost
14
1986
A new natural structural congruence in the pi-calculus with replication. Zbl 1057.03022
Engelfriet, Joost; Gelsema, Tjalling
13
2004
A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090
Engelfriet, Joost
13
1991
Stack machines and classes of nonnested macro languages. Zbl 0428.68087
Engelfriet, Joost; Schmidt, Erik Meineche; van Leeuwen, Jan
13
1980
Equality languages and fixed point languages. Zbl 0422.68034
Engelfriet, Joost; Rozenberg, Grzegorz
13
1979
A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062
Engelfriet, Joost; Maneth, Sebastian
12
2003
Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125
Engelfriet, Joost; Gelsema, Tjalling
12
1999
A multiset semantics for the pi-calculus with replication. Zbl 0872.68125
Engelfriet, Joost
12
1996
Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072
Engelfriet, Joost; Heyker, Linda
12
1992
Simple program schemes and formal languages. Zbl 0288.68030
Engelfriet, Joost
12
1974
Complexity of boundary graph languages. Zbl 0701.68062
Engelfriet, Joost; Leih, George
11
1990
Copying theorems. Zbl 0323.68051
Engelfriet, Joost; Skyum, Sven
11
1976
Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525
Drewes, Frank; Engelfriet, Joost
10
1998
Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102
Engelfriet, Joost; Heyker, Linda; Leih, George
10
1994
Nonterminal separation in graph grammars. Zbl 0727.68059
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz
10
1991
Apex graph grammars. Zbl 0643.68112
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz
10
1987
Trips on trees. Zbl 0926.68078
Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal
9
1999
Domino treewidth. Zbl 0882.68106
Bodlaender, Hans L.; Engelfriet, Joost
9
1997
Hypergraph languages of bounded degree. Zbl 0802.68073
Engelfriet, Joost; Heyker, Linda
9
1994
Look-ahead on pushdowns. Zbl 0625.68063
Engelfriet, Joost; Vogler, Heiko
9
1987
Extended macro grammars and stack controlled machines. Zbl 0575.68081
Engelfriet, Joost; Slutzki, Giora
9
1984
Simple multi-visit attribute grammars. Zbl 0524.68048
Engelfriet, Joost; File, Gilberto
9
1982
Surface tree languages and parallel derivation trees. Zbl 0346.68040
Engelfriet, Joost
9
1976
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385
Engelfriet, Joost; Maneth, Sebastian
8
2006
Bottom-up and top-down tree series transformations. Zbl 1019.68056
Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko
8
2002
Derivation trees of ground term rewriting systems. Zbl 1045.68580
Engelfriet, Joost
8
1999
The translation power of top-down tree-to-graph transducers. Zbl 0821.68078
Engelfriet, Joost; Vogler, Heiko
8
1994
Nonterminal bounded NLC graph grammars. Zbl 0662.68074
Engelfriet, Joost; Leih, George
8
1988
Bounded nesting in macro grammars. Zbl 0453.68051
Engelfriet, Joost; Slutzki, Giora
8
1979
Two-way automata and checking automata. Zbl 0423.68035
Engelfriet, J.
8
1979
Characterization and complexity of uniformly nonprimitive labeled 2-structures. Zbl 0873.68161
Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G.
7
1996
The complexity of regular DNLC graph languages. Zbl 0694.68045
Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz
7
1990
Tree transducers and syntax-directed semantics. Zbl 0539.68075
Engelfriet, Joost
7
1982
Extended multi bottom-up tree transducers. Zbl 1186.68254
Engelfriet, Joost; Lilin, Eric; Maletti, Andreas
6
2009
Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
6
2009
Automata with nested pebbles capture first-order logic with transitive closure. Zbl 1128.03027
Engelfriet, Joost; Hoogeboom, Hendrik Jan
6
2007
Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025
Bloem, Roderick; Engelfriet, Joost
6
1997
An elementary proof of double Greibach normal form. Zbl 0796.68133
Engelfriet, Joost
6
1992
A hierarchy of tree transducers. Zbl 0386.68070
Engelfriet, Joost
6
1978
Tree languages generated by context-free graph grammars. Zbl 0956.68074
Engelfriet, Joost; Maneth, Sebastian
5
2000
Modular tree transducers. Zbl 0729.68018
Engelfriet, Joost; Vogler, Heiko
5
1991
Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069
Engelfriet, Joost; Filé, Gilberto
5
1989
Tree transducers, \(L\) systems and two-way machines (extended abstract). Zbl 1282.68154
Engelfriet, J.; Rozenberg, G.; Slutzki, G.
5
1978
Iterated deterministic-substitution. Zbl 0343.68034
Asveld, Peter R. J.; Engelfriet, Joost
5
1977
Composition closure of linear extended top-down tree transducers. Zbl 1369.68252
Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas
4
2017
Determinacy and rewriting of top-down and MSO tree transformations. Zbl 1398.68104
Benedikt, Michael; Engelfriet, Joost; Maneth, Sebastian
4
2013
A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052
Engelfriet, Joost
4
1991
Characterization of high level tree transducers. Zbl 0602.68076
Engelfriet, Joost; Vogler, Heiko
4
1985
Passes and paths of attribute grammars. Zbl 0471.68045
Engelfriet, Joost; File, Gilberto
4
1981
Extended linear macro grammars, iteration grammars, and register programs. Zbl 0382.68061
Asveld, Peter R. J.; Engelfriet, Joost
4
1979
A note on infinite trees. Zbl 0251.68041
Engelfriet, Joost
4
1972
Pushdown automata. Zbl 1088.68089
Hoogeboom, Hendrik Jan; Engelfriet, Joost
3
2004
Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124
Engelfriet, Joost; Maneth, Sebastian
3
2002
The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526
Engelfriet, Joost; Vogler, Heiko
3
1998
Regular description of context-free graph languages. Zbl 0869.68063
Engelfriet, Joost; van Oostrom, Vincent
3
1996
The term generating power of context-free hypergraph grammars. Zbl 0765.68092
Engelfriet, Joost; Heyker, Linda
3
1991
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
Macro grammars, Lindenmayer systems and other copying devices. Zbl 0363.68093
Engelfriet, Joost
3
1977
The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039
Engelfriet, Joost
2
2009
Extended multi bottom-up tree transducers. Zbl 1161.68523
Engelfriet, Joost; Lilin, Eric; Maletti, Andreas
2
2008
An exercise in structural congruence. Zbl 1185.68443
Engelfriet, Joost; Gelsema, Tjalling
2
2007
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1172.03308
Engelfriet, Joost; Maneth, Sebastian
2
2005
Composition closure of linear extended top-down tree transducers. Zbl 1369.68252
Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas
4
2017
Multiple context-free tree grammars and multi-component tree adjoining grammars. Zbl 06810956
Engelfriet, Joost; Maletti, Andreas
1
2017
Erratum to: “Top-down tree transducers with regular look-ahead”. Zbl 1435.68157
Engelfriet, Joost
1
2016
Look-ahead removal for total deterministic top-down tree transducers. Zbl 1333.68163
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
1
2016
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
102
2012
Extended multi bottom-up tree transducers. Zbl 1186.68254
Engelfriet, Joost; Lilin, Eric; Maletti, Andreas
6
2009
Deciding equivalence of top-down XML transformations in polynomial time. Zbl 1167.68032
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut
6
2009
The time complexity of typechecking tree-walking tree transducers. Zbl 1165.68039
Engelfriet, Joost
2
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
6
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
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.
22
2006
The equivalence problem for deterministic MSO tree transducers is decidable. Zbl 1185.68385
Engelfriet, Joost; Maneth, Sebastian
8
2006
Nested pebbles and transitive closure. Zbl 1136.68417
Engelfriet, Joost; Hoogeboom, Hendrik Jan
1
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
13
2004
Pushdown automata. Zbl 1088.68089
Hoogeboom, Hendrik Jan; Engelfriet, Joost
3
2004
Branching synchronization grammars with nested tables. Zbl 1069.68060
Drewes, Frank; Engelfriet, Joost
2
2004
Macro tree translations of linear size increase are MSO definable. Zbl 1029.68090
Engelfriet, Joost; Maneth, Sebastian
16
2003
A comparison of pebble tree transducers with macro tree transducers. Zbl 1060.68062
Engelfriet, Joost; Maneth, Sebastian
12
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
8
2002
Output string languages of compositions of deterministic macro tree transducers. Zbl 1013.68124
Engelfriet, Joost; Maneth, Sebastian
3
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
21
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
22
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
25
1999
Tree-walking pebble automata. Zbl 0944.68108
Engelfriet, Joost; Hoogeboom, Hendrik Jan
15
1999
Multisets and structural congruence of the pi-calculus with replication. Zbl 0912.68125
Engelfriet, Joost; Gelsema, Tjalling
12
1999
Trips on trees. Zbl 0926.68078
Engelfriet, Joost; Hoogeboom, Hendrik Jan; Van Best, Jan-Pascal
9
1999
Derivation trees of ground term rewriting systems. Zbl 1045.68580
Engelfriet, Joost
8
1999
Elementary net systems. Zbl 0926.68082
Rozenberg, Grzegorz; Engelfriet, Joost
23
1998
Decidability of the finiteness of ranges of tree transductions. Zbl 1034.68525
Drewes, Frank; Engelfriet, Joost
10
1998
The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526
Engelfriet, Joost; Vogler, Heiko
3
1998
Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition. Zbl 0927.68068
Engelfriet, Joost; Gelsema, Tjalling
1
1998
Monotonicity and persistence in preferential logics. Zbl 0894.68135
Engelfriet, J.
1
1998
Context-free graph grammars and concatenation of graphs. Zbl 0896.68092
Engelfriet, Joost; Vereijken, Jan Joris
16
1997
Logical description of context-free graph languages. Zbl 0897.68061
Engelfriet, Joost; van Oostrom, Vincent
14
1997
Domino treewidth. Zbl 0882.68106
Bodlaender, Hans L.; Engelfriet, Joost
9
1997
Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025
Bloem, Roderick; Engelfriet, Joost
6
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.
7
1996
Regular description of context-free graph languages. Zbl 0869.68063
Engelfriet, Joost; van Oostrom, Vincent
3
1996
Reverse twin shuffles. Zbl 0875.68588
Engelfriet, Joost
1
1996
Finite languages for the representation of finite graphs. Zbl 0846.68080
Ehrenfeucht, Andrzej; Engelfriet, Joost; Rozenberg, Grzegorz
1
1996
A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. Zbl 0830.68098
Courcelle, B.; Engelfriet, J.
22
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.
17
1994
Context-free graph languages of bounded degree are generated by apex graph grammars. Zbl 0818.68102
Engelfriet, Joost; Heyker, Linda; Leih, George
10
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
8
1994
Handle-rewriting hypergraph grammars. Zbl 0825.68446
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
126
1993
\(X\)-automata on \(\omega\)-words. Zbl 0777.68058
Engelfriet, Joost; Hoogeboom, Hendrik Jan
21
1993
Context-free hypergraph grammars have the same term-generating power as attribute grammars. Zbl 0769.68072
Engelfriet, Joost; Heyker, Linda
12
1992
An elementary proof of double Greibach normal form. Zbl 0796.68133
Engelfriet, Joost
6
1992
Branching processes of Petri nets. Zbl 0743.68106
Engelfriet, Joost
46
1991
The string generating power of context-free hypergraph grammars. Zbl 0776.68075
Engelfriet, Joost; Heyker, Linda
19
1991
Graph grammars based on node rewriting: An introduction to NLC graph grammars. Zbl 0765.68091
Engelfriet, Joost; Rozenberg, Grzegorz
16
1991
Context-free handle-rewriting hypergraph grammars. Zbl 0765.68084
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz
14
1991
Iterated stack automata and complexity classes. Zbl 0758.68029
Engelfriet, Joost
14
1991
A characterization of context-free NCE graph languages by monadic second- order logic on trees. Zbl 0765.68090
Engelfriet, Joost
13
1991
Nonterminal separation in graph grammars. Zbl 0727.68059
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz
10
1991
Modular tree transducers. Zbl 0729.68018
Engelfriet, Joost; Vogler, Heiko
5
1991
A regular characterization of graph languages definable in monadic second-order logic. Zbl 0739.68052
Engelfriet, Joost
4
1991
The term generating power of context-free hypergraph grammars. Zbl 0765.68092
Engelfriet, Joost; Heyker, Linda
3
1991
A comparison of boundary graph grammars and context-free hypergraph grammars. Zbl 0706.68067
Engelfriet, Joost; Rozenberg, Grzegorz
30
1990
Boundary graph grammars with dynamic edge relabeling. Zbl 0694.68049
Engelfriet, Joost; Leih, George; Welzl, Emo
26
1990
Complexity of boundary graph languages. Zbl 0701.68062
Engelfriet, Joost; Leih, George
11
1990
The complexity of regular DNLC graph languages. Zbl 0694.68045
Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz
7
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
27
1989
Context-free NCE graph grammars. Zbl 0756.68070
Engelfriet, Joost
19
1989
Passes, sweeps, and visits in attribute grammars. Zbl 0697.68069
Engelfriet, Joost; Filé, Gilberto
5
1989
Automata with storage on infinite words. Zbl 0697.68068
Engelfriet, Joost; Hoogeboom, Hendrik Jan
2
1989
The power of two-way deterministic checking stack automata. Zbl 0744.68042
Engelfriet, Joost
1
1989
High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073
Engelfriet, Joost; Vogler, Heiko
17
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
8
1988
Apex graph grammars. Zbl 0643.68112
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz
10
1987
Look-ahead on pushdowns. Zbl 0625.68063
Engelfriet, Joost; Vogler, Heiko
9
1987
Restricting the complexity of regular DNLC languages. Zbl 0643.68111
Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz
2
1987
Generating strings with hypergraph grammars. Zbl 0638.68079
Engelfriet, Joost
2
1987
Pushdown machines for the macro tree transducer. Zbl 0619.68065
Engelfriet, Joost; Vogler, Heiko
25
1986
The complexity of languages generated by attribute grammars. Zbl 0589.68055
Engelfriet, Joost
14
1986
The ETOL hierarchy is in the OI-hierarchy. Zbl 0586.68069
Engelfriet, Joost
1
1986
Macro tree transducers. Zbl 0588.68039
Engelfriet, Joost; Vogler, Heiko
50
1985
Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). Zbl 0571.68018
Engelfriet, Joost
15
1985
Characterization of high level tree transducers. Zbl 0602.68076
Engelfriet, Joost; Vogler, Heiko
4
1985
Hierarchies of hyper-AFLs. Zbl 0565.68072
Engelfriet, Joost
2
1985
Extended macro grammars and stack controlled machines. Zbl 0575.68081
Engelfriet, Joost; Slutzki, Giora
9
1984
Regular characterizations of macro tree transducers. Zbl 0544.68053
Engelfriet, Joost; Vogler, Heiko
1
1984
...and 29 more Documents
all top 5

Cited by 881 Authors

67 Engelfriet, Joost
39 Courcelle, Bruno
29 Fülöp, Zoltán
25 Vogler, Heiko
21 Rozenberg, Grzegorz
18 Vágvölgyi, Sándor
17 Maneth, Sebastian
14 Lozin, Vadim Vladislavovich
14 Maletti, Andreas
14 Paulusma, Daniël
13 Finkel, Olivier
11 Drewes, Frank
11 Makowsky, Johann-Andreas
10 Bozapalidis, Symeon
10 Brandstädt, Andreas
10 Koutny, Maciej
9 Dabrowski, Konrad Kazimierz
9 Heggernes, Pinar
9 Karhumaki, Juhani
9 Meister, Daniel
8 Ehrenfeucht, Andrzej
8 Kim, Changwook
8 Rotics, Udi
8 Salomaa, Kai T.
7 Golovach, Petr A.
7 Seidl, Helmut
7 Wanke, Egon
6 Asveld, Peter R. J.
6 Fomin, Fedor V.
6 Kanté, Mamadou Moustapha
6 Kleijn, Jetty H. C. M.
6 Leih, George
6 Lohrey, Markus
6 Neven, Frank
6 Păun, Gheorghe
6 Reynier, Pierre-Alain
6 Skodinis, Konstantin
6 Slutzki, Giora
5 Arnold, André
5 Dauchet, Max
5 Ésik, Zoltán
5 Filiot, Emmanuel
5 Ganian, Robert
5 Haar, Stefan
5 Hliněný, Petr
5 Kalampakas, Antonios
5 Khomenko, Victor
5 Latteux, Michel
5 Papadopoulos, Charis
5 Paul, Christophe
5 Rahonis, George
5 Rao, Michaël
5 Szeider, Stefan
5 van Glabbeek, Robert Jan
5 Zamaraev, Victor A.
4 Aceto, Luca
4 Bodlaender, Hans L.
4 Brandenburg, Franz-Josef
4 Gastin, Paul
4 Gurski, Frank
4 Harju, Tero
4 Heyker, Linda
4 Hoogeboom, Hendrik Jan
4 Kleijn, H. C. M.
4 König, Barbara
4 Korpelainen, Nicholas
4 Kratsch, Dieter
4 Kühnemann, Armin
4 Kwon, Ojoung
4 Maffray, Frédéric
4 Mosca, Raffaele
4 Obdržálek, Jan
4 Okhotin, Alexander
4 Pinna, G. Michele
4 Rossmanith, Peter
4 Saoudi, Ahmed
4 Schwentick, Thomas
4 Sénizergues, Géraud
4 Telle, Jan Arne
4 Todinca, Ioan
4 Vanherpe, Jean-Marie
4 Vogler, Walter
3 Alur, Rajeev
3 Baldan, Paolo
3 Bauderon, Michel
3 Bloom, Stephen L.
3 Blumensath, Achim
3 Bonomo, Flavia
3 Brignall, Robert
3 Chang, Maw-Shang
3 Corradini, Andrea
3 Dányi, Gábor
3 Dassow, Jürgen
3 Downey, Rodney Graham
3 Durand, Irène A.
3 Fabre, Eric
3 Gazdag, Zsolt
3 Gelsema, Tjalling
3 Gorrieri, Roberto
3 Hellmuth, Marc
...and 781 more Authors
all top 5

Cited in 81 Serials

192 Theoretical Computer Science
59 Journal of Computer and System Sciences
56 Discrete Applied Mathematics
51 Information and Computation
35 Acta Informatica
33 Information Processing Letters
24 International Journal of Foundations of Computer Science
17 Mathematical Systems Theory
16 Theory of Computing Systems
12 Algorithmica
9 Discrete Mathematics
9 International Journal of Computer Mathematics
8 European Journal of Combinatorics
8 SIAM Journal on Discrete Mathematics
8 RAIRO. Theoretical Informatics and Applications
7 RAIRO. Informatique Théorique et Applications
6 MSCS. Mathematical Structures in Computer Science
6 Logical Methods in Computer Science
6 Journal of Logical and Algebraic Methods in Programming
5 Information Sciences
5 Journal of Combinatorial Theory. Series B
5 RAIRO, Informatique Théorique
5 Annals of Pure and Applied Logic
5 Journal of Logic, Language and Information
5 ACM Transactions on Computational Logic
4 Formal Aspects of Computing
4 The Journal of Logic and Algebraic Programming
4 RAIRO. Theoretical Informatics and Applications
3 Artificial Intelligence
3 SIAM Journal on Computing
3 Discrete Event Dynamic Systems
3 Higher-Order and Symbolic Computation
3 Journal of Applied Logic
3 Computer Science Review
2 Kybernetes
2 Programming and Computer Software
2 Archive for Mathematical Logic
2 Formal Methods in System Design
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
2 Journal of Graph Algorithms and Applications
2 Natural Computing
1 Journal of Mathematical Analysis and Applications
1 Journal of Mathematical Biology
1 Algebra Universalis
1 Automatica
1 BIT
1 Fuzzy Sets and Systems
1 International Journal of Computer & Information Sciences
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series A
1 Journal of Graph Theory
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 Kybernetika
1 Networks
1 Semigroup Forum
1 Cybernetics
1 Science of Computer Programming
1 Operations Research Letters
1 Order
1 Graphs and Combinatorics
1 Journal of Automated Reasoning
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 Linear Algebra and its Applications
1 Distributed Computing
1 Mathematical Logic Quarterly (MLQ)
1 Journal of Functional Programming
1 International Transactions in Operational Research
1 Mathematical Problems in Engineering
1 Soft Computing
1 Annals of Combinatorics
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Discrete Dynamics in Nature and Society
1 Journal of Applied Mathematics
1 Computer Languages, Systems & Structures
1 4OR
1 Discrete Optimization
1 Optimization Letters
1 Algorithms

Citations by Year

Wikidata Timeline