Visibly Pushdown Transducers

Visibly pushdown languages

Rajeev Alur, P. Madhusudan · 2004 · 555 citations · Full text

Computing, Computer Science, Algorithms +16

Typechecking for XML transformers

Tova Milo, Dan Suciu, Victor Vianu · 2000 · 156 citations · Full text

Computing, Computer Science, Formal Methods +15

XML type checking with macro tree transducers

Sebastian Maneth, Alexandru Berlea, Thomas Perst et al. · 2005 · 121 citations

Computing, Computer Science, Formal Methods +14

Marrying words and trees

Rajeev Alur · 2007 · 55 citations

Computing, Computer Science, Computational Linguistics +16

Tree regular model checking: A simulation-based approach

Parosh Aziz Abdulla, Axel Legay, Julien d’Orso et al. · The Journal of Logic and Algebraic Programming · 2006 · 25 citations

Computing, Computer Science, Computer Systems +9