Jan Travnicek

According to our database, Jan Travnicek authored at least 10 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees.

Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas

Theor. Comput. Sci., 2020

Forward Linearised Tree Pattern Matching Using Tree Pattern Border Array.

Jan Trávnícek, Robin Oburka, Tomás Pecka, Jan Janousek

Proceedings of the Prague Stringology Conference 2020, Prague, Czech Republic, August 31, 2020

Conversion of Finite Tree Automata to Regular Tree Expressions By State Elimination.

Tomás Pecka, Jan Trávnícek, Jan Janousek

Proceedings of the Prague Stringology Conference 2020, Prague, Czech Republic, August 31, 2020

2018

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

Proceedings of the 7th Symposium on Languages, Applications and Technologies, 2018

2016

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

2015

Backward Linearised Tree Pattern Matching.

Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas

Proceedings of the Language and Automata Theory and Applications, 2015

A new algorithm for the determinisation of visibly pushdown automata.

Radomír Polách, Jan Travnicek, Jan Janousek, Borivoj Melichar

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

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

Proceedings of the Descriptional Complexity of Formal Systems, 2014

2012

Indexing ordered trees for (nonlinear) tree pattern matching by pushdown automata.

Jan Travnicek, Jan Janousek, Borivoj Melichar

Comput. Sci. Inf. Syst., 2012

2011

Nonlinear Tree Pattern Pushdown Automata.

Jan Travnicek, Jan Janousek, Borivoj Melichar

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011