Dartois, Luc; Filiot, Emmanuel; Talbot, Jean-Marc Two-way Parikh automata with a visibly pushdown stack. (English) Zbl 1524.68169 Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 189-206 (2019). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Dartois} et al., Lect. Notes Comput. Sci. 11425, 189--206 (2019; Zbl 1524.68169) Full Text: DOI
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc Visibly pushdown transducers. (English) Zbl 1398.68307 J. Comput. Syst. Sci. 97, 147-181 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Filiot} et al., J. Comput. Syst. Sci. 97, 147--181 (2018; Zbl 1398.68307) Full Text: DOI HAL
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc Decision problems of tree transducers with origin. (English) Zbl 1396.68065 Inf. Comput. 261, Part 2, 311-335 (2018). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Inf. Comput. 261, Part 2, 311--335 (2018; Zbl 1396.68065) Full Text: DOI HAL
Dartois, Luc; Filiot, Emmanuel; Reynier, Pierre-Alain; Talbot, Jean-Marc Two-way visibly pushdown automata and transducers. (English) Zbl 1394.68209 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 217-226 (2016). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{L. Dartois} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 217--226 (2016; Zbl 1394.68209) Full Text: DOI arXiv
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc Decision problems of tree transducers with origin. (English) Zbl 1395.68167 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-47665-9/pbk; 978-3-662-47666-6/ebook). Lecture Notes in Computer Science 9135, 209-221 (2015). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 9135, 209--221 (2015; Zbl 1395.68167) Full Text: DOI Link
Caralp, Mathieu; Filiot, Emmanuel; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc Expressiveness of visibly pushdown transducers. (English) Zbl 1464.68158 Maneth, Sebastian (ed.), Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT’13, Hanoi, Vietnam, October 19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 134, 17-26 (2013). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Caralp} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 134, 17--26 (2013; Zbl 1464.68158) Full Text: arXiv Link
Filiot, Emmanuel; Talbot, Jean-Marc; Tison, Sophie Tree automata with global constraints. (English) Zbl 1205.68199 Int. J. Found. Comput. Sci. 21, No. 4, 571-596 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Filiot} et al., Int. J. Found. Comput. Sci. 21, No. 4, 571--596 (2010; Zbl 1205.68199) Full Text: DOI
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc Properties of visibly pushdown transducers. (English) Zbl 1287.68095 Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 355-367 (2010). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 6281, 355--367 (2010; Zbl 1287.68095) Full Text: DOI arXiv
Filiot, Emmanuel; Talbot, Jean-Marc; Tison, Sophie Tree automata with global constraints. (English) Zbl 1161.68525 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, 314-326 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 5257, 314--326 (2008; Zbl 1161.68525) Full Text: DOI
Filiot, Emmanuel; Talbot, Jean-Marc; Tison, Sophie Satisfiability of a spatial logic with tree variables. (English) Zbl 1179.03036 Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 130-145 (2007). MSC: 03B70 68P05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 4646, 130--145 (2007; Zbl 1179.03036) Full Text: DOI