Connected quandles and transitive groups A Hulpke, D Stanovský, P Vojtěchovský Journal of Pure and Applied Algebra 220 (2), 735-758, 2016 | 51 | 2016 |

The structure of medial quandles P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio Journal of Algebra 443, 300-334, 2015 | 39 | 2015 |

A guide to self-distributive quasigroups, or latin quandles D Stanovský arXiv preprint arXiv:1505.06609, 2015 | 33 | 2015 |

Mal’tsev conditions, lack of absorption, and solvability L Barto, M Kozik, D Stanovský Algebra universalis 74 (1), 185-206, 2015 | 26 | 2015 |

Commutator theory for loops D Stanovský, P Vojtěchovský Journal of algebra 399, 290-322, 2014 | 26 | 2014 |

Automated proof compression by invention of new definitions J Vyskočil, D Stanovský, J Urban International Conference on Logic for Programming Artificial Intelligence …, 2010 | 21 | 2010 |

Commutator theory for racks and quandles M Bonatto, D Stanovský Journal of the Mathematical Society of Japan 73 (1), 41-75, 2021 | 20 | 2021 |

Automated theorem proving in quasigroup and loop theory JD Phillips, D Stanovský Ai Communications 23 (2-3), 267-283, 2010 | 18 | 2010 |

Left distributive left quasigroups D Stanovský PhD Thesis, Charles University in Prague, 2004. Available at http://www …, 2004 | 17 | 2004 |

On axioms of biquandles D StanovskÝ Journal of Knot Theory and Its Ramifications 15 (07), 931-933, 2006 | 16 | 2006 |

Complex algebras of subalgebras K Adaricheva, A Pilitowska, D Stanovský Algebra and logic 47 (6), 367-383, 2008 | 15 | 2008 |

Star-linear equational theories of groupoids P api?, J Je? ek, P Markovi?, R McKenzie, D Stanovsk Algebra universalis 56 (3-4), 357, 2007 | 15 | 2007 |

A combinatorial approach to knot recognition A Fish, A Lisitsa, D Stanovský Workshop on Embracing Global Computing in Emerging Economies, 64-78, 2015 | 14 | 2015 |

Počítačová algebra D Stanovský, L Barto Matfyzpress, 2011 | 14 | 2011 |

Polymorphisms of small digraphs L Barto, D Stanovský Novi Sad J. Math 40 (2), 95-109, 2010 | 13 | 2010 |

Differential modes AV Kravchenko, A Pilitowska, AB Romanowska, D Stanovský International Journal of Algebra and Computation 18 (03), 567-588, 2008 | 13 | 2008 |

Automated theorem proving in loop theory JD Phillips, D Stanovský Proceedings of the CICM Workshop on Empirically Successful Automated …, 2008 | 13 | 2008 |

Commutative idempotent residuated lattices D Stanovský Czechoslovak Mathematical Journal 57 (1), 191-200, 2007 | 13 | 2007 |

Subquandles of affine quandles P Jedlička, A Pilitowska, D Stanovský, A Zamojska-Dzienio Journal of Algebra 510, 259-288, 2018 | 12 | 2018 |

Central and medial quasigroups of small order D Stanovský, P Vojtěchovský arXiv preprint arXiv:1511.03534, 2015 | 12 | 2015 |