Differential Modes. - A. V. Kravchenko; Agata Pilitowska; Anna B. Romanowska; David Stanovský (Int. J. Algebra Comput., 2008)

Varieties of Differential Modes Embeddable into Semimodules. - Agata Pilitowska; Anna B. Romanowska; David Stanovský (Int. J. Algebra Comput., 2009)

Automated Proof Compression by Invention of New Definitions. - Jirí Vyskocil; David Stanovský; Josef Urban (LPAR (Dakar), 2010)

Automated theorem proving in quasigroup and loop theory. - J. D. Phillips; David Stanovský (AI Commun., 2010)

Subdirectly Irreducible differential Modes. - David Stanovský (Int. J. Algebra Comput., 2012)

A Combinatorial Approach to Knot Recognition. - Andrew Fish; Alexei Lisitsa 001; David Stanovský (EGC, 2015)

Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. - Andrew Fish; Alexei Lisitsa 001; David Stanovský; Sarah Swartwood (ICMS, 2016)

Distributive and trimedial quasigroups of order 243. - Premysl Jedlicka; David Stanovský; Petr Vojtechovský (Discret. Math., 2017)