On double-jumping finite automata. - Radim Kocman; Zbynek Krivka; Alexander Meduna (NCMA, 2016)

A jumping 5' → 3' Watson-Crick finite automata model. - Radim Kocman; Benedek Nagy; Zbynek Krivka; Alexander Meduna (NCMA, 2018)

On double-jumping finite automata and their closure properties. - Radim Kocman; Zbynek Krivka; Alexander Meduna (RAIRO Theor. Informatics Appl., 2018)

General CD Grammar Systems and Their Simplification. - Radim Kocman; Zbynek Krivka; Alexander Meduna (J. Autom. Lang. Comb., 2020)

A jumping $5' rightarrow 3'$ Watson-Crick finite automata model. - Radim Kocman; Zbynek Krivka; Alexander Meduna; Benedek Nagy (Acta Informatica, 2022)

O paralelním zpracování ve formálních modelech ; On Parallel Processing in Formal Models: Jumping Automata and Normal Forms. - Radim Kocman (2023)