Miguel João Gonçalves Areias


AuthID: R-001-QE9

Publicações Confirmadas: 33



21
TÍTULO: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design
AUTORES: Miguel Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLICAÇÃO: 2017, FONTE: SBAC-PAD
INDEXADO EM: Scopus DBLP CrossRef: 5
22
TÍTULO: Towards an Automated Test Bench Environment for Prolog Systems
AUTORES: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: SLATE, VOLUME: 56
INDEXADO EM: Scopus DBLP
23
TÍTULO: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
24
TÍTULO: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
25
TÍTULO: Multithreaded Tabling for Logic Programming
AUTORES: Miguel Areias ;
PUBLICAÇÃO: 2015
INDEXADO EM: DBLP Handle
NO MEU: ORCID | DBLP
26
TÍTULO: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: PADL, VOLUME: 8324 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
27
TÍTULO: Batched Evaluation of Linear Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
28
TÍTULO: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2012, FONTE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
29
TÍTULO: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: SLATE, VOLUME: 21
INDEXADO EM: Scopus DBLP
30
TÍTULO: Towards multi-threaded local tabling using a common table space
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
Página 3 de 4. Total de resultados: 33.

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

Links Úteis

Ajuda

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