Cristiano da Silva Sousa

According to our database, Cristiano da Silva Sousa authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Generic and Highly Efficient Parallel Variant of Boruvka's Algorithm.

Cristiano da Silva Sousa, Artur Mariano, Alberto Proença

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2014

Formal Verification of kLIBC with the WP Frama-C Plug-in.

Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014