The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Miguel Areias" ( http://dblp.L3S.de/Authors/Miguel_Areias )

URL (Homepage):  https://orcid.org/0000-0003-1589-3174  Author page on DBLP  Author page in RDF  Community of Miguel Areias in ASPL-2

Publication years (Num. hits)
2009-2017 (16) 2018-2019 (4)
Publication types (Num. hits)
article(12) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 21 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Miguel Areias, Ricardo Rocha 0001 Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Table space designs for implicit and explicit concurrent tabled evaluation. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys. Search on Bibsonomy ISPA/IUCC/BDCloud/SocialCom/SustainCom The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves, Miguel Areias, Ricardo Rocha 0001 On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems. Search on Bibsonomy Information The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On scaling dynamic programming problems with a multithreaded tabling Prolog system. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves, Miguel Areias, Ricardo Rocha 0001 Towards an Automated Test Bench Environment for Prolog Systems. Search on Bibsonomy SLATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Batched Evaluation of Full-Sharing Multithreaded Tabling. Search on Bibsonomy SLATE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Batched evaluation of linear tabled logic programs. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Towards Multi-Threaded Local Tabling Using a Common Table Space Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Towards multi-threaded local tabling using a common table space. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs. Search on Bibsonomy ICPADS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Extending a Linear Tabling Framework to Support Batched Scheduling. Search on Bibsonomy SLATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On combining linear-based strategies for tabled evaluation of logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Deterministic Calls and Answers, Implementation, Tabling
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license