Maneth, Sebastian; Seidl, Helmut; Vu, Martin Functionality of compositions of top-down tree transducers is decidable. (English) Zbl 07790925 Inf. Comput. 296, Article ID 105131, 26 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Maneth} et al., Inf. Comput. 296, Article ID 105131, 26 p. (2024; Zbl 07790925) Full Text: DOI
Maneth, Sebastian; Peternek, Fabian Constant delay traversal of grammar-compressed graphs with bounded rank. (English) Zbl 1446.68044 Inf. Comput. 273, Article ID 104520, 19 p. (2020). MSC: 68P05 68P30 68Q42 PDFBibTeX XMLCite \textit{S. Maneth} and \textit{F. Peternek}, Inf. Comput. 273, Article ID 104520, 19 p. (2020; Zbl 1446.68044) 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
Maneth, S.; Seidl, H. Balancedness of MSO transductions in polynomial time. (English) Zbl 1426.68150 Inf. Process. Lett. 133, 26-32 (2018). MSC: 68Q45 03D05 68Q17 PDFBibTeX XMLCite \textit{S. Maneth} and \textit{H. Seidl}, Inf. Process. Lett. 133, 26--32 (2018; Zbl 1426.68150) Full Text: DOI
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
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut Look-ahead removal for total deterministic top-down tree transducers. (English) Zbl 1333.68163 Theor. Comput. Sci. 616, 18-58 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 616, 18--58 (2016; Zbl 1333.68163) Full Text: DOI arXiv
Maneth, Sebastian A survey on decidable equivalence problems for tree transducers. (English) Zbl 1345.68212 Int. J. Found. Comput. Sci. 26, No. 8, 1069-1100 (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{S. Maneth}, Int. J. Found. Comput. Sci. 26, No. 8, 1069--1100 (2015; Zbl 1345.68212) Full Text: DOI
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred Parameter reduction and automata evaluation for grammar-compressed trees. (English) Zbl 1246.68114 J. Comput. Syst. Sci. 78, No. 5, 1651-1669 (2012). MSC: 68P30 68Q42 PDFBibTeX XMLCite \textit{M. Lohrey} et al., J. Comput. Syst. Sci. 78, No. 5, 1651--1669 (2012; Zbl 1246.68114) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut Deciding equivalence of top-down XML transformations in polynomial time. (English) Zbl 1167.68032 J. Comput. Syst. Sci. 75, No. 5, 271-286 (2009). MSC: 68Q45 68P05 68Q25 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 75, No. 5, 271--286 (2009; Zbl 1167.68032) Full Text: DOI
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred Parameter reduction in grammar-compressed trees. (English) Zbl 1234.68182 de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 212-226 (2009). MSC: 68Q42 68P30 PDFBibTeX XMLCite \textit{M. Lohrey} et al., Lect. Notes Comput. Sci. 5504, 212--226 (2009; Zbl 1234.68182) Full Text: DOI
Godoy, Guillem; Maneth, Sebastian; Tison, Sophie Classes of tree homomorphisms with decidable preservation of regularity. (English) Zbl 1139.68032 Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 127-141 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Godoy} et al., Lect. Notes Comput. Sci. 4962, 127--141 (2008; Zbl 1139.68032) 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, 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
Maneth, Sebastian The generating power of total deterministic tree transducers. (English) Zbl 0927.68046 Inf. Comput. 147, No. 2, 111-144 (1998). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. Maneth}, Inf. Comput. 147, No. 2, 111--144 (1998; Zbl 0927.68046) Full Text: DOI Link