A Full and Linear Index of a Tree for Tree Patterns. - Jan Janousek; Borivoj Melichar; Radomír Polách; Martin Poliak; Jan Trávnícek (DCFS, 2014)

A new algorithm for the determinisation of visibly pushdown automata. - Radomír Polách; Jan Travnicek; Jan Janousek; Borivoj Melichar (FedCSIS, 2015)

Efficient determinization of visibly and height-deterministic pushdown automata. - Radomír Polách; Jan Trávnícek; Jan Janousek; Borivoj Melichar (Comput. Lang. Syst. Struct., 2016)

Construction of a Pushdown Automaton Accepting a Postfix Notation of a Tree Language Given by a Regular Tree Expression. - Tomás Pecka; Jan Trávnícek; Radomír Polách; Jan Janousek (SLATE, 2018)