Engelfriet, Joost; Inaba, Kazuhiro; Maneth, Sebastian Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity. (English) Zbl 1512.68137 Acta Inf. 58, No. 1-2, 95-152 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Acta Inf. 58, No. 1--2, 95--152 (2021; Zbl 1512.68137) Full Text: DOI arXiv
Engelfriet, Joost Two-way pebble transducers for partial functions and their composition. (English) Zbl 1330.68155 Acta Inf. 52, No. 7-8, 559-571 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Acta Inf. 52, No. 7--8, 559--571 (2015; Zbl 1330.68155) Full Text: DOI
Engelfriet, Joost; Lilin, Eric; Maletti, Andreas Extended multi bottom-up tree transducers. (English) Zbl 1186.68254 Acta Inf. 46, No. 8, 561-590 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Acta Inf. 46, No. 8, 561--590 (2009; Zbl 1186.68254) Full Text: DOI
Engelfriet, Joost The time complexity of typechecking tree-walking tree transducers. (English) Zbl 1165.68039 Acta Inf. 46, No. 2, 139-154 (2009). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{J. Engelfriet}, Acta Inf. 46, No. 2, 139--154 (2009; Zbl 1165.68039) Full Text: DOI
Engelfriet, Joost; Gelsema, Tjalling A new natural structural congruence in the pi-calculus with replication. (English) Zbl 1057.03022 Acta Inf. 40, No. 6-7, 385-430 (2004). Reviewer: Damas Gruska (Bratislava) MSC: 03B70 68Q85 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{T. Gelsema}, Acta Inf. 40, No. 6--7, 385--430 (2004; Zbl 1057.03022) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian A comparison of pebble tree transducers with macro tree transducers. (English) Zbl 1060.68062 Acta Inf. 39, No. 9, 613-698 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Maneth}, Acta Inf. 39, No. 9, 613--698 (2003; Zbl 1060.68062) Full Text: DOI
Engelfriet, Joost; Gelsema, Tjalling Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition. (English) Zbl 0927.68068 Acta Inf. 35, No. 12, 1075-1096 (1998). MSC: 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{T. Gelsema}, Acta Inf. 35, No. 12, 1075--1096 (1998; Zbl 0927.68068) Full Text: DOI
Engelfriet, Joost; Vereijken, Jan Joris Context-free graph grammars and concatenation of graphs. (English) Zbl 0896.68092 Acta Inf. 34, No. 10, 773-803 (1997). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{J. J. Vereijken}, Acta Inf. 34, No. 10, 773--803 (1997; Zbl 0896.68092) Full Text: DOI Link
Engelfriet, Joost; Heyker, Linda; Leih, George Context-free graph languages of bounded degree are generated by apex graph grammars. (English) Zbl 0818.68102 Acta Inf. 31, No. 4, 341-378 (1994). Reviewer: J.Engelfriet MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Acta Inf. 31, No. 4, 341--378 (1994; Zbl 0818.68102) Full Text: DOI
Engelfriet, Joost; Heyker, Linda Context-free hypergraph grammars have the same term-generating power as attribute grammars. (English) Zbl 0769.68072 Acta Inf. 29, No. 2, 161-210 (1992). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{L. Heyker}, Acta Inf. 29, No. 2, 161--210 (1992; Zbl 0769.68072) Full Text: DOI
Engelfriet, Joost Branching processes of Petri nets. (English) Zbl 0743.68106 Acta Inf. 28, No. 6, 575-591 (1991). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{J. Engelfriet}, Acta Inf. 28, No. 6, 575--591 (1991; Zbl 0743.68106) Full Text: DOI
Engelfriet, Joost; de Jong, Willem Attribute storage optimization by stacks. (English) Zbl 0674.68046 Acta Inf. 27, No. 6, 567-581 (1990). Reviewer: J.Engelfriet MSC: 68Q45 68Q25 68N99 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{W. de Jong}, Acta Inf. 27, No. 6, 567--581 (1990; Zbl 0674.68046) Full Text: DOI
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz Apex graph grammars and attribute grammars. (English) Zbl 0659.68096 Acta Inf. 25, No. 5, 537-571 (1988). Reviewer: C.Dimitrovici MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Acta Inf. 25, No. 5, 537--571 (1988; Zbl 0659.68096)
Engelfriet, Joost; Vogler, Heiko High level tree transducers and iterated pushdown tree transducers. (English) Zbl 0633.68073 Acta Inf. 26, No. 1-2, 131-192 (1988). Reviewer: H.Vogler MSC: 68Q45 68Q55 68Q60 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, Acta Inf. 26, No. 1--2, 131--192 (1988; Zbl 0633.68073) Full Text: DOI
Engelfriet, Joost; File, Gilberto The formal power of one-visit attribute grammars. (English) Zbl 0471.68044 Acta Inf. 16, 275-302 (1981). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. File}, Acta Inf. 16, 275--302 (1981; Zbl 0471.68044) Full Text: DOI
Asveld, Peter R. J.; Engelfriet, Joost Extended linear macro grammars, iteration grammars, and register programs. (English) Zbl 0382.68061 Acta Inf. 11, 259-285 (1979). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{P. R. J. Asveld} and \textit{J. Engelfriet}, Acta Inf. 11, 259--285 (1979; Zbl 0382.68061) Full Text: DOI
Asveld, Peter R. J.; Engelfriet, Joost Iterated deterministic-substitution. (English) Zbl 0343.68034 Acta Inf. 8, 285-302 (1977). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. R. J. Asveld} and \textit{J. Engelfriet}, Acta Inf. 8, 285--302 (1977; Zbl 0343.68034) Full Text: DOI