Miguel João Gonçalves Areias


AuthID: R-001-QE9

Publicações Confirmadas: 32



1
TÍTULO: On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
AUTORES: Vítor Manuel de Morais Santos Costa ; Miguel Areias ;
PUBLICAÇÃO: 2025, FONTE: 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025 in Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, VOLUME: 15537
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design
AUTORES: Pedro Moreno; Miguel Areias ; Ricardo Rocha;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Euro-Par 2024: Parallel Processing Workshops
INDEXADO EM: CrossRef
NO MEU: ORCID
3
TÍTULO: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog  Full Text
AUTORES: Moreno, Pedro; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
4
TÍTULO: Automating microsatellite screening and primer design from multi-individual libraries using Micro-Primers  Full Text
AUTORES: Alves, F; Martins, FMS; Miguel Areias ; Antonio Muñoz Mérida ;
PUBLICAÇÃO: 2022, FONTE: SCIENTIFIC REPORTS, VOLUME: 12, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: On the correctness of a lock-free compression-based elastic mechanism for a hash trie design  Full Text
AUTORES: Miguel Areias ; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: COMPUTING, VOLUME: 104, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
6
TÍTULO: On the correctness and efficiency of a novel lock-free hash trie map design
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
7
TÍTULO: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTORES: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
8
TÍTULO: Preface
AUTORES: Rocha, R; Formisano, A; Liu, YA; Miguel Areias ; 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
9
TÍTULO: Towards an Elastic Lock-Free Hash Trie Design
AUTORES: Miguel Areias ; 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: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
10
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 | CIÊNCIAVITAE
Página 1 de 4. Total de resultados: 32.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service