On multiply-exponential write-once Turing machines. - Maciej Zielenkiewicz; Aleksy Schubert; Jacek Chrzaszcz (CoRR, 2014)

Java Loops Are Mainly Polynomial. - Maciej Zielenkiewicz; Jacek Chrzaszcz; Aleksy Schubert (SOFSEM, 2015)

Small Model Property Reflects in Games and Automata. - Maciej Zielenkiewicz (LFCS, 2022)

Automata theory approach to predicate intuitionistic logic. - Maciej Zielenkiewicz; Aleksy Schubert (J. Log. Comput., 2022)