Poincaré-Birkhoff-Witt theorem for Leibniz n. - José Manuel Casas; Manuel A. Insua; Manuel Ladra (J. Symb. Comput., 2007)

Algorithm for Testing the Leibniz Algebra Structure. - José Manuel Casas; Manuel A. Insua; Manuel Ladra; Susana Ladra (EUROCAST, 2009)

Universal Strict General Actors and Actors in Categories of Interest. - José Manuel Casas; Tamar Datuashvili; Manuel Ladra (Appl. Categorical Struct., 2010)

Universal Central Extensions in Semi-Abelian Categories. - José Manuel Casas; Tim Van der Linden (Appl. Categorical Struct., 2014)

Handwritten character recognition using some (anti)-diagonal structural features. - José Manuel Casas; Nick Inassaridze; Manuel Ladra; Susana Ladra (CoRR, 2017)

2D Linear CA with Mixing Boundary Conditions and Reversibility. - Doston Jumaniyozov; José Manuel Casas; Manuel Ladra González; Bakhrom Omirov; Shovkat Redjepov (Int. J. Bifurc. Chaos, 2023)