Equivalence of finite-valued tree transducers is decidable

Branching synchronization grammars with nested tables

Journal of Computer and System Sciences

Properties of visibly pushdown transducers

MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science

Queries on Xml streams with bounded delay and concurrency

Information and Computation

Symbolic finite state transducers: algorithms and applications

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Symbolic tree transducers

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics

Programming macro tree transducers

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming