Miguel João Gonçalves Areias


AuthID: R-001-QE9

Confirmed Publications: 33



21
22
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
INDEXED IN: Scopus DBLP
23
TITLE: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 11
24
TITLE: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
INDEXED IN: Scopus WOS DBLP CrossRef: 2
25
TITLE: Multithreaded Tabling for Logic Programming
AUTHORS: Miguel Areias ;
PUBLISHED: 2015
INDEXED IN: DBLP Handle
IN MY: ORCID | DBLP
26
TITLE: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: PADL, VOLUME: 8324 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
27
TITLE: Batched Evaluation of Linear Tabled Logic Programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
28
TITLE: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2012, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 5
29
TITLE: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21
INDEXED IN: Scopus DBLP
30
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 9
Page 3 of 4. Total results: 33.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service