Dealing with Missing Data using a Selection Algorithm on Rough Sets. - Jonathan Prieto-Cubides; Camilo Argoty (Int. J. Comput. Intell. Syst., 2018)

On homotopy of walks and spherical maps in homotopy type theory. - Jonathan Prieto-Cubides (CPP, 2022)

On planarity of graphs in homotopy type theory. - Jonathan Prieto-Cubides; Håkon Robbestad Gylterud (Math. Struct. Comput. Sci., 2024)