2009 | ||
---|---|---|
135 | EE | Joost Engelfriet, Sebastian Maneth, Helmut Seidl: Deciding equivalence of top-down XML transformations in polynomial time. J. Comput. Syst. Sci. 75(5): 271-286 (2009) |
2008 | ||
134 | EE | Joost Engelfriet, Eric Lilin, Andreas Maletti: Extended Multi Bottom-Up Tree Transducers. Developments in Language Theory 2008: 289-300 |
2007 | ||
133 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samwel: XML transformation by tree-walking transducers with invisible pebbles. PODS 2007: 63-72 |
132 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure CoRR abs/cs/0703079: (2007) |
131 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: Finitary Compositions of Two-way Finite-State Transductions. Fundam. Inform. 80(1-3): 111-123 (2007) |
130 | EE | Joost Engelfriet, Tjalling Gelsema: An exercise in structural congruence. Inf. Process. Lett. 101(1): 1-5 (2007) |
129 | EE | Joost Engelfriet: A Kleene characterization of computability. Inf. Process. Lett. 101(4): 139-140 (2007) |
128 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure. Logical Methods in Computer Science 3(2): (2007) |
2006 | ||
127 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: Nested Pebbles and Transitive Closure. STACS 2006: 477-488 |
126 | EE | Joost Engelfriet, Sebastian Maneth: The equivalence problem for deterministic MSO tree transducers is decidable. Inf. Process. Lett. 100(5): 206-212 (2006) |
125 | EE | Andreas Brandstädt, Joost Engelfriet, Hoàng-Oanh Le, Vadim V. Lozin: Clique-Width for 4-Vertex Forbidden Subgraphs. Theory Comput. Syst. 39(4): 561-590 (2006) |
2005 | ||
124 | EE | Andreas Brandstädt, Joost Engelfriet, Hoàng-Oanh Le, Vadim V. Lozin: Clique-Width for Four-Vertex Forbidden Subgraphs. FCT 2005: 185-196 |
123 | EE | Joost Engelfriet, Sebastian Maneth: The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable. FSTTCS 2005: 495-504 |
122 | EE | Joost Engelfriet, Sebastian Maneth: The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable CoRR abs/cs/0506014: (2005) |
2004 | ||
121 | EE | Joost Engelfriet, Tjalling Gelsema: A new natural structural congruence in the pi-calculus with replication. Acta Inf. 40(6-7): 385-430 (2004) |
120 | EE | Frank Drewes, Joost Engelfriet: Branching synchronization grammars with nested tables. J. Comput. Syst. Sci. 68(3): 611-656 (2004) |
2003 | ||
119 | EE | Frank Drewes, Joost Engelfriet: Branching Grammars: A Generalization of ET0L Systems. Developments in Language Theory 2003: 266-278 |
118 | EE | Joost Engelfriet, Sebastian Maneth: A comparison of pebble tree transducers with macro tree transducers. Acta Inf. 39(9): 613-698 (2003) |
117 | EE | Joost Engelfriet, Sebastian Maneth: Macro Tree Translations of Linear Size Increase are MSO Definable. SIAM J. Comput. 32(4): 950-1006 (2003) |
2002 | ||
116 | EE | Joost Engelfriet: The Delta Operation: From Strings to Trees to Strings. Formal and Natural Computing 2002: 39-56 |
115 | EE | Joost Engelfriet, Sebastian Maneth: Two-Way Finite State Transducers with Nested Pebbles. MFCS 2002: 234-244 |
114 | EE | Joost Engelfriet, Sebastian Maneth: Output String Languages of Compositions of Deterministic Macro Tree Transducers. J. Comput. Syst. Sci. 64(2): 350-395 (2002) |
113 | Joost Engelfriet, Zoltán Fülöp, Heiko Vogler: Bottom-Up and Top-Down Tree Series Transformations. Journal of Automata, Languages and Combinatorics 7(1): 11-70 (2002) | |
2001 | ||
112 | EE | Joost Engelfriet, Sebastian Maneth: Hierarchies of String Languages Generated by Deterministic Tree Transducers. Developments in Language Theory 2001: 228-238 |
111 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: MSO definable string transductions and two-way finite-state transducers. ACM Trans. Comput. Log. 2(2): 216-254 (2001) |
110 | EE | Joost Engelfriet, Tjalling Gelsema: Structural inclusion in the pi-calculus with replication. Theor. Comput. Sci. 258(1-2): 131-168 (2001) |
2000 | ||
109 | EE | Joost Engelfriet, Sebastian Maneth: Characterizing and Deciding MSO-Definability of Macro Tree Transductions. STACS 2000: 542-554 |
108 | Roderick Bloem, Joost Engelfriet: A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. J. Comput. Syst. Sci. 61(1): 1-50 (2000) | |
1999 | ||
107 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: Two-Way Finite State Transducers and Monadic Second-Order Logic. ICALP 1999: 311-320 |
106 | Joost Engelfriet, Hendrik Jan Hoogeboom: Tree-Walking Pebble Automata. Jewels are Forever 1999: 72-83 | |
105 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom, Jan-Pascal Van Best: Trips on Trees. Acta Cybern. 14(1): 51-64 (1999) |
104 | EE | Joost Engelfriet, Hendrik Jan Hoogeboom: MSO definable string transductions and two-way finite state transducers CoRR cs.LO/9906007: (1999) |
103 | Joost Engelfriet: Derivation Trees of Ground Term Rewriting Systems. Inf. Comput. 152(1): 1-15 (1999) | |
102 | Joost Engelfriet, Sebastian Maneth: Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations. Inf. Comput. 154(1): 34-91 (1999) | |
101 | EE | Joost Engelfriet, Tjalling Gelsema: Multisets and Structural Congruence of the pi-Calculus with Replication. Theor. Comput. Sci. 211(1-2): 311-337 (1999) |
1998 | ||
100 | Joost Engelfriet, Sebastian Maneth: Tree Languages Generated be Context-Free Graph Grammars. TAGT 1998: 15-29 | |
99 | EE | Joost Engelfriet, Tjalling Gelsema: Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition. Acta Inf. 35(12): 1075-1096 (1998) |
98 | Frank Drewes, Joost Engelfriet: Decidability of the Finiteness of Ranges of Tree Transductions. Inf. Comput. 145(1): 1-50 (1998) | |
97 | Joost Engelfriet, Heiko Vogler: The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers. J. Comput. Syst. Sci. 56(3): 332-356 (1998) | |
1997 | ||
96 | Joost Engelfriet, Grzegorz Rozenberg: Node Replacement Graph Grammars. Handbook of Graph Grammars 1997: 1-94 | |
95 | Roderick Bloem, Joost Engelfriet: Monadic Second Order Logic and Node Relations on Graphs and Trees. Structures in Logic and Computer Science 1997: 144-161 | |
94 | EE | Joost Engelfriet, Jan Joris Vereijken: Context-Free Graph Grammars and Concatenation of Graphs. Acta Inf. 34(10): 773-803 (1997) |
93 | Hans L. Bodlaender, Joost Engelfriet: Domino Treewidth. J. Algorithms 24(1): 94-123 (1997) | |
92 | Joost Engelfriet, Vincent van Oostrom: Logical Description of Contex-Free Graph Languages. J. Comput. Syst. Sci. 55(3): 489-503 (1997) | |
1996 | ||
91 | Grzegorz Rozenberg, Joost Engelfriet: Elementary Net Systems. Petri Nets 1996: 12-121 | |
90 | Joost Engelfriet: Reverse Twin Shuffles. Bulletin of the EATCS 60: 144 (1996) | |
89 | Andrzej Ehrenfeucht, Joost Engelfriet, Grzegorz Rozenberg: Finite Languages for the Representation of Finite Graphs. J. Comput. Syst. Sci. 52(1): 170-184 (1996) | |
88 | Joost Engelfriet, Vincent van Oostrom: Regular Description of Context-Free Graph Languages. J. Comput. Syst. Sci. 53(3): 556-574 (1996) | |
87 | EE | Joost Engelfriet: A Multiset Semantics for the pi-Calculus with Replication. Theor. Comput. Sci. 153(1&2): 65-94 (1996) |
86 | EE | Joost Engelfriet, Tero Harju, Andrzej Proskurowski, Grzegorz Rozenberg: Characterization and Complexity of Uniformly Non Primitive Labeled 2-Structures. Theor. Comput. Sci. 154(2): 247-282 (1996) |
1995 | ||
85 | Andrzej Ehrenfeucht, Joost Engelfriet, Paulien ten Pas, Grzegorz Rozenberg: Grammatical Codes of Trees and Terminally Coded Grammars. Fundam. Inform. 23(1): 1-32 (1995) | |
84 | Bruno Courcelle, Joost Engelfriet: A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars. Mathematical Systems Theory 28(6): 515-552 (1995) | |
1994 | ||
83 | Joost Engelfriet: Graph Grammars and Tree Transducers. CAAP 1994: 15-36 | |
82 | Joost Engelfriet: Deciding the NTS Property of Context-Free Grammars. Results and Trends in Theoretical Computer Science 1994: 124-130 | |
81 | Joost Engelfriet, Jan Joris Vereijken: Concatenation of Graphs. TAGT 1994: 368-382 | |
80 | Hans L. Bodlaender, Joost Engelfriet: Domino Treewith (Extended Abstract). WG 1994: 1-13 | |
79 | Joost Engelfriet, Linda Heyker, George Leih: Context-Free Graph Languages of Bounded Degree are Generated by Apex Graph Grammars. Acta Inf. 31(4): 341-378 (1994) | |
78 | Joost Engelfriet, Linda Heyker: Hypergraph Languages of Bounded Degree. J. Comput. Syst. Sci. 48(1): 58-89 (1994) | |
77 | Joost Engelfriet, Heiko Vogler: The Translation Power of Top-Down Tree-to-Graph Transducers. J. Comput. Syst. Sci. 49(2): 258-305 (1994) | |
1993 | ||
76 | Joost Engelfriet: A Multiset Semantics for the pi-Calculus with Replication. CONCUR 1993: 7-21 | |
75 | Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg: Handle-Rewriting Hypergraph Grammars. J. Comput. Syst. Sci. 46(2): 218-270 (1993) | |
74 | Joost Engelfriet, Hendrik Jan Hoogeboom: X-Automata on omega-Words. Theor. Comput. Sci. 110(1): 1-51 (1993) | |
1992 | ||
73 | Joost Engelfriet: A Greibach Normal Form for Context-free Graph Grammars. ICALP 1992: 138-149 | |
72 | Joost Engelfriet, Linda Heyker: Context-Free Hypergraph Grammars have the Same Term-Generating Power as Attribute Grammars. Acta Inf. 29(2): 161-210 (1992) | |
71 | Joost Engelfriet: An Elementary Proof of Double Greibach Normal Form. Inf. Process. Lett. 44(6): 291-293 (1992) | |
1991 | ||
70 | Joost Engelfriet: Branching Processes of Petri Nets. Acta Inf. 28(6): 575-591 (1991) | |
69 | Joost Engelfriet: Iterated Stack Automata and Complexity Classes Inf. Comput. 95(1): 21-75 (1991) | |
68 | Joost Engelfriet, Linda Heyker: The String Generating Power of Context-Free Hypergraph Grammars. J. Comput. Syst. Sci. 43(2): 328-360 (1991) | |
67 | Joost Engelfriet, Heiko Vogler: Modular Tree Transducers. Theor. Comput. Sci. 78(2): 267-303 (1991) | |
66 | Joost Engelfriet, George Leih, Grzegorz Rozenberg: Nonterminal Separation in Graph Grammars. Theor. Comput. Sci. 82(1): 95-111 (1991) | |
65 | Joost Engelfriet: A Regular Characterization of Graph Languages Definable in Monadic Second-Order Logic. Theor. Comput. Sci. 88(1): 139-150 (1991) | |
1990 | ||
64 | Joost Engelfriet, Grzegorz Rozenberg: Graph Grammars Based on Node Rewriting: An Introduction to NLC Graph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 12-23 | |
63 | Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg: Context-free Handle-rewriting Hypergraph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 253-268 | |
62 | Joost Engelfriet: A Characterization of Context-Free NCE Graph Languages by Monadic Second-Order Logic on Trees. Graph-Grammars and Their Application to Computer Science 1990: 311-327 | |
61 | Joost Engelfriet, Linda Heyker: The Term Generating Power of Context-Free Hypergraph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 328-243 | |
60 | Joost Engelfriet, George Leih, Grzegorz Rozenberg: Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs. REX Workshop 1990: 229-273 | |
59 | Joost Engelfriet, George Leih: Complexity of boundary graph languages. ITA 24: 267-274 (1990) | |
58 | Joost Engelfriet, Grzegorz Rozenberg: A Comparison of Boundary Graph Grammars and Context-Free Hypergraph Grammars Inf. Comput. 84(2): 163-206 (1990) | |
57 | Joost Engelfriet, George Leih, Emo Welzl: Boundary Graph Grammars with Dynamic Edge Relabeling. J. Comput. Syst. Sci. 40(3): 307-345 (1990) | |
56 | IJsbrand Jan Aalbersberg, Joost Engelfriet, Grzegorz Rozenberg: The Complexity of Regular DNLC Graph Languages. J. Comput. Syst. Sci. 40(3): 376-404 (1990) | |
1989 | ||
55 | Joost Engelfriet: Context-Free NCE Graph Grammars. FCT 1989: 148-161 | |
54 | Joost Engelfriet, Hendrik Jan Hoogeboom: Automata with Storage on Infinite Words. ICALP 1989: 289-303 | |
53 | Joost Engelfriet, Willem de Jong: Attribute Storage Optimization by Stacks. Acta Inf. 27(6): 567-581 (1989) | |
52 | Joost Engelfriet: The Power to Two-Way Deterministic Checking Stack Automata Inf. Comput. 80(2): 114-120 (1989) | |
51 | Joost Engelfriet, George Leih: Linear Graph Grammars: Power and Complexity Inf. Comput. 81(1): 88-121 (1989) | |
50 | EE | Joost Engelfriet, Gilberto Filé: Passes, sweeps, and visits in attribute grammars. J. ACM 36(4): 841-869 (1989) |
1988 | ||
49 | Joost Engelfriet, George Leih, Grzegorz Rozenberg: Apex Graph Grammars and Attribute Grammars. Acta Inf. 25(5): 537-571 (1988) | |
48 | Joost Engelfriet, Heiko Vogler: High Level Tree Transducers and Iterated Pushdown Tree Transducers. Acta Inf. 26(1/2): 131-192 (1988) | |
47 | Joost Engelfriet, Hendrik Jan Hoogeboom: Prefix and Equality Languages of Rational Functions are Co-Context-Free. Inf. Process. Lett. 28(2): 77-79 (1988) | |
46 | Joost Engelfriet, George Leih: Nonterminal Bounded NLC Graph Grammars. Theor. Comput. Sci. 59: 309-315 (1988) | |
1987 | ||
45 | Joost Engelfriet, Heiko Vogler: Look-Ahead on Pushdowns Inf. Comput. 73(3): 245-279 (1987) | |
1986 | ||
44 | IJsbrand Jan Aalbersberg, Joost Engelfriet, Grzegorz Rozenberg: Restricting the complexity of regular DNLC languages. Graph-Grammars and Their Application to Computer Science 1986: 147-166 | |
43 | Joost Engelfriet, George Leih, Grzegorz Rozenberg: Apex Graph Grammars. Graph-Grammars and Their Application to Computer Science 1986: 167-185 | |
42 | Joost Engelfriet: The complexity of Languages Generated by Attribute Grammars. SIAM J. Comput. 15(1): 70-86 (1986) | |
41 | Joost Engelfriet, Heiko Vogler: Pushdown Machines for the Macro Tree Transducer. Theor. Comput. Sci. 42: 251-368 (1986) | |
40 | Joost Engelfriet, Heiko Vogler: Corrigenda: Pushdown Machines for the Macro Tree Tranducer. Theor. Comput. Sci. 48(3): 339 (1986) | |
1985 | ||
39 | Joost Engelfriet, Heiko Vogler: Characterization of High Level Tree Transducers. ICALP 1985: 171-178 | |
38 | Joost Engelfriet: The non-computability of computability. Bulletin of the EATCS 26: 36-39 (1985) | |
37 | Joost Engelfriet: Hierarchies of Hyper-AFLs. J. Comput. Syst. Sci. 30(1): 86-115 (1985) | |
36 | Joost Engelfriet, Heiko Vogler: Macro Tree Transducers. J. Comput. Syst. Sci. 31(1): 71-146 (1985) | |
35 | Joost Engelfriet: Determinacy - (Observation Equivalence = Trace Equivalence). Theor. Comput. Sci. 36: 21-25 (1985) | |
1984 | ||
34 | Joost Engelfriet, Heiko Vogler: Regular Characterizations of Macro Tree Transducers. CAAP 1984: 103-118 | |
33 | Joost Engelfriet, Giora Slutzki: Extended Macro Grammars and Stack Controlled Machines. J. Comput. Syst. Sci. 29(3): 366-408 (1984) | |
1983 | ||
32 | Joost Engelfriet: Attribute Grammars: Attribute Evaluation Methods. Method and tools for compiler construction 1983: 103-138 | |
31 | Joost Engelfriet: Iterated Pushdown Automata and Complexity Classes STOC 1983: 365-373 | |
30 | Andrzej Ehrenfeucht, Joost Engelfriet, Grzegorz Rozenberg: Context Free Normal Systems and ETOL Systems. J. Comput. Syst. Sci. 26(1): 34-46 (1983) | |
1982 | ||
29 | Joost Engelfriet, Gilberto Filé: Simple Multi-Visit Attribute Grammars. J. Comput. Syst. Sci. 24(3): 283-314 (1982) | |
28 | Joost Engelfriet, Sven Skyum: The Copying Power of One-State Tree Transducers. J. Comput. Syst. Sci. 25(3): 418-435 (1982) | |
27 | Joost Engelfriet: Three Hierarchies of Transducers. Mathematical Systems Theory 15(2): 95-125 (1982) | |
1981 | ||
26 | Joost Engelfriet, Gilberto Filé: Passes, Sweeps and Visits. ICALP 1981: 193-207 | |
25 | Joost Engelfriet, Gilberto Filé: The Formal Power of One-Visit Attribute Grammars. Acta Inf. 16: 275-302 (1981) | |
24 | Joost Engelfriet, Gilberto Filé: Passes and Paths of Attributive Grammars Information and Control 49(2): 125-169 (1981) | |
23 | Joost Engelfriet, Grzegorz Rozenberg: A Tranlsational Theorem for the Class of EOL Languages Information and Control 50(2): 175-183 (1981) | |
1980 | ||
22 | Joost Engelfriet, Gilberto Filé: Formal Properties of One-Visit and Multi-Pass Attribute Grammars. ICALP 1980: 182-194 | |
21 | EE | Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen: Stack Machines and Classes of Nonnested Macro Languages. J. ACM 27(1): 96-117 (1980) |
20 | EE | Joost Engelfriet, Grzegorz Rozenberg: Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages. J. ACM 27(3): 499-518 (1980) |
19 | Joost Engelfriet, Grzegorz Rozenberg, Giora Slutzki: Tree Transducers, L Systems, and Two-Way Machines. J. Comput. Syst. Sci. 20(2): 150-202 (1980) | |
1979 | ||
18 | Peter R. J. Asveld, Joost Engelfriet: Extended Linear Macro Grammars, Iteration Grammars, and Register Programs. Acta Inf. 11: 259-285 (1979) | |
17 | Joost Engelfriet, Giora Slutzki: Bounded Nesting in Macro Grammars Information and Control 42(2): 157-193 (1979) | |
16 | Joost Engelfriet, Grzegorz Rozenberg: Equality Languages and Fixed Point Languages Information and Control 43(1): 20-49 (1979) | |
1978 | ||
15 | Joost Engelfriet, Grzegorz Rozenberg: Equality Languages, Fixed Point Languages and Representations of Recursively Enumerable Languages FOCS 1978: 123-126 | |
14 | Joost Engelfriet, Grzegorz Rozenberg, Giora Slutzki: Tree Transducers, L Systems and Two-Way Machines (Extended Abstract) STOC 1978: 66-74 | |
13 | Joost Engelfriet: On Tree Transducers for Partial Functions. Inf. Process. Lett. 7(4): 170-172 (1978) | |
12 | Joost Engelfriet, Erik Meineche Schmidt: IO and OI. II. J. Comput. Syst. Sci. 16(1): 67-99 (1978) | |
1977 | ||
11 | Joost Engelfriet: Macro Grammars, Lindenmayer Systems and Other Copying Devices. ICALP 1977: 221-229 | |
10 | Peter R. J. Asveld, Joost Engelfriet: Iterated Deterministic Substitution Acta Inf. 8: 285-302 (1977) | |
9 | Joost Engelfriet, Erik Meineche Schmidt: IO and OI. I. J. Comput. Syst. Sci. 15(3): 328-353 (1977) | |
8 | Joost Engelfriet: Top-down Tree Transducers with Regular Look-ahead. Mathematical Systems Theory 10: 289-303 (1977) | |
7 | Joost Engelfriet: Iterating Iterated Substitution. Theor. Comput. Sci. 5(1): 85-100 (1977) | |
1976 | ||
6 | Joost Engelfriet, Sven Skyum: Copying Theorems. Inf. Process. Lett. 4(6): 157-161 (1976) | |
5 | Joost Engelfriet: Surface Tree Languages and Parallel Derivation Trees. Theor. Comput. Sci. 2(1): 9-27 (1976) | |
1975 | ||
4 | Joost Engelfriet: Bottom-up and Top-down Tree Transformations - A Comparison. Mathematical Systems Theory 9(3): 198-231 (1975) | |
1974 | ||
3 | Joost Engelfriet: Simple Program Schemes and Formal Languages Springer 1974 | |
1972 | ||
2 | Joost Engelfriet: Translation of Simple Program Schemes. ICALP 1972: 215-223 | |
1 | Joost Engelfriet: A Note on Infinite Trees. Inf. Process. Lett. 1(6): 229-232 (1972) |