Jan Trávnícek

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Regular Expressions

Pattern Matching

Top Venues

Comput. Lang. Syst. Struct.

Discret. Appl. Math.

Publications

Jan Trávnícek, Tomás Pecka, Robin Oburka, Jan Janousek
Forward linearised tree pattern matching using tree pattern border array. Discret. Appl. Math. 352 (2024)
Jan Trávnícek, Robin Oburka, Tomás Pecka, Jan Janousek
Forward Linearised Tree Pattern Matching Using Tree Pattern Border Array. Stringology (2020)
Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas
On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees. Theor. Comput. Sci. (2020)
Tomás Pecka, Jan Trávnícek, Jan Janousek
Conversion of Finite Tree Automata to Regular Tree Expressions By State Elimination. Stringology (2020)
Tomás Pecka, Jan Trávnícek, Radomír Polách, Jan Janousek
Construction of a Pushdown Automaton Accepting a Postfix Notation of a Tree Language Given by a Regular Tree Expression. SLATE (2018)
Radomír Polách, Jan Trávnícek, Jan Janousek, Borivoj Melichar
Efficient determinization of visibly and height-deterministic pushdown automata. Comput. Lang. Syst. Struct. 46 (2016)
Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas
Backward Linearised Tree Pattern Matching. LATA (2015)
Jan Janousek, Borivoj Melichar, Radomír Polách, Martin Poliak, Jan Trávnícek
A Full and Linear Index of a Tree for Tree Patterns. DCFS (2014)