Cristiano da Silva Sousa - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	36	18
h-index	2	2
i10-index	2	1

0

6

3

2013201420152016201720182019202020212022202320241 1 3 4 4 5 2 2 5 3 3 3

Co-authors

Alberto ProencaUniversidade do MinhoVerified email at di.uminho.pt
Artur MarianoUniversity of MinhoVerified email at di.uminho.pt
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt

Cristiano da Silva Sousa

Cristiano da Silva Sousa

Universidade do Minho

Verified email at alunos.uminho.pt - Homepage

High Performance Computing Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A Generic and Highly Efficient Parallel Variant of Boruvka’s Algorithm C da Silva Sousa, A Mariano, A Proença Parallel, Distributed and Network-based Processing, 2015	20*	2015
Formal Verification of kLIBC with the WP Frama-C Plug-in N Carvalho, C da Silva Sousa, JS Pinto, A Tomb NASA Formal Methods Symposium, 343-358, 2014	16	2014
Efficient Sequential and Parallel Versions of MST-Solvers for Multi-Core CPUs-Chips and GPUs C da Silva Sousa PQDT-Global, 2014		2014

The system can't perform the operation now. Try again later.

Articles 1–3