Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Zobrazit všechny
Všechny
Od 2019
Citace
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
Spoluautoři
Alberto Proenca
Universidade do Minho
E-mailová adresa ověřena na: di.uminho.pt
Artur Mariano
University of Minho
E-mailová adresa ověřena na: di.uminho.pt
Jorge Sousa Pinto
HASLab / INESC TEC & Universidade do Minho
E-mailová adresa ověřena na: di.uminho.pt
Sledovat
Cristiano da Silva Sousa
Universidade do Minho
E-mailová adresa ověřena na: alunos.uminho.pt -
Domovská stránka
High Performance Computing
Formal Methods
Články
Citace
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–4
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě