On the Hyperbolicity Constant of Line Graphs. - Walter Carballosa; José M. Rodríguez 001; José María Sigarreta; María Villeta (Electron. J. Comb., 2011)

Distortion of the Hyperbolicity Constant of a Graph. - Walter Carballosa; Domingo Pestana; José M. Rodríguez 001; José María Sigarreta (Electron. J. Comb., 2012)

Gromov Hyperbolicity in Strong Product Graphs. - Walter Carballosa; Rocío M. Casablanca; Amauris de la Cruz; José M. Rodríguez 001 (Electron. J. Comb., 2013)

Characterization of the hyperbolicity in the lexicographic product. - Walter Carballosa; Amauris de la Cruz; José M. Rodríguez 001 (Electron. Notes Discret. Math., 2014)

Distortion of the hyperbolicity constant in minor graphs. - Walter Carballosa; Domingo Pestana; José M. Rodríguez 001; José María Sigarreta (Electron. Notes Discret. Math., 2014)

Distinctive power of the alliance polynomial for regular graphs. - Walter Carballosa; José M. Rodríguez 001; José María Sigarreta; Yadira Torres-Nuñez (Electron. Notes Discret. Math., 2014)

Planarity and Hyperbolicity in Graphs. - Walter Carballosa; Ana Portilla; José M. Rodríguez 001; José María Sigarreta (Graphs Comb., 2015)

New inequalities on the hyperbolicity constant of line graphs. - Walter Carballosa; José M. Rodríguez 001; José María Sigarreta (Ars Comb., 2016)

Computing the alliance polynomial of a graph. - Walter Carballosa; José M. Rodríguez 001; José María Sigarreta; Yadira Torres-Nuñez (Ars Comb., 2017)

Alliance polynomial of regular graphs. - Walter Carballosa; José M. Rodríguez 001; José María Sigarreta; Yadira Torres-Nuñez (Discret. Appl. Math., 2017)

Regularity and planarity of token graphs. - Walter Carballosa; Ruy Fabila Monroy; Jesús Leaños; Luis Manuel Rivera-Martínez (Discuss. Math. Graph Theory, 2017)

Hyperbolicity of Direct Products of Graphs. - Walter Carballosa; Amauris de la Cruz; Álvaro Martínez-Pérez; José M. Rodríguez 001 (Symmetry, 2018)

Independence and matching numbers of some token graphs. - Hernán de Alba; Walter Carballosa; Jesús Leaños; Luis Manuel Rivera (Australas. J Comb., 2020)

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras. - Federico Flaviani; Walter Carballosa (CLEI, 2022)

Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience. - Federico Flaviani; Walter Carballosa (CLEI Electron. J., 2023)

Total k-domination in Cartesian product of complete graphs. - Walter Carballosa; Justin Wisby (Discret. Appl. Math., 2023)