dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Joost Engelfriet Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1IJsbrand Jan Aalbersberg [44] [57]
2Peter R. J. Asveld [10] [18]
3Jan-Pascal Van Best [106]
4Roderick Bloem (Roderick Paul Bloem) [96] [109]
5Hans L. Bodlaender [81] [94]
6Andreas Brandstädt [125] [126]
7Bruno Courcelle [64] [76] [85]
8Frank Drewes [99] [120] [121]
9Andrzej Ehrenfeucht [30] [86] [90]
10Gilberto Filé [22] [24] [25] [26] [29] [51]
11Zoltán Fülöp [114]
12Tjalling Gelsema [100] [102] [111] [122] [131]
13Tero Harju [87]
14Linda Heyker [62] [69] [73] [79] [80]
15Hendrik Jan Hoogeboom [47] [55] [75] [105] [106] [107] [108] [112] [128] [129] [132] [133] [134]
16Willem de Jong [54]
17Hoàng-Oanh Le [125] [126]
18Jan van Leeuwen [21]
19George Leih [43] [46] [49] [52] [58] [60] [61] [67] [80]
20Eric Lilin [135] [137]
21Vadim V. Lozin [125] [126]
22Andreas Maletti [135] [137]
23Sebastian Maneth [101] [103] [110] [113] [115] [116] [118] [119] [123] [124] [127] [136]
24Vincent van Oostrom [89] [93]
25Paulien ten Pas [86]
26Andrzej Proskurowski [87]
27Grzegorz Rozenberg [14] [15] [16] [19] [20] [23] [30] [43] [44] [49] [57] [59] [61] [64] [65] [67] [76] [86] [87] [90] [92] [97]
28Bart Samwel [134]
29Erik Meineche Schmidt [9] [12] [21]
30Helmut Seidl [136]
31Sven Skyum [6] [28]
32Giora Slutzki [14] [17] [19] [33]
33Jan Joris Vereijken [82] [95]
34Heiko Vogler [34] [36] [39] [40] [41] [45] [48] [68] [78] [98] [114]
35Emo Welzl [58]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page