VLDB 2026 Research / reviewers in the wild / expert
Jan Travnicek
dblp:48/10425 · also Jan Trávnícek
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 automataabstractVisibly 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 |
FedCSIS | 2 |
| 2015 | Backward Linearised Tree Pattern Matching
Jan Travnicek, Jan Janousek, Borivoj Melichar, Loek Cleophas |
LATA | 1 |
| 2011 | Nonlinear Tree Pattern Pushdown Automata
Jan Travnicek, Jan Janousek, Borivoj Melichar |
FedCSIS | 1 |