Walter Carballosa

16 papers C 1Journal 15
YearRankTypeTitle / Venue / Authors
2023 J jnl
Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience.
CLEI Electron. J.
Federico Flaviani, Walter Carballosa
2023 J jnl
Total k-domination in Cartesian product of complete graphs.
Discret. Appl. Math.
Walter Carballosa, Justin Wisby
2022 C conf
Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras.
CLEI
Federico Flaviani, Walter Carballosa
2020 J jnl
Independence and matching numbers of some token graphs.
Australas. J Comb.
Hernán de Alba, Walter Carballosa, Jesús Leaños, Luis Manuel Rivera
2018 J jnl
Hyperbolicity of Direct Products of Graphs.
Symmetry
Walter Carballosa, Amauris de la Cruz, Álvaro Martínez-Pérez, José M. Rodríguez
2017 J jnl
Alliance polynomial of regular graphs.
Discret. Appl. Math.
Walter Carballosa, José M. Rodríguez, José María Sigarreta, Yadira Torres-Nuñez
2017 J jnl
Computing the alliance polynomial of a graph.
Ars Comb.
Walter Carballosa, José M. Rodríguez, José María Sigarreta, Yadira Torres-Nuñez
2017 J jnl
Regularity and planarity of token graphs.
Discuss. Math. Graph Theory
Walter Carballosa, Ruy Fabila-Monroy, Jesús Leaños, Luis Manuel Rivera-Martínez
2016 J jnl
New inequalities on the hyperbolicity constant of line graphs.
Ars Comb.
Walter Carballosa, José M. Rodríguez, José María Sigarreta
2015 J jnl
Planarity and Hyperbolicity in Graphs.
Graphs Comb.
Walter Carballosa, Ana Portilla, José M. Rodríguez, José María Sigarreta
2014 J jnl
Characterization of the hyperbolicity in the lexicographic product.
Electron. Notes Discret. Math.
Walter Carballosa, Amauris de la Cruz, José M. Rodríguez
2014 J jnl
Distinctive power of the alliance polynomial for regular graphs.
Electron. Notes Discret. Math.
Walter Carballosa, José M. Rodríguez, José María Sigarreta, Yadira Torres-Nuñez
2014 J jnl
Distortion of the hyperbolicity constant in minor graphs.
Electron. Notes Discret. Math.
Walter Carballosa, Domingo Pestana, José M. Rodríguez, José María Sigarreta
2013 J jnl
Gromov Hyperbolicity in Strong Product Graphs.
Electron. J. Comb.
Walter Carballosa, Rocío M. Casablanca, Amauris de la Cruz, José M. Rodríguez
2012 J jnl
Distortion of the Hyperbolicity Constant of a Graph.
Electron. J. Comb.
Walter Carballosa, Domingo Pestana, José M. Rodríguez, José María Sigarreta
2011 J jnl
On the Hyperbolicity Constant of Line Graphs.
Electron. J. Comb.
Walter Carballosa, José M. Rodríguez, José María Sigarreta, María Villeta