Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Visa alla
Alla
Sedan 2019
Citat
33
15
h-index
2
2
i10-index
2
0
0
6
3
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
1
1
3
4
4
5
2
2
5
3
2
1
Medförfattare
Alberto Proenca
Universidade do Minho
Verifierad e-postadress på di.uminho.pt
Artur Mariano
University of Minho
Verifierad e-postadress på di.uminho.pt
Jorge Sousa Pinto
HASLab / INESC TEC & Universidade do Minho
Verifierad e-postadress på di.uminho.pt
Följ
Cristiano da Silva Sousa
Universidade do Minho
Verifierad e-postadress på alunos.uminho.pt -
Startsida
High Performance Computing
Formal Methods
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
18
*
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
15
2014
Efficient sequential and parallel versions of MST-solvers for multi-core CPU-chips and GPUs
CS Sousa
2014
Efficient Sequential and Parallel Versions of MST-Solvers for Multi-Core CPUs-Chips and GPUs
C da Silva Sousa
PQDT-Global
, 2014
2014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–4
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen