On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees. - Trávnícek, Jan; Janousek, Jan; Melichar, Borivoj; Cleophas, Loek (Theor. Comput. Sci., 2020)

Constrained Approximate Subtree Matching by Finite Automata. - Sestáková, Eliska; Melichar, Borivoj; Janousek, Jan (2018)

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

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

Backward Linearised Tree Pattern Matching. - Trávnícek, Jan; Janousek, Jan; Melichar, Borivoj; Cleophas, Loek G. (2015)

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

Tree template matching in unranked ordered trees. - Christou, Michalis; Flouri, Tomás; Iliopoulos, Costas S.; Janousek, Jan; Melichar, Borivoj; Pissis, Solon P.; Zdárek, Jan (J. Discrete Algorithms, 2013)

Graphs and Automata. - Melichar, Borivoj (2013)

Indexing ordered trees for (nonlinear) tree pattern matching by pushdown automata. - Travnicek, Jan; Janousek, Jan; Melichar, Borivoj (Comput. Sci. Inf. Syst., 2012)

Computing all subtree repeats in ordered trees. - Christou, Michalis; Crochemore, Maxime; Flouri, Tomás; Iliopoulos, Costas S.; Janousek, Jan; Melichar, Borivoj; Pissis, Solon P. (Inf. Process. Lett., 2012)

Tree template matching in ranked ordered trees by pushdown automata. - Flouri, Tomás; Iliopoulos, Costas S.; Janousek, Jan; Melichar, Borivoj; Pissis, Solon P. (J. Discrete Algorithms, 2012)

Arbology: Trees and pushdown automata. - Melichar, Borivoj; Janousek, Jan; Flouri, Tomás (Kybernetika, 2012)

Tree compression pushdown automaton. - Janousek, Jan; Melichar, Borivoj; Poliak, Martin (Kybernetika, 2012)

Tree-Based 2D Indexing. - Zdárek, Jan; Melichar, Borivoj (Int. J. Found. Comput. Sci., 2011)

Nonlinear Tree Pattern Pushdown Automata. - Travnicek, Jan; Janousek, Jan; Melichar, Borivoj (2011)

Tree Indexing by Pushdown Automata and Repeats of Subtrees. - Flouri, Tomás; Janousek, Jan; Melichar, Borivoj; Iliopoulos, Costas S.; Pissis, Solon P. (2011)

Subtree Oracle Pushdown Automata for Ranked and Unranked Ordered Trees. - Plicka, Martin; Janousek, Jan; Melichar, Borivoj (2011)

Computing All Subtree Repeats in Ordered Ranked Trees. - Christou, Michalis; Crochemore, Maxime; Flouri, Tomás; Iliopoulos, Costas S.; Janousek, Jan; Melichar, Borivoj; Pissis, Solon P. (2011)

Tree Template Matching in Ranked Ordered Trees by Pushdown Automata. - Flouri, Tomás; Janousek, Jan; Melichar, Borivoj; Iliopoulos, Costas S.; Pissis, Solon P. (2011)

Subtree matching by pushdown automata. - Flouri, Tomás; Janousek, Jan; Melichar, Borivoj (Comput. Sci. Inf. Syst., 2010)

Arbology: Trees and Pushdown Automata. - Melichar, Borivoj (2010)

Aho-Corasick like multiple subtree matching by pushdown automata. - Flouri, Tomás; Melichar, Borivoj; Janousek, Jan (2010)

Finite Automata for Generalized Approach to Backward Pattern Matching. - Antos, Jan; Melichar, Borivoj (2010)

A Note on a Tree-Based 2D Indexing. - Zdárek, Jan; Melichar, Borivoj (2010)

On regular tree languages and deterministic pushdown automata. - Janousek, Jan; Melichar, Borivoj (Acta Informatica, 2009)

Subtree matching by deterministic pushdown automata. - Flouri, Tomás; Melichar, Borivoj; Janousek, Jan (2009)

Searching all approximate covers and their distance using finite automata. - Guth, Ondrej; Melichar, Borivoj; Balík, Miroslav (2008)

Pattern Matching in DCA Coded Text. - Lahoda, Jan; Melichar, Borivoj; Zdárek, Jan (2008)

Approximate Periods with Levenshtein Distance. - Simunek, Martin; Melichar, Borivoj (2008)

Parallel LL parsing. - Vagner, Ladislav; Melichar, Borivoj (Acta Informatica, 2007)

Parallel LL parsing. - Vagner, Ladislav; Melichar, Borivoj (Acta Informatica, 2007)

Borders and Finite Automata. - Simunek, Martin; Melichar, Borivoj (Int. J. Found. Comput. Sci., 2007)

Weighted Degenerated Approximate Pattern Matching. - Iliopoulos, Costas S.; Jayasekera, Inuka; Melichar, Borivoj; Supol, Jan (2007)

Formal Translation Directed by Parallel LLP Parsing. - Vagner, Ladislav; Melichar, Borivoj (2007)

A New Approach to Determinisation Using Bit-Parallelism. - Supol, Jan; Melichar, Borivoj (2006)

Two-dimensional bitwise memory matrix: A tool for optimal parallel approximate pattern matching. - Supol, Jan; Melichar, Borivoj (2006)

Borders and Finite Automata. - Simunek, Martin; Melichar, Borivoj (2006)

Finding Common Motifs with Gaps Using Finite Automata. - Antoniou, Pavlos; Holub, Jan; Iliopoulos, Costas S.; Melichar, Borivoj; Peterlongo, Pierre (2006)

Arithmetic coding in parallel. - Supol, Jan; Melichar, Borivoj (Int. J. Found. Comput. Sci., 2005)

Backward pattern matching automaton. - Antos, Jan; Melichar, Borivoj (2005)

General pattern matching on regular collage system. - Lahoda, Jan; Melichar, Borivoj (2005)

On Two-Dimensional Pattern Matching by Finite Automata. - Zdárek, Jan; Melichar, Borivoj (2005)

Arithmetic Coding in Parallel. - Supol, Jan; Melichar, Borivoj (2004)

Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata. - Polcar, Tomás; Melichar, Borivoj (2004)

Directed acyclic subsequence graph - Overview. - Crochemore, Maxime; Melichar, Borivoj; Tronícek, Zdenek (J. Discrete Algorithms, 2003)

Operation L-INSERT on Factor Automaton. - Melichar, Borivoj; Simánek, Milan (2003)

The Longest Common Subsequence Problem A Finite Automata Approach. - Melichar, Borivoj; Polcar, Tomás (2003)

Transformations of grammars and translation directed by LR parsing. - Melichar, Borivoj; Bac, Nguyen Van (Kybernetika, 2002)

Deterministic Parsing of Cyclic Strings. - Melichar, Borivoj (2002)

Even faster generalized LR parsing. - Aycock, John; Horspool, R. Nigel; Janousek, Jan; Melichar, Borivoj (Acta Informatica, 2001)

Distributed Pattern Matching Using Finite Automata. - Holub, Jan; Iliopoulos, Costas S.; Melichar, Borivoj; Mouchard, Laurent (J. Autom. Lang. Comb., 2001)

On the Size of Deterministic Finite Automata. - Melichar, Borivoj; Skryja, Jan (2001)

Approximate string matching using factor automata. - Holub, Jan; Melichar, Borivoj (Theor. Comput. Sci., 2000)

Directed Acyclic Subsequence Graph. - Tronícek, Zdenek; Melichar, Borivoj (1998)

Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching. - Holub, Jan; Melichar, Borivoj (1998)

Formal Translations Described by Translation Grammars with LR(k) Input Grammars. - Janousek, Jan; Melichar, Borivoj (1997)

The Output-Store Formal Translator Directed by LR Parsing. - Janousek, Jan; Melichar, Borivoj (1997)

6D Classification of Pattern Matching Problems. - Melichar, Borivoj; Holub, Jan (1997)

String matching with k differences by finite automata. - Melichar, Borivoj (1996)

Space Complexity of Linear Time Approximate String Matching. - Melichar, Borivoj (1996)

Approximate String Matching by Finite Automata. - Melichar, Borivoj (1995)

Transformations of translation grammars. - Melichar, Borivoj (Kybernetika, 1994)

Formal translation directed by LR parsing. - Melichar, Borivoj (Kybernetika, 1992)

Syntax Directed Translation with LR Parsing. - Melichar, Borivoj (1992)

Attribute Evaluation and Parsing. - Akker, Rieks op den; Melichar, Borivoj; Tarhio, Jorma (1991)

Attribute Grammars, Applications and Systems, International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings (Springer, 1991)

The Hierarchy of LR-Attributed Grammars. - Akker, Rieks op den; Melichar, Borivoj; Tarhio, Jorma (1990)