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)

Constrained Approximate Subtree Matching by Finite Automata - Eliska Sestáková; Borivoj Melichar; Jan Janousek (Prague Stringology Conference 2018, Prague, Czech Republic, August 27-28, 2018, 2018)

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)

A new algorithm for the determinisation of visibly pushdown automata - Radomír Polách; Jan Travnicek; Jan Janousek; Borivoj Melichar (2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015, 2015)

Backward Linearised Tree Pattern Matching - Jan Trávnícek; Jan Janousek; Borivoj Melichar; Loek G. Cleophas (Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, 2015)

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 (Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, 2014)

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

Graphs and Automata - Borivoj Melichar (Proceedings of the Prague Stringology Conference 2013, Prague, Czech Republic, September 2-4, 2013, 2013)

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

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

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

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

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

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

Nonlinear Tree Pattern Pushdown Automata - Jan Travnicek; Jan Janousek; Borivoj Melichar (Federated Conference on Computer Science and Information Systems, FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings, 2011)

Tree Indexing by Pushdown Automata and Repeats of Subtrees - Tomás Flouri; Jan Janousek; Borivoj Melichar; Costas S. Iliopoulos; Solon P. Pissis (Federated Conference on Computer Science and Information Systems, FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings, 2011)

Subtree Oracle Pushdown Automata for Ranked and Unranked Ordered Trees - Martin Plicka; Jan Janousek; Borivoj Melichar (Federated Conference on Computer Science and Information Systems, FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings, 2011)

Computing All Subtree Repeats in Ordered Ranked Trees - Michalis Christou; Maxime Crochemore; Tomás Flouri; Costas S. Iliopoulos; Jan Janousek; Borivoj Melichar; Solon P. Pissis (String Processing and Information Retrieval, 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings, 2011)

Tree Template Matching in Ranked Ordered Trees by Pushdown Automata - Tomás Flouri; Jan Janousek; Borivoj Melichar; Costas S. Iliopoulos; Solon P. Pissis (Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, 2011)

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

Arbology: Trees and Pushdown Automata - Borivoj Melichar (Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings, 2010)

Aho-Corasick like multiple subtree matching by pushdown automata - Tomás Flouri; Borivoj Melichar; Jan Janousek (Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, 2010)

Finite Automata for Generalized Approach to Backward Pattern Matching - Jan Antos; Borivoj Melichar (Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers, 2010)

A Note on a Tree-Based 2D Indexing - Jan Zdárek; Borivoj Melichar (Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers, 2010)

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

Subtree matching by deterministic pushdown automata - Tomás Flouri; Borivoj Melichar; Jan Janousek (Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2009, Mragowo, Poland, 12-14 October 2009, 2009)

Searching all approximate covers and their distance using finite automata - Ondrej Guth; Borivoj Melichar; Miroslav Balík (Proceedings of the Conference on Theory and Practice of Information Technologies, ITAT 2008, Hrebienok, Slovakia, September 22-26, 2008, 2008)

Pattern Matching in DCA Coded Text - Jan Lahoda; Borivoj Melichar; Jan Zdárek (Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, 2008)

Approximate Periods with Levenshtein Distance - Martin Simunek; Borivoj Melichar (Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, 2008)

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

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

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

Weighted Degenerated Approximate Pattern Matching - Costas S. Iliopoulos; Inuka Jayasekera; Borivoj Melichar; Jan Supol (LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications, 2007)

Formal Translation Directed by Parallel LLP Parsing - Ladislav Vagner; Borivoj Melichar (SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, 2007)

A New Approach to Determinisation Using Bit-Parallelism - Jan Supol; Borivoj Melichar (Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, 2006)

Two-dimensional bitwise memory matrix: A tool for optimal parallel approximate pattern matching - Jan Supol; Borivoj Melichar (Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 28-30, 2006, 2006)

Borders and Finite Automata - Martin Simunek; Borivoj Melichar (Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, 2006)

Finding Common Motifs with Gaps Using Finite Automata - Pavlos Antoniou; Jan Holub; Costas S. Iliopoulos; Borivoj Melichar; Pierre Peterlongo (Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, 2006)

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

Backward pattern matching automaton - Jan Antos; Borivoj Melichar (Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 29-31, 2005, 2005)

General pattern matching on regular collage system - Jan Lahoda; Borivoj Melichar (Proceedings of the Prague Stringology Conference, Prague, Czech Republic, August 29-31, 2005, 2005)

On Two-Dimensional Pattern Matching by Finite Automata - Jan Zdárek; Borivoj Melichar (Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, 2005)

Arithmetic Coding in Parallel - Jan Supol; Borivoj Melichar (Proceedings of the Prague Stringology Conference 2004, Prague, Czech Republic, August 30 - September 1, 2004, 2004)

Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata - Tomás Polcar; Borivoj Melichar (Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers, 2004)

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

Operation L-INSERT on Factor Automaton - Borivoj Melichar; Milan Simánek (Proceedings of the Prague Stringology Conference 2003, Prague, Czech Republic, September 22-24, 2003, 2003)

The Longest Common Subsequence Problem A Finite Automata Approach - Borivoj Melichar; Tomás Polcar (Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings, 2003)

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

Deterministic Parsing of Cyclic Strings - Borivoj Melichar (Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers, 2002)

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

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

On the Size of Deterministic Finite Automata - Borivoj Melichar; Jan Skryja (Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers, 2001)

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

Directed Acyclic Subsequence Graph - Zdenek Tronícek; Borivoj Melichar (Proceedings of the Prague Stringology Club Workshop 1998, Prague, Czech Republic, September 3-4, 1998, 1998)

Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching - Jan Holub; Borivoj Melichar (Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, 1998)

Formal Translations Described by Translation Grammars with LR(k) Input Grammars - Jan Janousek; Borivoj Melichar (Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, 1997)

The Output-Store Formal Translator Directed by LR Parsing - Jan Janousek; Borivoj Melichar (SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings, 1997)

6D Classification of Pattern Matching Problems - Borivoj Melichar; Jan Holub (Proceedings of the Prague Stringology Club Workshop 1997, Prague, Czech Republic, July 7, 1997, 1997)

String matching with k differences by finite automata - Borivoj Melichar (13th International Conference on Pattern Recognition, ICPR 1996, Vienna, Austria, 25-19 August, 1996, 1996)

Space Complexity of Linear Time Approximate String Matching - Borivoj Melichar (Proceedings of the Prague Stringology Club Workshop 1996, Prague, Czech Republic, August 14, 1996, 1996)

Approximate String Matching by Finite Automata - Borivoj Melichar (Computer Analysis of Images and Patterns, 6th International Conference, CAIP'95, Prague, Czech Republic, September 6-8, 1995, Proceedings, 1995)

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

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

Syntax Directed Translation with LR Parsing - Borivoj Melichar (Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings, 1992)

Attribute Evaluation and Parsing - Rieks op den Akker; Borivoj Melichar; Jorma Tarhio (Attribute Grammars, Applications and Systems, International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings, 1991)

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

The Hierarchy of LR-Attributed Grammars - Rieks op den Akker; Borivoj Melichar; Jorma Tarhio (Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings, 1990)