Jan Travnicek

dblp:48/10425 · also Jan Trávnícek · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
1since 2021 · last 2024
0000-0001-9991-9815ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 1 first-authorTheory of computation · 3 · 3 first-author · 1 since 2021Artificial intelligence and machine learning · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2 · 1 first-author
YearPublicationVenuePosition
2024 Forward linearised tree pattern matching using tree pattern border array
Jan Travnicek, Tomás Pecka, Robin Oburka, Jan Janousek
Discret. Appl. Math.1
2020 On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees
Jan Travnicek, Jan Janousek, Borivoj Melichar, Loek Cleophas
Theor. Comput. Sci.1
2016 Efficient determinization of visibly and height-deterministic pushdown automata
Radomír Polách, Jan Travnicek, Jan Janousek, Borivoj Melichar
Comput. Lang. Syst. Struct.2
2015 A new algorithm for the determinisation of visibly pushdown automata
abstract
Visibly pushdown automata are pushdown automata whose pushdown operations are determined by the input symbol, where the input alphabet is partitioned into three parts for push, pop and local pushdown operations.It is well known that nondeterministic visibly pushdown automata can be determinised.In this paper a new algorithm for the determinisation of nondeterministic visibly pushdown automata is presented.The algorithm improves the existing methods and can result in significantly smaller deterministic pushdown automata.This is achieved in a way that only necessary and accessible states and pushdown symbols are computed and constructed during the determinisation.
Radomír Polách, Jan Travnicek, Jan Janousek, Borivoj Melichar
FedCSIS2
2015 Backward Linearised Tree Pattern Matching
Jan Travnicek, Jan Janousek, Borivoj Melichar, Loek Cleophas
LATA1
2011 Nonlinear Tree Pattern Pushdown Automata
Jan Travnicek, Jan Janousek, Borivoj Melichar
FedCSIS1