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

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

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

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

Significant Subpatterns Matching. - Jan Supol (CIAA, 2007)