A Representation of Relational Systems. - Jacek Waldmajer (IIS, 2003)

On Pairs of Dual Consequence Operations. - Urszula Wybraniec-Skardowska; Jacek Waldmajer (Logica Universalis, 2011)

Arithmetical Analysis of Biomolecular Finite Automaton. - Tadeusz Krasinski; Sebastian Sakowski; Jacek Waldmajer; Tomasz Poplawski (Fundam. Informaticae, 2013)

A Solution to the Problem of the Maximal Number of Symbols for Biomolecular Computer. - Jacek Waldmajer; Sebastian Sakowski (Informatica (Slovenia), 2019)

Theory of tailor automata. - Jacek Waldmajer; Zbigniew Bonikowski; Sebastian Sakowski (Theor. Comput. Sci., 2019)