Parallel algorithms for addition in non-standard number systems. - Christiane Frougny; Pavel Heller; Edita Pelantová; Milena Svobodová (ITA, 2014)

k-Block parallel addition versus 1-block parallel addition in non-standard numeration systems. - Christiane Frougny; Pavel Heller; Edita Pelantová; Milena Svobodová (Theor. Comput. Sci., 2014)

Deciding Proper Conjugacy of Classes of One-Sided Finite-Type-Dyck Shifts. - Marie-Pierre Béal; Pavel Heller (DLT, 2015)

Generalized Dyck Shifts. - Marie-Pierre Béal; Pavel Heller (CSR, 2017)

Shifts of k-nested sequences. - Marie-Pierre Béal; Pavel Heller (Theor. Comput. Sci., 2017)