Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Miguel João Gonçalves Areias
AuthID:
R-001-QE9
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (13)
Article (13)
Unpublished (2)
Editorial Material (2)
Year Start - End:
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 30
1
TÃTULO:
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
Full Text
AUTORES:
Moreno, Pedro
;
Areias, Miguel
;
Rocha, Ricardo
;
Costa, Vitor Santos
;
PUBLICAÇÃO:
2024
,
FONTE:
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,
VOLUME:
52,
NÚMERO:
3
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
DBLP
2
TÃTULO:
Automating microsatellite screening and primer design from multi-individual libraries using Micro-Primers
Full Text
AUTORES:
Alves, F;
Martins, FMS
;
Areias, M
;
Antonio Muñoz Mérida
;
PUBLICAÇÃO:
2022
,
FONTE:
SCIENTIFIC REPORTS,
VOLUME:
12,
NÚMERO:
1
INDEXADO EM:
Scopus
WOS
CrossRef
:
4
NO MEU:
ORCID
3
TÃTULO:
On the correctness of a lock-free compression-based elastic mechanism for a hash trie design
Full Text
AUTORES:
Areias, Miguel
;
Rocha, Ricardo
;
PUBLICAÇÃO:
2022
,
FONTE:
COMPUTING,
VOLUME:
104,
NÚMERO:
10
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
4
TÃTULO:
On the correctness and efficiency of a novel lock-free hash trie map design
AUTORES:
Areias, M
;
Rocha, R
;
PUBLICAÇÃO:
2021
,
FONTE:
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,
VOLUME:
150
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
5
TÃTULO:
On the implementation of memory reclamation methods in a lock-free hash trie design
AUTORES:
Moreno, P
;
Areias, M
;
Rocha, R
;
PUBLICAÇÃO:
2021
,
FONTE:
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING,
VOLUME:
155
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
6
TÃTULO:
Preface
AUTORES:
Rocha, R; Formisano, A; Liu, YA;
Areias, M
; Angelopoulos, N; Bogaerts, B; Dodaro, C; Alviano, M; Brik, A; Vennekens, J; Pozzato, GL; Zhou, NF; Dahl, V; Fodor, P;
PUBLICAÇÃO:
2021
,
FONTE:
37th International Conference on Logic Programming (Technical Communications), ICLP 2021
in
Electronic Proceedings in Theoretical Computer Science, EPTCS,
VOLUME:
345
INDEXADO EM:
Scopus
NO MEU:
ORCID
7
TÃTULO:
Towards an Elastic Lock-Free Hash Trie Design
AUTORES:
Areias, M
;
Rocha, R
;
PUBLICAÇÃO:
2021
,
FONTE:
20th International Symposium on Parallel and Distributed Computing (ISPDC)
in
2021 20TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC)
INDEXADO EM:
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
8
TÃTULO:
Towards an elastic lock-free hash trie design
AUTORES:
Areias, M
; Rocha, R;
PUBLICAÇÃO:
2021
,
FONTE:
20th International Symposium on Parallel and Distributed Computing, ISPDC 2021
in
Proceedings - 2021 20th International Symposium on Parallel and Distributed Computing, ISPDC 2021
INDEXADO EM:
Scopus
9
TÃTULO:
A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map
AUTORES:
Pedro Moreno
;
Miguel Areias
;
Ricardo Rocha
;
PUBLICAÇÃO:
2020
,
FONTE:
26th International European Conference on Parallel and Distributed Computing, Euro-Par 2020
in
Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings,
VOLUME:
12247
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
10
TÃTULO:
Message from the General Chairs: SBAC-PAD 2020
Full Text
AUTORES:
Areias, M
;
Barbosa, J
;
Dutra, I
;
PUBLICAÇÃO:
2020
,
FONTE:
32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020
in
Proceedings - Symposium on Computer Architecture and High Performance Computing,
VOLUME:
2020-September
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 1 de 3. Total de resultados: 30.
<<
<
1
2
3
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service