Formal Verification of kLIBC with the WP Frama-C Plug-in. - Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto; Aaron Tomb (NASA Formal Methods, 2014)

A Generic and Highly Efficient Parallel Variant of Boruvka's Algorithm. - Cristiano da Silva Sousa; Artur Mariano; Alberto Proença (PDP, 2015)