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; Hoogeboom, Hendrik Jan; Samwel, Bart XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles. (English) Zbl 1464.68165 Theor. Comput. Sci. 850, 40-97 (2021). MSC: 68Q45 68P05 68P20 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 850, 40--97 (2021; Zbl 1464.68165) Full Text: DOI arXiv
Engelfriet, Joost; Maletti, Andreas; Maneth, Sebastian Multiple context-free tree grammars: lexicalization and characterization. (English) Zbl 1395.68163 Theor. Comput. Sci. 728, 29-99 (2018). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 728, 29--99 (2018; Zbl 1395.68163) Full Text: DOI arXiv
Benedikt, M.; Engelfriet, J.; Maneth, S. Determinacy and rewriting of functional top-down and MSO tree transformations. (English) Zbl 1356.68050 J. Comput. Syst. Sci. 85, 57-73 (2017). MSC: 68P15 03D05 68P05 68Q45 PDFBibTeX XMLCite \textit{M. Benedikt} et al., J. Comput. Syst. Sci. 85, 57--73 (2017; Zbl 1356.68050) Full Text: DOI
Drewes, Frank; Engelfriet, Joost The generative power of delegation networks. (English) Zbl 1337.68152 Inf. Comput. 245, 213-258 (2015). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 68Q42 68Q70 PDFBibTeX XMLCite \textit{F. Drewes} and \textit{J. Engelfriet}, Inf. Comput. 245, 213--258 (2015; Zbl 1337.68152) Full Text: DOI
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; Lilin, Eric; Maletti, Andreas Extended multi bottom-up tree transducers. (English) Zbl 1161.68523 Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 289-300 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Lect. Notes Comput. Sci. 5257, 289--300 (2008; Zbl 1161.68523) Full Text: DOI
Engelfriet, Joost A Kleene characterization of computability. (English) Zbl 1185.68330 Inf. Process. Lett. 101, No. 4, 139-140 (2007). MSC: 68Q05 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 101, No. 4, 139--140 (2007; Zbl 1185.68330) Full Text: DOI
Engelfriet, Joost; Gelsema, Tjalling An exercise in structural congruence. (English) Zbl 1185.68443 Inf. Process. Lett. 101, No. 1, 1-5 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{T. Gelsema}, Inf. Process. Lett. 101, No. 1, 1--5 (2007; Zbl 1185.68443) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian The equivalence problem for deterministic MSO tree transducers is decidable. (English) Zbl 1185.68385 Inf. Process. Lett. 100, No. 5, 206-212 (2006). MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Maneth}, Inf. Process. Lett. 100, No. 5, 206--212 (2006; Zbl 1185.68385) Full Text: DOI arXiv
Engelfriet, Joost; Maneth, Sebastian Output string languages of compositions of deterministic macro tree transducers. (English) Zbl 1013.68124 J. Comput. Syst. Sci. 64, No. 2, 350-395 (2002). MSC: 68Q70 68R10 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Maneth}, J. Comput. Syst. Sci. 64, No. 2, 350--395 (2002; Zbl 1013.68124) Full Text: DOI Link
Engelfriet, J.; Gelsema, T. Structural inclusion in the pi-calculus with replication. (English) Zbl 0974.68133 Theor. Comput. Sci. 258, No. 1-2, 131-168 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{T. Gelsema}, Theor. Comput. Sci. 258, No. 1--2, 131--168 (2001; Zbl 0974.68133) Full Text: DOI
Bloem, Roderick; Engelfriet, Joost A comparison of tree transductions defined by monadic second order logic and by attribute grammars. (English) Zbl 0960.68086 J. Comput. Syst. Sci. 61, No. 1, 1-50 (2000). MSC: 68Q42 68R10 68Q45 PDFBibTeX XMLCite \textit{R. Bloem} and \textit{J. Engelfriet}, J. Comput. Syst. Sci. 61, No. 1, 1--50 (2000; Zbl 0960.68086) Full Text: DOI Link
Engelfriet, Joost; Maneth, Sebastian Macro tree transducers, attribute grammars, and MSO definable tree translations. (English) Zbl 1045.68585 Inf. Comput. 154, No. 1, 34-91 (1999). MSC: 68Q45 03B15 03D05 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{S. Maneth}, Inf. Comput. 154, No. 1, 34--91 (1999; Zbl 1045.68585) Full Text: DOI Link
Engelfriet, Joost; Vogler, Heiko The equivalence of bottom-up and top-down tree-to-graph transducers. (English) Zbl 1034.68526 J. Comput. Syst. Sci. 56, No. 3, 332-356 (1998). MSC: 68Q45 68R10 68Q68 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, J. Comput. Syst. Sci. 56, No. 3, 332--356 (1998; Zbl 1034.68526) Full Text: DOI Link
Drewes, Frank; Engelfriet, Joost Decidability of the finiteness of ranges of tree transductions. (English) Zbl 1034.68525 Inf. Comput. 145, No. 1, 1-50 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Drewes} and \textit{J. Engelfriet}, Inf. Comput. 145, No. 1, 1--50 (1998; Zbl 1034.68525) Full Text: DOI Link
Engelfriet, Joost; van Oostrom, Vincent Logical description of context-free graph languages. (English) Zbl 0897.68061 J. Comput. Syst. Sci. 55, No. 3, 489-503 (1997). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{V. van Oostrom}, J. Comput. Syst. Sci. 55, No. 3, 489--503 (1997; Zbl 0897.68061) Full Text: DOI Link
Engelfriet, Joost A multiset semantics for the pi-calculus with replication. (English) Zbl 0872.68125 Theor. Comput. Sci. 153, No. 1-2, 65-94 (1996). MSC: 68Q85 68Q55 68Q10 PDFBibTeX XMLCite \textit{J. Engelfriet}, Theor. Comput. Sci. 153, No. 1--2, 65--94 (1996; Zbl 0872.68125) Full Text: DOI
Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. Characterization and complexity of uniformly nonprimitive labeled 2-structures. (English) Zbl 0873.68161 Theor. Comput. Sci. 154, No. 2, 247-282 (1996). MSC: 68R10 05C85 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 154, No. 2, 247--282 (1996; Zbl 0873.68161) Full Text: DOI
Engelfriet, Joost; Vereijken, Jan Joris Concatenation of graphs. (English) Zbl 1412.68128 Cuny, J. (ed.) et al., Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1073, 368-382 (1996). MSC: 68Q45 05C76 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{J. J. Vereijken}, Lect. Notes Comput. Sci. 1073, 368--382 (1996; Zbl 1412.68128) Full Text: DOI
Courcelle, B.; Engelfriet, J. A logical characterization of the sets of hypergraphs defined by hyperedge replacement grammars. (English) Zbl 0830.68098 Math. Syst. Theory 28, No. 6, 515-552 (1995). MSC: 68R10 68Q42 PDFBibTeX XMLCite \textit{B. Courcelle} and \textit{J. Engelfriet}, Math. Syst. Theory 28, No. 6, 515--552 (1995; Zbl 0830.68098)
Bodlaender, Hans L.; Engelfriet, Joost Domino treewidth (extended abstract). (English) Zbl 1528.68272 Mayr, Ernst W. (ed.) et al., Graph-theoretic concepts in computer science. 20th international workshop. WG ’94, Herrsching, Germany, June 16–18, 1994. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 903, 1-13 (1995). MSC: 68R10 05C05 05C70 05C85 68Q25 PDFBibTeX XMLCite \textit{H. L. Bodlaender} and \textit{J. Engelfriet}, Lect. Notes Comput. Sci. 903, 1--13 (1995; Zbl 1528.68272) Full Text: DOI
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; Vogler, Heiko The translation power of top-down tree-to-graph transducers. (English) Zbl 0821.68078 J. Comput. Syst. Sci. 49, No. 2, 258-305 (1994). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, J. Comput. Syst. Sci. 49, No. 2, 258--305 (1994; Zbl 0821.68078) Full Text: DOI
Engelfriet, Joost; Heyker, Linda Hypergraph languages of bounded degree. (English) Zbl 0802.68073 J. Comput. Syst. Sci. 48, No. 1, 58-89 (1994). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{L. Heyker}, J. Comput. Syst. Sci. 48, No. 1, 58--89 (1994; Zbl 0802.68073) Full Text: DOI
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz Handle-rewriting hypergraph grammars. (English) Zbl 0825.68446 J. Comput. Syst. Sci. 46, No. 2, 218-270 (1993). MSC: 68Q42 05C65 PDFBibTeX XMLCite \textit{B. Courcelle} et al., J. Comput. Syst. Sci. 46, No. 2, 218--270 (1993; Zbl 0825.68446) 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 A Greibach normal form for context-free graph grammars. (English) Zbl 1425.68162 Kuich, Werner (ed.), Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13–17, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 623, 138-149 (1992). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet}, Lect. Notes Comput. Sci. 623, 138--149 (1992; Zbl 1425.68162) Full Text: DOI
Engelfriet, Joost An elementary proof of double Greibach normal form. (English) Zbl 0796.68133 Inf. Process. Lett. 44, No. 6, 291-293 (1992). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Process. Lett. 44, No. 6, 291--293 (1992; Zbl 0796.68133) Full Text: DOI
Engelfriet, Joost; Vogler, Heiko Modular tree transducers. (English) Zbl 0729.68018 Theor. Comput. Sci. 78, No. 2, 267-303 (1991). Reviewer: Magnus Steinby (Turku) MSC: 68Q05 68Q42 68Q45 03D20 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, Theor. Comput. Sci. 78, No. 2, 267--303 (1991; Zbl 0729.68018) Full Text: DOI
Engelfriet, Joost; Leih, George; Rozenberg, Grzegorz Nonterminal separation in graph grammars. (English) Zbl 0727.68059 Theor. Comput. Sci. 82, No. 1, 95-111 (1991). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 68Q42 05C99 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 82, No. 1, 95--111 (1991; Zbl 0727.68059) Full Text: DOI
Engelfriet, Joost Iterated stack automata and complexity classes. (English) Zbl 0758.68029 Inf. Comput. 95, No. 1, 21-75 (1991); corrigendum ibid. 267, 164-167 (2019). Reviewer: Ulrich Hertrampf (Lübeck) MSC: 68Q15 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Inf. Comput. 95, No. 1, 21--75 (1991; Zbl 0758.68029) Full Text: DOI
Engelfriet, Joost; Rozenberg, Grzegorz A comparison of boundary graph grammars and context-free hypergraph grammars. (English) Zbl 0706.68067 Inf. Comput. 84, No. 2, 163-206 (1990). Reviewer: C.Masalagiu MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. Rozenberg}, Inf. Comput. 84, No. 2, 163--206 (1990; Zbl 0706.68067) Full Text: DOI
Engelfriet, Joost; Leih, George; Welzl, Emo Boundary graph grammars with dynamic edge relabeling. (English) Zbl 0694.68049 J. Comput. Syst. Sci. 40, No. 3, 307-345 (1990). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 40, No. 3, 307--345 (1990; Zbl 0694.68049) Full Text: DOI
Aalbersberg, Ijsbrand Jan; Engelfriet, Joost; Rozenberg, Grzegorz The complexity of regular DNLC graph languages. (English) Zbl 0694.68045 J. Comput. Syst. Sci. 40, No. 3, 376-404 (1990). MSC: 68Q45 03D15 68Q25 PDFBibTeX XMLCite \textit{I. J. Aalbersberg} et al., J. Comput. Syst. Sci. 40, No. 3, 376--404 (1990; Zbl 0694.68045) Full Text: DOI
Engelfriet, Joost; Leih, George Linear graph grammars: Power and complexity. (English) Zbl 0684.68088 Inf. Comput. 81, No. 1, 88-121 (1989). Reviewer: H.Jürgensen MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. Leih}, Inf. Comput. 81, No. 1, 88--121 (1989; Zbl 0684.68088) Full Text: DOI
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; Vogler, Heiko Pushdown machines for the macro tree transducer. (English) Zbl 0619.68065 Theor. Comput. Sci. 42, 251-368 (1986). Reviewer: M.Kunze MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, Theor. Comput. Sci. 42, 251--368 (1986; Zbl 0619.68065) Full Text: DOI Link
Engelfriet, Joost; Vogler, Heiko Macro tree transducers. (English) Zbl 0588.68039 J. Comput. Syst. Sci. 31, 71-146 (1985). Reviewer: D.Lucanu MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, J. Comput. Syst. Sci. 31, 71--146 (1985; Zbl 0588.68039) Full Text: DOI Link
Engelfriet, Joost Hierarchies of hyper-AFLs. (English) Zbl 0565.68072 J. Comput. Syst. Sci. 30, 86-115 (1985). Reviewer: R.Andonie MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, J. Comput. Syst. Sci. 30, 86--115 (1985; Zbl 0565.68072) Full Text: DOI Link
Engelfriet, Joost; Slutzki, Giora Extended macro grammars and stack controlled machines. (English) Zbl 0575.68081 J. Comput. Syst. Sci. 29, 366-408 (1984). Reviewer: F.Petrescu MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. Slutzki}, J. Comput. Syst. Sci. 29, 366--408 (1984; Zbl 0575.68081) Full Text: DOI Link
Engelfriet, Joost; File, Gilberto Simple multi-visit attribute grammars. (English) Zbl 0524.68048 J. Comput. Syst. Sci. 24, 283-314 (1982). MSC: 68N20 68Q55 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. File}, J. Comput. Syst. Sci. 24, 283--314 (1982; Zbl 0524.68048) Full Text: DOI Link
Engelfriet, Joost Three hierarchies of transducers. (English) Zbl 0509.68078 Math. Syst. Theory 15, 95-125 (1982). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet}, Math. Syst. Theory 15, 95--125 (1982; Zbl 0509.68078) 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
Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora Tree transducers, L systems, and two-way machines. (English) Zbl 0426.68075 J. Comput. Syst. Sci. 20, 150-202 (1980). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 20, 150--202 (1980; Zbl 0426.68075) Full Text: DOI Link
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
Engelfriet, Joost Iterating iterated substitution. (English) Zbl 0364.68070 Theor. Comput. Sci. 5(1977), 85-100 (1978). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Theor. Comput. Sci. 5, 85--100 (1978; Zbl 0364.68070) Full Text: DOI Link
Engelfriet, Joost Surface tree languages and parallel derivation trees. (English) Zbl 0346.68040 Theor. Comput. Sci. 2, 9-27 (1976). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet}, Theor. Comput. Sci. 2, 9--27 (1976; Zbl 0346.68040) Full Text: DOI Link