@article(RM04, author = "Rajeev Alur and P. Madhusudan", year = "2009", title = "Adding nesting structure to words", journal = "Journal of the ACM", volume = "56", number = "3", pages = "1--43", doi = "10.1145/1516512.1516518", ) @misc(tata, author = "Hubert Comon and Max Dauchet and R{\'e}mi Gilleron and Christof L\"oding and Florent Jacquemard and Denis Lugiez and Sophie Tison and Marc Tommasi", year = "2007", title = "Tree Automata Techniques and Applications", url = "http://tata.gforge.inria.fr/", ) @article(Engelfriet03, author = "Joost Engelfriet and Sebastian Maneth", year = "2003", title = "Macro tree translations of linear size increase are {MSO} definable", journal = "SIAM Journal on Computing", volume = "32", pages = "950--1006", doi = "10.1137/S0097539701394511", ) @inproceedings(filiot_et_al:LIPIcs:2011:3352, author = "Emmanuel Filiot and Olivier Gauwin and Pierre-Alain Reynier and Fr{\'e}d{\'e}ric Servais", year = "2011", title = "Streamability of Nested Word Transductions", booktitle = "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science", volume = "13", pages = "312--324", doi = "10.4230/LIPIcs.FSTTCS.2011.312", ) @inproceedings(MFCS2010, author = "Emmanuel Filiot and Jean-Fran\c {c}ois Raskin and Pierre-Alain Reynier and Fr{\'e}d{\'e}ric Servais and Jean-Marc Talbot", year = "2010", title = "Properties of Visibly Pushdown Transducers", booktitle = "Mathematical Foundations of Computer Science", pages = "355--367", doi = "10.1007/978-3-642-15155-2\_32", ) @inproceedings(conf/sofsem/FiliotS12, author = "Emmanuel Filiot and Fr{\'e}d{\'e}ric Servais", year = "2012", title = "Visibly Pushdown Transducers with Look-Ahead", booktitle = "International Conference on Current Trends in Theory and Practice of Computer Science", pages = "251--263", doi = "10.1007/978-3-642-27660-6\_21", ) @inproceedings(DBLP:conf/fsttcs/Maneth03, author = "Sebastian Maneth", year = "2003", title = "The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase", booktitle = "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science", pages = "326--337", doi = "10.1007/978-3-540-24597-1\_28", ) @inproceedings(conf/icdt/MartensN03, author = "Wim Martens and Frank Neven", year = "2003", title = "Typechecking Top-Down Uniform Unranked Tree Transducers", booktitle = "International Conference on Database Theory", series = "Lecture Notes in Computer Science", volume = "2572", publisher = "Springer", pages = "64--78", doi = "10.1007/3-540-36285-1\_5", ) @article(PerSei04, author = "Thomas Perst and Helmut Seidl", year = "2004", title = "Macro Forest Transducers", journal = "Information Processing Letter", volume = "89", number = "3", pages = "141--149", doi = "10.1016/j.ipl.2003.05.001", ) @inproceedings(RS08, author = "Jean-Fran{\c c}ois Raskin and Fr{\'e}d{\'e}ric Servais", year = "2008", title = "Visibly Pushdown Transducers", booktitle = "International Colloquium on Automata, Languages and Programming", series = "Lecture Notes in Computer Science", volume = "5126", pages = "386--397", doi = "10.1007/978-3-540-70583-3\_32", ) @phdthesis(Servais11, author = "Fr\'ed\'eric Servais", year = "2011", title = "Visibly Pushdown Transducers", school = "Universit\'e Libre de Bruxelles", url = "http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-09292011-142239/", ) @inproceedings(SLLN09, author = "Slawomir Staworko and Gr\'egoire Laurence and Aur\'elien Lemay and Joachim Niehren", year = "2009", title = "Equivalence of Deterministic Nested Word to Word Transducers", booktitle = "Fundamentals of Computer Theory", series = "Lecture Notes in Computer Science", volume = "5699", pages = "310--322", doi = "10.1007/978-3-642-03409-1\_28", )